From 9fc0e5b07a5777af01397cb9d4f7f1414d8c19f0 Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Thu, 13 Aug 2015 10:10:32 +0000
Subject: [PATCH] symbolic StateModelChecker: deref filter if the recursive
 checkExpression call throws an exception

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10510 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/prism/StateModelChecker.java | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

diff --git a/prism/src/prism/StateModelChecker.java b/prism/src/prism/StateModelChecker.java
index c2bf5e2b..77dfa913 100644
--- a/prism/src/prism/StateModelChecker.java
+++ b/prism/src/prism/StateModelChecker.java
@@ -1058,8 +1058,13 @@ public class StateModelChecker implements ModelChecker
 			currentFilter = null;
 		}
 
-		// Check operand recursively
-		vals = checkExpression(expr.getOperand());
+		try {
+			// Check operand recursively
+			vals = checkExpression(expr.getOperand());
+		} catch (PrismException e) {
+			JDD.Deref(ddFilter);
+			throw e;
+		}
 
 		// Print out number of states satisfying filter
 		if (!filterInit)