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

@@ -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;
 	}

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;
 	}

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;
 	}

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;
 	}

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;
 	}

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;
 	}