X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/74738c0fa6a63f888fa6fb0758c9ad438d47a700..f9264521e093e570a8831d5238ccc3bc20e01119:/src/llmain.c

diff --git a/src/llmain.c b/src/llmain.c
index b0fb00e..5d4c546 100644
--- a/src/llmain.c
+++ b/src/llmain.c
@@ -1124,24 +1124,24 @@ int main (int argc, char *argv[])
 	  
 	  if (anylcl)
 	    {
-	      sprintf (msg, 
-		       "Time distribution (percent): initialize %.2f / lcl %.2f / "
-		       "pre-process %.2f / c check %.2f / finalize %.2f \n", 
-		       (100.0 * (double) (libtime - before) / ttime),
-		       (100.0 * (double) (lcltime - libtime) / ttime),
-		       (100.0 * (double) (pptime - lcltime) / ttime),
-		       (100.0 * (double) (cptime - pptime) / ttime),
-		       (100.0 * (double) (rstime - cptime) / ttime));
+	      (void) snprintf (msg, 256,
+			"Time distribution (percent): initialize %.2f / lcl %.2f / "
+			"pre-process %.2f / c check %.2f / finalize %.2f \n", 
+			(100.0 * (double) (libtime - before) / ttime),
+			(100.0 * (double) (lcltime - libtime) / ttime),
+			(100.0 * (double) (pptime - lcltime) / ttime),
+			(100.0 * (double) (cptime - pptime) / ttime),
+			(100.0 * (double) (rstime - cptime) / ttime));
 	    }
 	  else
 	    {
-	      sprintf (msg, 
-		       "Time distribution (percent): initialize %.2f / "
-		       "pre-process %.2f / c check %.2f / finalize %.2f \n", 
-		       (100.0 * (double) (libtime - before) / ttime),
-		       (100.0 * (double) (pptime - libtime) / ttime),
-		       (100.0 * (double) (cptime - pptime) / ttime),
-		       (100.0 * (double) (rstime - cptime) / ttime));
+	      (void) snprintf (msg, 256,
+			"Time distribution (percent): initialize %.2f / "
+			"pre-process %.2f / c check %.2f / finalize %.2f \n", 
+			(100.0 * (double) (libtime - before) / ttime),
+			(100.0 * (double) (pptime - libtime) / ttime),
+			(100.0 * (double) (cptime - pptime) / ttime),
+			(100.0 * (double) (rstime - cptime) / ttime));
 	    }
 	  
 	  llgenindentmsgnoloc (cstring_fromCharsO (msg));