From 6b856bce86c28668d23a32daa4e83becde6ea862 Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Wed, 2 Aug 2017 11:33:46 +0000
Subject: [PATCH] PH, PS: log errors via "%s"

Silences compiler warnings about unsafe format string usage.


git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@12188 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/hybrid/PH_StochBoundedUntil.cc | 2 +-
 prism/src/hybrid/PH_StochCumulReward.cc  | 2 +-
 prism/src/hybrid/PH_StochTransient.cc    | 2 +-
 prism/src/sparse/PS_StochBoundedUntil.cc | 2 +-
 prism/src/sparse/PS_StochCumulReward.cc  | 2 +-
 prism/src/sparse/PS_StochTransient.cc    | 2 +-
 6 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/prism/src/hybrid/PH_StochBoundedUntil.cc b/prism/src/hybrid/PH_StochBoundedUntil.cc
index 2cf39a8e..0d076617 100644
--- a/prism/src/hybrid/PH_StochBoundedUntil.cc
+++ b/prism/src/hybrid/PH_StochBoundedUntil.cc
@@ -312,7 +312,7 @@ jlong __jlongpointer mu	// probs for multiplying
 		if (sum) delete[] sum;
 		sum = 0;
 	} catch (const char *err) {
-		PH_SetErrorMessage(err);
+		PH_SetErrorMessage("%s", err);
 		if (sum) delete sum;
 		sum = 0;
 	}
diff --git a/prism/src/hybrid/PH_StochCumulReward.cc b/prism/src/hybrid/PH_StochCumulReward.cc
index 77a00e10..c34411c0 100644
--- a/prism/src/hybrid/PH_StochCumulReward.cc
+++ b/prism/src/hybrid/PH_StochCumulReward.cc
@@ -325,7 +325,7 @@ jdouble time		// time bound
 		if (sum) delete[] sum;
 		sum = 0;
 	} catch (const char *err) {
-		PH_SetErrorMessage(err);
+		PH_SetErrorMessage("%s", err);
 		if (sum) delete sum;
 		sum = 0;
 	}
diff --git a/prism/src/hybrid/PH_StochTransient.cc b/prism/src/hybrid/PH_StochTransient.cc
index 8de9928f..bd3eb12c 100644
--- a/prism/src/hybrid/PH_StochTransient.cc
+++ b/prism/src/hybrid/PH_StochTransient.cc
@@ -293,7 +293,7 @@ jdouble time		// time bound
 		if (sum) delete[] sum;
 		sum = 0;
 	} catch (const char *err) {
-		PH_SetErrorMessage(err);
+		PH_SetErrorMessage("%s", err);
 		if (sum) delete sum;
 		sum = 0;
 	}
diff --git a/prism/src/sparse/PS_StochBoundedUntil.cc b/prism/src/sparse/PS_StochBoundedUntil.cc
index 3ffb9f48..82c0440b 100644
--- a/prism/src/sparse/PS_StochBoundedUntil.cc
+++ b/prism/src/sparse/PS_StochBoundedUntil.cc
@@ -338,7 +338,7 @@ jlong __jlongpointer mu	// probs for multiplying
 		if (sum) delete sum;
 		sum = 0;
 	} catch (const char *err) {
-		PS_SetErrorMessage(err);
+		PS_SetErrorMessage("%s", err);
 		if (sum) delete sum;
 		sum = 0;
 	}
diff --git a/prism/src/sparse/PS_StochCumulReward.cc b/prism/src/sparse/PS_StochCumulReward.cc
index 2ab1c339..b93a5ffe 100644
--- a/prism/src/sparse/PS_StochCumulReward.cc
+++ b/prism/src/sparse/PS_StochCumulReward.cc
@@ -350,7 +350,7 @@ jdouble time		// time bound
 		if (sum) delete[] sum;
 		sum = 0;
 	} catch (const char *err) {
-		PS_SetErrorMessage(err);
+		PS_SetErrorMessage("%s", err);
 		if (sum) delete sum;
 		sum = 0;
 	}
diff --git a/prism/src/sparse/PS_StochTransient.cc b/prism/src/sparse/PS_StochTransient.cc
index feea0f39..fba1f1e4 100644
--- a/prism/src/sparse/PS_StochTransient.cc
+++ b/prism/src/sparse/PS_StochTransient.cc
@@ -317,7 +317,7 @@ jdouble time		// time bound
 		if (sum) delete[] sum;
 		sum = 0;
 	} catch (const char *err) {
-		PS_SetErrorMessage(err);
+		PS_SetErrorMessage("%s", err);
 		if (sum) delete sum;
 		sum = 0;
 	}