*** empty log message ***

[splint.git] / src / cgrammar.y

diff --git a/src/cgrammar.y b/src/cgrammar.y
index 787c8de3e55d0b0485bd696f43e31ceb7c1f3715..acfa463825893dc0f8f6c749c2b29a172145d763 100644 (file)
--- a/src/cgrammar.y
+++ b/src/cgrammar.y
@@ -53,7 +53,7 @@ extern void swallowMacro (void);
 /*@-matchfields@*/
 
 # define SHOWCSYM FALSE
-void yyerror (char *s);
+void yyerror (char *);
 
 /*
 ** This is necessary, or else when the bison-generated code #include's malloc.h,
@@ -78,7 +78,7 @@ void yyerror (char *s);
   qual typequal;
   qualList tquallist;
   ctype ctyp;
-  sRef sr;
+  /*@dependent@*/ sRef sr;
 
   /*@only@*/ functionClauseList funcclauselist;
   /*@only@*/ functionClause funcclause;