Merge pull request #845 from MarcMil/extensible

StevenArzt · web-flow · commit 6a97e6423049 · 2025-11-19T09:39:12.000+01:00
ReusableExecutor: add missing finally block
diff --git a/soot-infoflow/src/soot/jimple/infoflow/util/ReusableExecutor.java b/soot-infoflow/src/soot/jimple/infoflow/util/ReusableExecutor.java
@@ -35,11 +35,14 @@ public void execute(Runnable command) {
 
 			@Override
 			public void run() {
-				command.run();
-				int c = counter.decrementAndGet();
-				if (c == 0) {
-					synchronized (obj) {
-						obj.notify();
+				try {
+					command.run();
+				} finally {
+					int c = counter.decrementAndGet();
+					if (c == 0) {
+						synchronized (obj) {
+							obj.notify();
+						}
 					}
 				}
 			}

Original file line number	Diff line number	Diff line change
`@@ -35,11 +35,14 @@ public void execute(Runnable command) {`
`35`	`35`
`36`	`36`	`@Override`
`37`	`37`	`public void run() {`
`38`		`- command.run();`
`39`		`- int c = counter.decrementAndGet();`
`40`		`- if (c == 0) {`
`41`		`- synchronized (obj) {`
`42`		`- obj.notify();`
	`38`	`+ try {`
	`39`	`+ command.run();`
	`40`	`+ } finally {`
	`41`	`+ int c = counter.decrementAndGet();`
	`42`	`+ if (c == 0) {`
	`43`	`+ synchronized (obj) {`
	`44`	`+ obj.notify();`
	`45`	`+ }`
`43`	`46`	`}`
`44`	`47`	`}`
`45`	`48`	`}`