From 7eef2a266c44c35c4706bbcb3b1277f3fdfbef57 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Mon, 22 Jun 2015 21:44:01 +0000 Subject: [PATCH] Fix a few compiler warnings. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10059 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/dd/dd_export.cc | 2 +- prism/src/mtbdd/PrismMTBDD.cc | 2 +- prism/src/sparse/PS_NondetMultiObjGS.cc | 3 ++- prism/src/sparse/PrismSparse.cc | 2 +- 4 files changed, 5 insertions(+), 4 deletions(-) diff --git a/prism/src/dd/dd_export.cc b/prism/src/dd/dd_export.cc index c52209c0..202261c4 100644 --- a/prism/src/dd/dd_export.cc +++ b/prism/src/dd/dd_export.cc @@ -177,7 +177,7 @@ FILE *fp stored[count++] = dd; } - fprintf(fp, "%d\n", (size_t)dd); + fprintf(fp, "%zu\n", (size_t)dd); return 0; } diff --git a/prism/src/mtbdd/PrismMTBDD.cc b/prism/src/mtbdd/PrismMTBDD.cc index 2529d545..7e9fb83e 100644 --- a/prism/src/mtbdd/PrismMTBDD.cc +++ b/prism/src/mtbdd/PrismMTBDD.cc @@ -207,7 +207,7 @@ void export_string(const char *str, ...) va_end(argptr); if (export_file) { - fprintf(export_file, full_string); + fprintf(export_file, "%s", full_string); } else { PM_PrintToMainLog(export_env, full_string); } diff --git a/prism/src/sparse/PS_NondetMultiObjGS.cc b/prism/src/sparse/PS_NondetMultiObjGS.cc index a9c10237..0d776e51 100644 --- a/prism/src/sparse/PS_NondetMultiObjGS.cc +++ b/prism/src/sparse/PS_NondetMultiObjGS.cc @@ -372,11 +372,12 @@ JNIEXPORT jdoubleArray __jlongpointer JNICALL Java_sparse_PrismSparse_PS_1Nondet else d1 = d2; for (int it = 0; it < lenRew + lenProb; it++) { - if (it != ignoredWeight) + if (it != ignoredWeight) { if (fabs(pd2[it]) < near_zero) pd1[it] = 0; //round off small numbers to 0 else pd1[it] = pd2[it]; + } } } first = false; diff --git a/prism/src/sparse/PrismSparse.cc b/prism/src/sparse/PrismSparse.cc index 00a59a09..15bbc6a8 100644 --- a/prism/src/sparse/PrismSparse.cc +++ b/prism/src/sparse/PrismSparse.cc @@ -231,7 +231,7 @@ void export_string(const char *str, ...) va_end(argptr); if (export_file) { - fprintf(export_file, full_string); + fprintf(export_file, "%s", full_string); } else { PS_PrintToMainLog(export_env, full_string); }