*** empty log message ***

[splint.git] / src / fileTable.c

diff --git a/src/fileTable.c b/src/fileTable.c
index 0edbab562c80615b8b98b319c4895ec670dcfbb2..4816217014fdd503754158db24a8fd059444795d 100644 (file)
--- a/src/fileTable.c
+++ b/src/fileTable.c
@@ -365,8 +365,15 @@ fileTable_isXHFile (fileTable ft, fileId fid)
       return FALSE;
     }
 
-  llassert (fileTable_isDefined (ft) && fileTable_inRange (ft, fid));
-  return (ft->elements[fid]->ftype == FILE_XH);
+  if (!(fileTable_isDefined (ft) && fileTable_inRange (ft, fid)))
+    {
+      llcontbug (message ("Bad file table or id: %s %d", bool_unparse (fileTable_isDefined (ft)), fid));
+      return FALSE;
+    }
+  else
+    {
+      return (ft->elements[fid]->ftype == FILE_XH);
+    }
 }
 
 bool
@@ -376,7 +383,7 @@ fileTable_isSpecialFile (fileTable ft, fileId fid)
     {
       return FALSE;
     }
-
+  
   llassert (fileTable_isDefined (ft) && fileTable_inRange (ft, fid));
   return (ft->elements[fid]->fspecial);
 }
@@ -570,7 +577,6 @@ fileTable_lookupBase (fileTable ft, cstring base)
 
   if (tindex == NOT_FOUND)
     {
-      
       return fileId_invalid;
     }
   else