*** empty log message ***

[splint.git] / src / constraint.c

diff --git a/src/constraint.c b/src/constraint.c
index c20a9cd1020454b556b0038de0e36160c6ccebfe..2bf4902439e53ff0a774cd01174a2f9bee8cc830 100644 (file)
--- a/src/constraint.c
+++ b/src/constraint.c
@@ -854,25 +854,24 @@ cstring  constraint_printDetailed (constraint c)
 
   if (constraint_hasMaxSet(c) )
     {
-      temp = cstring_makeLiteral("Possible out-of-bounds store.  ");
+      temp = cstring_makeLiteral("Possible out-of-bounds store:\n");
     }
   else
     {
-      temp = cstring_makeLiteral("Possible out-of-bounds read.  ");
+      temp = cstring_makeLiteral("Possible out-of-bounds read:\n");
     }
-
-  st  = cstring_concatFree(temp,st);
   
   genExpr = exprNode_unparse (c->generatingExpr);
-
+  
   if (context_getFlag (FLG_CONSTRAINTLOCATION) )
     {
-      temp = message ("\nConstraint generated from expression: %s at %q\n",
-                     genExpr,
-                     fileloc_unparse( exprNode_getfileloc (c->generatingExpr) )
-                     );
-      st = cstring_concatFree (st, temp);
+      cstring temp2;
+      temp2 = message ("%s\n", genExpr );
+      temp = cstring_concatFree (temp, temp2);
     }
+
+  st  = cstring_concatFree(temp,st);
+  
   return st;
 }