]> andersk Git - splint.git/blobdiff - src/constraintList.c
Added support for or constraints.
[splint.git] / src / constraintList.c
index 26dbaa3bc977fda29bf85a76f9b18ded3cc7a02b..49b07bf89741fbf8f6e582c02c72b6f16cdb6429 100644 (file)
@@ -69,6 +69,7 @@ constraintList_grow (constraintList s)
 constraintList 
 constraintList_add (constraintList s, constraint el)
 {
+  el = constraint_simplify (el);
   if (resolve (el, s) )
     return s;
   
@@ -114,7 +115,11 @@ constraintList_print (constraintList s) /*@*/
 
       if (current != NULL)
        {
-         cstring temp1 = constraint_print(current);
+         cstring temp1;
+           if ( context_getFlag (FLG_ORCONSTRAINT) )
+             temp1 = constraint_printOr(current);
+           else
+             temp1 = constraint_print(current);
          type = message ("%q %q\n", type, temp1 );
        }
 
This page took 0.035702 seconds and 4 git commands to generate.