]> andersk Git - splint.git/blobdiff - src/constraintTerm.c
Added support for or constraints.
[splint.git] / src / constraintTerm.c
index abadf41ce171b813f9602c887bcc1944ea14d380..adac9010f72bcfda93eef9954f88f40a91a5e4a8 100644 (file)
@@ -377,7 +377,21 @@ bool constraintTerm_similar (constraintTerm term1, constraintTerm term2)
   sRef s1, s2;
   
   llassert (term1 !=NULL && term2 !=NULL);
-
+  
+  if ( (term1->kind == INTLITERAL) && (term2->kind == INTLITERAL) )
+    {
+      int t1, t2;
+      llassert (constraintTerm_canGetValue(term1) );
+      t1 = constraintTerm_getValue (term1);
+
+      llassert (constraintTerm_canGetValue(term2) );
+      t2 = constraintTerm_getValue (term2);
+      if (t1 == t2)
+       return TRUE;
+      
+       return FALSE;
+    }
+    
   s1 = constraintTerm_getsRef (term1);
   s2 = constraintTerm_getsRef (term2);
 
This page took 0.028282 seconds and 4 git commands to generate.