Fixed to handled double requires clauses cleanly

diff --git a/src/uentry.c b/src/uentry.c
index c0664e746934f46571d212ad96db2dd41b3d07de..91870bf88b22e2af38f8b137813e90a9c8c86a6d 100644 (file)
--- a/src/uentry.c
+++ b/src/uentry.c
@@ -1611,7 +1611,19 @@ uentry_setPreconditions (uentry ue, /*@only@*/ functionConstraint preconditions)
       
       if (functionConstraint_isDefined (ue->info->fcn->preconditions))
        {
-         BADBRANCH; /* should conjoin constraints? */
+         /* drl 11-29-2001
+            I changed this so it didn't appear as an LCLint bug
+            among other things this gets triggered when there is
+            a function with two requires clauses.  Now LCLint
+            prints an error and tries to conjoin the lists.
+         */
+      llparseerror
+       (message ("Duplicate precondition list"
+                 "Attemping the conjoin the requires clauses"
+                 ));
+
+
+         /* should conjoin constraints? */
          /*@notreached@*/ 
          ue->info->fcn->preconditions = functionConstraint_conjoin (ue->info->fcn->preconditions, preconditions);
        }