Fixed all /*@i...@*/ tags (except 1).

[splint.git] / src / llgrammar.c.der

diff --git a/src/llgrammar.c.der b/src/llgrammar.c.der
index 8d91f9427b6d9dc3139b45b094d81f51d06543ff..3d837ac93fee8811607d8136c7bd40801bb38f8e 100644 (file)
--- a/src/llgrammar.c.der
+++ b/src/llgrammar.c.der
@@ -48,6 +48,10 @@
 
 /*drl added 11/27/2001*/
 /*@-bounds@*/
+
+/*drl added 12/11/2002*/
+/*@-type@*/
+
 /* < end of bison.head > */
 
 /* A Bison parser, made from llgrammar.y
@@ -200,7 +204,7 @@
 
 
 # include "splintMacros.nf"
-# include "llbasic.h"
+# include "basic.h"
 # include "lclscan.h"
 # include "checking.h"
 # include "lslparse.h" 
@@ -3437,16 +3441,16 @@ case 392:
 { yyval.term = makeSizeofTermNode (yyvsp[-3].ltok, yyvsp[-1].lcltypespec); ;
     break;}
 case 393:
-{ yyval.term = makeLiteralTermNode (yyvsp[0].ltok, sort_int); ;
+{ yyval.term = makeLiteralTermNode (yyvsp[0].ltok, g_sortInt); ;
     break;}
 case 394:
-{ yyval.term = makeLiteralTermNode (yyvsp[0].ltok, sort_cstring); ;
+{ yyval.term = makeLiteralTermNode (yyvsp[0].ltok, g_sortCstring); ;
     break;}
 case 395:
-{ yyval.term = makeLiteralTermNode (yyvsp[0].ltok, sort_char); ;
+{ yyval.term = makeLiteralTermNode (yyvsp[0].ltok, g_sortChar); ;
     break;}
 case 396:
-{ yyval.term = makeLiteralTermNode (yyvsp[0].ltok, sort_double); ;
+{ yyval.term = makeLiteralTermNode (yyvsp[0].ltok, g_sortDouble); ;
     break;}
 case 397:
 { yyval.quantifiers = quantifierNodeList_add (quantifierNodeList_new (),  yyvsp[0].quantifier); ;
@@ -3793,3 +3797,6 @@ static void yyprint (FILE *f, int t, YYSTYPE value)
 
 /*drl added 11/27/2001*/
 /*@=bounds@*/
+
+/*drl added 12/11/2002*/
+/*@=type@*/