*** empty log message ***

[splint.git] / src / llgrammar.y

diff --git a/src/llgrammar.y b/src/llgrammar.y
index 94d003ac7263e2139f062e8be2da32bbd80e877b..f73672a7b2036eac1ca763223d7f0703c6e89069 100644 (file)
--- a/src/llgrammar.y
+++ b/src/llgrammar.y
@@ -75,6 +75,8 @@ bool g_inTypeDef = FALSE;
 
 %}
 
+/*@-readonlytrans@*/
+
 %union 
 {
   ltoken ltok;  /* a leaf is also an ltoken */
@@ -139,7 +141,8 @@ bool g_inTypeDef = FALSE;
   /*@only@*/ interfaceNode iface;
   /*@only@*/ interfaceNodeList interfacelist; 
   /*@only@*/ CTypesNode ctypes;
-}
+  /*@-redef@*/
+} /*@=redef@*/
 
 /* Order of precedence is increasing going down the list */
 
@@ -377,6 +380,9 @@ bool g_inTypeDef = FALSE;
 **   the call to the static semantic routine. 
 */ 
 
+/*@=redef@*/
+/*@=readonlytrans@*/
+
 %%
 
 interface