X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/efd360a3de13e14de15dd5cac81e94cf23f371f2..ccf0a4a84a5a030c02e90d914b3f152b29826737:/src/fileloc.c

diff --git a/src/fileloc.c b/src/fileloc.c
index 54018f6..0701f96 100644
--- 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);
 }