*** empty log message ***

[splint.git] / src / fileloc.c

diff --git a/src/fileloc.c b/src/fileloc.c
index 54018f60e9aa5b06d4af74304ea437192ac5bc9c..0701f9686441a5b8f75c65c3aeb19a41580bc0a7 100644 (file)
--- a/src/fileloc.c
+++ b/src/fileloc.c
@@ -177,13 +177,14 @@ fileloc_free (/*@only@*/ fileloc f)
            }
          else
            {
-                     sfree (f);  
+             sfree (f);  
              /*@-branchstate@*/ 
            } 
        }
       else
        {
-               }
+         ; /* Don't free g_currentloc ever! */
+       }
       /*@=branchstate@*/
     }
 }
@@ -383,6 +384,7 @@ bool fileloc_isXHFile (fileloc f1)
       && !fileloc_isBuiltin (f1)
       && !fileloc_isExternal (f1))
     {
+      DPRINTF (("Fileloc is XH: [%p] %s", f1, fileloc_unparse (f1)));
       return (fileTable_isXHFile (context_fileTable (), f1->fid));
     }
   
@@ -563,6 +565,7 @@ fileloc_createPrim (flkind kind, fileId fid, int line, int col)
   f->lineno = line;
   f->column = col;
 
+  DPRINTF (("Fileloc create: [%p] %s", f, fileloc_unparse (f)));
   return (f);
 }