Fixed internal bug for if ((a[0][1]) != 0)

[splint.git] / src / exprNode.c

diff --git a/src/exprNode.c b/src/exprNode.c
index a55acda5c23a3323e059b25ef3a321e09f24d911..40046dddbd3e14d652f63f258beb9d5be9f472c1 100644 (file)
--- a/src/exprNode.c
+++ b/src/exprNode.c
@@ -676,7 +676,13 @@ exprNode_isUnknownConstant (/*@notnull@*/ exprNode e)
   while (e->kind == XPR_PARENS)
     {
       e = exprData_getUopNode (e->edata);
-      llassert (exprNode_isDefined (e));
+      
+      if (!exprNode_isDefined (e))
+       {
+         return FALSE;
+       }
+
+      /* evans 2002-02-05: was llassert (exprNode_isDefined (e)); but this can fail */
     }
 
   if (e->kind == XPR_CONST)