From: evans1629 <evans1629>
Date: Wed, 6 Feb 2002 00:08:27 +0000 (+0000)
Subject: Fixed internal bug for if ((a[0][1]) != 0)
X-Git-Tag: splint-3_0_1_6~9
X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/commitdiff_plain/1bd8c30fc6ff49eb568ee1ef3e1da2375524f298

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

diff --git a/src/exprNode.c b/src/exprNode.c
index a55acda..40046dd 100644
--- 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)