Renamed truenull nullwhentrue and falsenull falsewhennull

[splint.git] / src / sRef.c

diff --git a/src/sRef.c b/src/sRef.c
index 060c91b75a7ef0eef97417719e5f1c0f4fda5a5b..9a18b79b21bb86e22d628371d1832784be9422d1 100644 (file)
--- a/src/sRef.c
+++ b/src/sRef.c
@@ -588,14 +588,14 @@ static bool
          && (fileloc_isDefined (s->aliasinfo->loc)));
 }
 
-static /*@falsenull@*/ bool
+static /*@falsewhennull@*/ bool
 sRef_hasStateInfoLoc (sRef s)
 {
   return (sRef_isValid (s) && (s->definfo != NULL) 
          && (fileloc_isDefined (s->definfo->loc)));
 }
 
-static /*@falsenull@*/ bool
+static /*@falsewhennull@*/ bool
 sRef_hasExpInfoLoc (sRef s)
 {
   return (sRef_isValid (s)