Manual flags.

[splint.git] / src / constraintList.c

diff --git a/src/constraintList.c b/src/constraintList.c
index 65c243d56477a3f7468f0f56e7af3140b8652541..9bdf0320439f35ff2c1464ec8ecb5071ea7c2cfb 100644 (file)
--- a/src/constraintList.c
+++ b/src/constraintList.c
@@ -1,5 +1,5 @@
 /*
-** LCLint - annotation-assisted static program checker
+** Splint - annotation-assisted static program checker
 ** Copyright (C) 1994-2000 University of Virginia,
 **         Massachusetts Institute of Technology
 **
@@ -19,8 +19,9 @@
 **
 ** For information on lclint: lclint-request@cs.virginia.edu
 ** To report a bug: lclint-bug@cs.virginia.edu
-** For more information: http://lclint.cs.virginia.edu
+** For more information: http://www.splint.org
 */
+
 /*
 ** constraintList.c
 **
@@ -91,7 +92,7 @@ constraintList_add (/*@returned@*/ constraintList s, /*@only@*/ constraint el)
   llassert (constraintList_isDefined (s));
 
   /*drl7x */
-  //   el = constraint_simplify (el);
+
   if (constraintList_resolve (el, s) )
     {
       constraint_free (el);
@@ -160,11 +161,98 @@ constraintList constraintList_addListFree (/*@returned@*/ constraintList s, /*@o
 }
 
 
+constraintList constraintList_removeSurpressed (/*@only@*/ constraintList s)
+{
+  constraintList ret;
+  fileloc loc;
+  llassert(constraintList_isDefined(s) );
+
+  ret = constraintList_makeNew();
+  
+  constraintList_elements_private_only(s, elem)
+    {
+      loc = constraint_getFileloc(elem);
+
+      if(fileloc_isUndefined(loc) )
+       {
+         ret = constraintList_add (ret, elem);
+       }
+      
+      else if (context_suppressFlagMsg(FLG_ARRAYBOUNDS, loc) )
+       {
+         DPRINTF(( message("constraintList_removeSurpressed getting rid of surpressed constraint %q", constraint_print(elem) ) ));
+         constraint_free(elem);
+       }
+      
+      else if ( (! constraint_hasMaxSet(elem) ) && context_suppressFlagMsg(FLG_ARRAYBOUNDSREAD, loc) )
+       {
+         DPRINTF(( message("constraintList_removeSurpressed getting rid of surpressed constraint %q", constraint_print(elem) ) ));
+         constraint_free(elem);
+       }
+      else
+       {
+         ret = constraintList_add (ret, elem);
+       } 
+      fileloc_free(loc);
+    } 
+  end_constraintList_elements_private_only;
+
+  constraintList_freeShallow(s);
+  
+  return ret;
+}
+
+
 extern /*@only@*/ cstring constraintList_unparse ( /*@observer@*/ constraintList s) /*@*/
 {
   return (constraintList_print(s));
 }
 
+# if 0
+static /*@only@*/ cstring
+constraintList_printLocation (/*@temp@*/ constraintList s) /*@*/
+{
+  int i;
+  cstring st = cstring_undefined;
+  bool first = TRUE;
+  
+  if (!constraintList_isDefined (s))
+    {
+      return cstring_makeLiteral ("<undefined>");
+    }
+
+  if (s->nelements == 0)
+    {
+      st = cstring_makeLiteral("<List Empty>");
+      return st;
+    }
+
+  for (i = 0; i < s->nelements; i++)
+    {
+      cstring type = cstring_undefined;
+      constraint current = s->elements[i];
+
+      if (constraint_isDefined(current) )
+       {
+         cstring temp1;
+             temp1 = constraint_printLocation(current);
+         type = message ("%q %q\n", type, temp1 );
+       }
+
+      if (first)
+       {
+         st = type;
+         first = FALSE;
+       }
+      else
+       {
+         st = message ("%q, %q", st, type);
+       }
+    } 
+
+  return st;
+}
+# endif
 
 /*@only@*/ cstring
 constraintList_print (/*@temp@*/ constraintList s) /*@*/
@@ -208,7 +296,7 @@ constraintList_print (/*@temp@*/ constraintList s) /*@*/
        {
          st = message ("%q, %q", st, type);
        }
-    } //end for
+    } 
 
   return st;
 }
@@ -393,7 +481,6 @@ constraintList constraintList_preserveCallInfo (/*@returned@*/ constraintList c,
 
   constraintList_elements_private (c, el)
   {
-    //  el = constraint_preserveOrig (el);
     el = constraint_setFcnPre(el);
     el = constraint_origAddGeneratingExpr (el, fcn);
   }
@@ -485,12 +572,12 @@ constraintList constraintList_togglePost (/*@returned@*/ constraintList c)
 /*@only@*/ constraintList constraintList_undump (FILE *f)
 {
   constraintList ret;
-  char *s = mstring_create (MAX_DUMP_LINE_LENGTH);
+  char *s;
   char *os;
   
   ret = constraintList_makeNew();
 
-  os = s;
+  os =  mstring_create (MAX_DUMP_LINE_LENGTH);
   s = fgets (os, MAX_DUMP_LINE_LENGTH, f);
 
   while (s != NULL && *s != ';')
@@ -530,6 +617,11 @@ void constraintList_dump (/*@observer@*/ constraintList c,  FILE *f)
 constraintList constraintList_sort (/*@returned@*/ constraintList ret)
 {
   qsort (ret->elements, (size_t) ret->nelements,
-        (sizeof (*ret->elements) ), constraint_compare);
+        (sizeof (*ret->elements)), 
+        (int (*)(const void *, const void *)) constraint_compare);
+  
+  DPRINTF((message("onstraint_sort returning") ));
   return ret;
 }
+
+