Prewinter break editing commit.

[splint.git] / src / aliasChecks.c

diff --git a/src/aliasChecks.c b/src/aliasChecks.c
index 16310533f9c2d186801a77a790be04048abb51cb..64ab91ecfa49bf0331404d7af746153d32f276c0 100644 (file)
--- a/src/aliasChecks.c
+++ b/src/aliasChecks.c
@@ -3825,7 +3825,7 @@ checkTransferNullTerminatedAux (sRef fref, exprNode fexp,
               if (sRef_isPossiblyNullTerminated (fref)) {
                if (lloptgenerror
                  (FLG_NULLTERMINATEDWARNING, 
-                 message ("%s %q initialized to %q value: %q",
+                 message ("%s %q initialized to %s value: %q",
                            sRef_getScopeName (tref),
                            sRef_unparse (tref),
                            sRef_ntMessage (fref),
@@ -3841,7 +3841,7 @@ checkTransferNullTerminatedAux (sRef fref, exprNode fexp,
              
                if (lloptgenerror
                  (FLG_NULLTERMINATED, 
-                 message ("%s %q initialized to %q value: %q",
+                 message ("%s %q initialized to %s value: %q",
                            sRef_getScopeName (tref),
                            sRef_unparse (tref),
                            sRef_ntMessage (fref),