Merged this branch with the one in the splint.sf.net repository.

[splint.git] / src / sRef.c

diff --git a/src/sRef.c b/src/sRef.c
index 691b14fe4fc81c7cc4e8974aa8c03e339efb6bd6..f6ad60523f99fca5cb147dad07968786adc7625a 100644 (file)
--- a/src/sRef.c
+++ b/src/sRef.c
@@ -7315,9 +7315,7 @@ sRef_makeConst (ctype ct)
   /* start modification */
   s->bufinfo.bufstate = BB_NULLTERMINATED;
   /* end modification */
-
-  /* evans 2002-04-22: added isManifestBool to avoid errors for -boolfalse initializations */
-  if (!ctype_isManifestBool (ct) && ctype_isUA (ct)) 
+  if (ctype_isUA (ct))
     {
       typeId uid = ctype_typeId (ct);
       uentry te = usymtab_getTypeEntrySafe (uid);
@@ -7328,6 +7326,7 @@ sRef_makeConst (ctype ct)
        }
     }
   
+  
   s->oaliaskind = s->aliaskind;
   s->oexpkind = s->expkind;
 
@@ -10059,6 +10058,9 @@ void sRef_setNotNullTerminatedState(sRef p_s) {
    }
 }
 
+/* these next three function are used by the nullterminated checking only.
+   They are not directly realted to the buffer bounds checking
+*/
 void sRef_setLen(sRef p_s, int len) {
    if (sRef_isReasonable (p_s) && sRef_isNullTerminated(p_s)) 
      {