X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/768a340a15bd3bf200883e277f0a33de81d9a8e8..a07995d9a461db88f826d7b4061524ee413ff0e8:/src/cgrammar.y

diff --git a/src/cgrammar.y b/src/cgrammar.y
index cbd9e15..e91de36 100644
--- a/src/cgrammar.y
+++ b/src/cgrammar.y
@@ -874,14 +874,16 @@ specClauseListExpr
 ;
 
 optSpecClauseList
- : /* empty */ { $$ = sRefSet_undefined }
+ : /* empty */ { DPRINTF ((message("Empty optSpecClauseList") )); $$ = sRefSet_undefined }
  | specClauseList
  ;
 
 specClauseList
   : specClauseListExpr                       
     { if (sRef_isValid ($1)) { $$ = sRefSet_single ($1); } 
-      else { $$ = sRefSet_undefined; } 
+      else {
+	DPRINTF((message("returning sRefSEt_undefined ")  ));
+	$$ = sRefSet_undefined; } 
     }
   | specClauseList TCOMMA specClauseListExpr 
     { if (sRef_isValid ($3))
@@ -956,6 +958,7 @@ offsetofExpr
 sizeofExpr
  : IsType { context_setProtectVars (); } 
    sizeofExprAux { context_sizeofReleaseVars (); $$ = $3; }
+;
 
 processSizeof: {context_enterSizeof()};