Convert some llassert() to llassertfatal(), as we should not continue with null pointers.

[splint.git] / src / constraintList.c

diff --git a/src/constraintList.c b/src/constraintList.c
index c834ec65f6d3e1a284a87a7b949093e309050bde..cd37bfc5d48b37ec2669913af378082de8fc37df 100644 (file)
--- a/src/constraintList.c
+++ b/src/constraintList.c
@@ -69,7 +69,7 @@ constraintList_grow (constraintList s)
   int i;
   constraint *newelements; 
 
-  llassert (constraintList_isDefined (s));
+  llassertfatal (constraintList_isDefined (s));
 
   s->nspace += constraintListBASESIZE;
   newelements = (constraint *) dmalloc (sizeof (*newelements)
@@ -88,7 +88,7 @@ constraintList_grow (constraintList s)
 constraintList 
 constraintList_add (/*@returned@*/ constraintList s, /*@only@*/ constraint el)
 {
-  llassert (constraintList_isDefined (s));
+  llassertfatal (constraintList_isDefined (s));
 
   /*drl7x */
 
@@ -635,39 +635,6 @@ void constraintList_dump (/*@observer@*/ constraintList c,  FILE *f)
   end_constraintList_elements; ;
 }
 
-//! don't use this!
-void constraintList_castConstraints (constraintList c, ctype tfrom, ctype tto)
-{
-  if (TRUE) /* flag to allow casting */ 
-    {
-      int fsize = ctype_getSize (tfrom);
-      int tsize = ctype_getSize (tto);
-
-      DPRINTF (("Sizes: [%s] [%s] %d / %d", ctype_unparse (tfrom),
-               ctype_unparse (tto), fsize, tsize));
-
-      if (fsize == tsize) 
-       {
-         return; /* Sizes match, no change to constraints */
-       }
-      else 
-       {
-         float scale = fsize / tsize;
-         
-         DPRINTF (("Scaling constraints by: %f", scale));
-
-         constraintList_elements (c, el)
-           {
-             DPRINTF (("Scale: %s", constraint_unparse (el)));
-             // constraint_scaleSize (el, scale);
-             DPRINTF (("   ==> %s", constraint_unparse (el)));
-           }
-         end_constraintList_elements; 
-       }
-    }
-}
-
-
 constraintList constraintList_sort (/*@returned@*/ constraintList ret)
 {
   if (constraintList_isUndefined(ret) )