*** empty log message ***

[splint.git] / src / forjunk.c

diff --git a/src/forjunk.c b/src/forjunk.c
index 1db52b5bb2d7f2c507fe1abaa2267841762a3f87..0941da45be04150b1dfe41a9ead21449c26a81e0 100644 (file)
--- a/src/forjunk.c
+++ b/src/forjunk.c
@@ -176,6 +176,8 @@ static /*@only@*/ constraintList getIncConstraints (/*@observer@*/ constraintLis
   ret = constraintList_makeNew();
   constraintList_elements (c, el)
     {
+      llassert (constraint_isDefined (el));
+
       if (incVar (el) )
        {
          constraint temp;