Tried to fix some problems with the configuration system.

[splint.git] / src / cgrammar.y

diff --git a/src/cgrammar.y b/src/cgrammar.y
index 8ab82331d246384d28d0da3f5276217b8eb45714..701ccce4261bed8d4cb8e057d4df5ac6514846d1 100644 (file)
--- a/src/cgrammar.y
+++ b/src/cgrammar.y
@@ -361,7 +361,8 @@ namedDeclBase
  | namedDeclBase TLSQBR TRSQBR 
    { $$ = idDecl_replaceCtype ($1, ctype_makeArray (idDecl_getCtype ($1))); }
  | namedDeclBase TLSQBR IsType constantExpr TRSQBR NotType
-   { 
+   {
+     exprNode_findValue($4);
      if (exprNode_hasValue ($4)) 
        {
         $$ = idDecl_replaceCtype ($1, ctype_makeFixedArray (idDecl_getCtype ($1), exprNode_getLongValue ($4)));