From 08efa5ea47d1b0ff8c7b1630cdb15cbd83eae7c6 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Thu, 9 Mar 2006 09:46:08 +0000 Subject: [PATCH] Bug fix in PH_ProbReachReward: segfault when linear equation system solution fails. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@19 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/hybrid/PH_ProbReachReward.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prism/src/hybrid/PH_ProbReachReward.cc b/prism/src/hybrid/PH_ProbReachReward.cc index 1c4ae688..c0a5a233 100644 --- a/prism/src/hybrid/PH_ProbReachReward.cc +++ b/prism/src/hybrid/PH_ProbReachReward.cc @@ -140,13 +140,13 @@ jint m // 'maybe' states inf_vec = mtbdd_to_double_vector(ddman, inf, rvars, num_rvars, odd); // go thru setting elements of soln to infinity for (i = 0; i < n; i++) if (inf_vec[i] > 0) soln[i] = HUGE_VAL; + free(inf_vec); } // free remaining memory Cudd_RecursiveDeref(ddman, a); Cudd_RecursiveDeref(ddman, state_rewards); Cudd_RecursiveDeref(ddman, trans_rewards); - free(inf_vec); return (int)soln; }