X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/d1eb0f0ff3093be5a50dfddab2d70e8bc7e7fff5..7ebcc5bb1729918edf2ba5b4b9d5a67cdea4afb5:/src/uentry.c

diff --git a/src/uentry.c b/src/uentry.c
index 0c79b93..ab662c7 100644
--- a/src/uentry.c
+++ b/src/uentry.c
@@ -6508,6 +6508,8 @@ uentry_setSpecDef (/*@special@*/ uentry e, /*@keep@*/ fileloc f)
       e->whereDeclared  = f;
       e->whereDefined  = fileloc_undefined;
     }
+
+  llassert (fileloc_storable (f));
 }
 
 static void
@@ -10904,13 +10906,15 @@ void uentry_checkName (uentry ue)
     }
 }
 
-/*@exposed@*/ uentry uentry_makeUnrecognized (cstring c, /*@keep@*/ fileloc loc)
+/*@exposed@*/ uentry uentry_makeUnrecognized (cstring c, /*@only@*/ fileloc loc)
 {
   uentry ue;
   fileloc tloc;
 
   /*
-  ** Can't but unrecognized ids in macros in global scope, because srefs will break! */
+  ** Can't but unrecognized ids in macros in global scope, because srefs will break! 
+  */
+
   if (!context_inMacro ())
     {
       sRef_setGlobalScopeSafe ();