Apparently splint does not correctly handle the case in which a #defined constant...

[splint.git] / src / constraintList.c

diff --git a/src/constraintList.c b/src/constraintList.c
index e23047ce2501fa8602fca0a5197def048c6a4681..fe65c3c9ea05650b5bd70d3bb181359f081ec15b 100644 (file)
--- a/src/constraintList.c
+++ b/src/constraintList.c
@@ -64,7 +64,7 @@
   s->nspace = constraintListBASESIZE;
   s->elements = (constraint *)
     dmalloc (sizeof (*s->elements) * constraintListBASESIZE);
-
+  
   return (s);
 }
 
@@ -286,10 +286,15 @@ constraintList_print (/*@temp@*/ constraintList s) /*@*/
       if (constraint_isDefined(current) )
        {
          cstring temp1;
-           if ( context_getFlag (FLG_ORCONSTRAINT) )
+
+         if (context_getFlag (FLG_ORCONSTRAINT))
+           {
              temp1 = constraint_printOr(current);
-           else
-             temp1 = constraint_print(current);
+           }
+         else
+           {
+             temp1 = constraint_print (current);
+           }
          type = message ("%q %q\n", type, temp1 );
        }