Periodic commit

[splint.git] / src / fileTable.c

diff --git a/src/fileTable.c b/src/fileTable.c
index f66bbd3fb177c363a6148af8825cfe4425ef06bb..e974cfd779b23d37711cc70267814afcc9019164 100644 (file)
--- a/src/fileTable.c
+++ b/src/fileTable.c
@@ -555,6 +555,13 @@ fileTable_getRootName (fileTable ft, fileId fid)
       return cstring_makeLiteralTemp ("<no file table>");
     }
 
+  if (fid >= ft->nentries)
+    {
+       llcontbug (message ("fileTable_getName: called with invalid id: %d", fid));
+       // fprintf(stderr, "\nbad\n");
+      return cstring_makeLiteralTemp ("<invalid>");
+    }
+  
   fder = ft->elements[fid]->fder;
 
   if (fileId_isValid (fder))