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 ea2712149651648ca9e2dda3ad76196610e3f1e5..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 */