Got rid of [look into this ] messages in null.expect and outglob.expect

[splint.git] / src / fileTable.c

diff --git a/src/fileTable.c b/src/fileTable.c
index c4dfb49b1c6b527868f159ab58cfeb6d75381ebb..f570e12e48e5baf4dd4ea6a2746dff88ce4b39b5 100644 (file)
--- a/src/fileTable.c
+++ b/src/fileTable.c
@@ -229,6 +229,7 @@ fileTable_create ()
   return (ft);
 }
 
+/*@-bounds@*/
 static void
 fileTable_grow (fileTable ft)
 {
@@ -249,7 +250,7 @@ fileTable_grow (fileTable ft)
   sfree (ft->elements);
   ft->elements = newent;
 }
-
+/*@=bounds@*/
 static void
 fileTable_growOpen (fileTable ft)
 {