]> andersk Git - splint.git/blobdiff - src/Headers/usymtab.h
EXtensive code clean up. Almost passes LCLint.
[splint.git] / src / Headers / usymtab.h
index b0b258fc7c7c9ac6a5636b0f34af915a9a736d7f..d4d9ee887390c57b86a08842a3c22205343455ca 100644 (file)
@@ -38,7 +38,7 @@ struct _usymtab
              /*@only@*/ guardSet  guards;   /* guarded references (not null) */
   aliasTable aliases;
   /*@owned@*/ usymtab env;
-  environmentTable environment;
+  //  environmentTable environment;
 } ; 
 
 /*
@@ -404,8 +404,8 @@ extern void usymtab_checkDistinctName (uentry p_e, int p_scope)
 
 
   /*DRL add 9/4/00 */
-extern void usymtab_testInRange (sRef p_s, int p_index)  /*@modifies internalState;@*/;
-extern void usymtab_postopVar (sRef p_sr) /*@modifies internalState;@*/ ;
+  //extern void usymtab_testInRange (sRef p_s, int p_index)  /*@modifies internalState;@*/;
+  //extern void usymtab_postopVar (sRef p_sr) /*@modifies internalState;@*/ ;
 
 
 # else
This page took 0.033788 seconds and 4 git commands to generate.