From 9db43751cccb60a71bdd117be02ca12c222e38b1 Mon Sep 17 00:00:00 2001
From: drl7x <drl7x>
Date: Thu, 29 Nov 2001 06:22:41 +0000
Subject: [PATCH] Fixed to handled double requires clauses cleanly

---
 src/uentry.c | 14 +++++++++++++-
 1 file changed, 13 insertions(+), 1 deletion(-)

diff --git a/src/uentry.c b/src/uentry.c
index c0664e7..91870bf 100644
--- 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);
 	}
-- 
2.45.2