Added support for or constraints.

[splint.git] / src / exprChecks.c

diff --git a/src/exprChecks.c b/src/exprChecks.c
index 4b90d09c46bab82254f9069e8144bdbfc0b2739c..6f9fbf0ac012d5c96302f2f1ef17d2f68d6400dc 100644 (file)
--- a/src/exprChecks.c
+++ b/src/exprChecks.c
@@ -903,7 +903,8 @@ void exprNode_checkFunction (/*@unused@*/ uentry ue, /*@only@*/ exprNode body)
  constraintList c2, fix;
 
  //  return;
-  
+
+ //  context_setFlag(FLG_ORCONSTRAINT, TRUE);
   exprNode_generateConstraints (body);
   
   c =   uentry_getFcnPreconditions (ue);
@@ -923,8 +924,14 @@ void exprNode_checkFunction (/*@unused@*/ uentry ue, /*@only@*/ exprNode body)
        c2  =  constraintList_copy (c);
        fix =  constraintList_makeFixedArrayConstraints (body->uses);
        c2  =  reflectChanges (c2, constraintList_copy(fix) );
-       
-       t = reflectChanges (body->requiresConstraints, constraintList_copy (c2) );
+       if ( context_getFlag (FLG_ORCONSTRAINT) )
+        {
+          t = reflectChangesOr (body->requiresConstraints, constraintList_copy (c2) );
+        }
+       else
+        {
+          t = reflectChanges (body->requiresConstraints, constraintList_copy (c2) );
+        }
        body->requiresConstraints = constraintList_copy (t);
        
        DPRINTF ( (message ("The body has the required constraints: %s", constraintList_printDetailed (t) ) ) );