From 7c1859a4df6b9f79b96351f0c4291708b64a41a2 Mon Sep 17 00:00:00 2001
From: jochen <jochen@379699f6-c40d-0410-875b-85095c16579e>
Date: Tue, 20 Jul 1999 16:11:31 +0000
Subject: [PATCH] remove predecessor of dest in removeJumps

git-svn-id: https://svn.code.sf.net/p/jode/code/trunk@1100 379699f6-c40d-0410-875b-85095c16579e
---
 jode/jode/flow/FlowBlock.java.in | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/jode/jode/flow/FlowBlock.java.in b/jode/jode/flow/FlowBlock.java.in
index b7c1d25..e473163 100644
--- a/jode/jode/flow/FlowBlock.java.in
+++ b/jode/jode/flow/FlowBlock.java.in
@@ -742,7 +742,7 @@ public class FlowBlock {
             if (pred == null)
                 /* The special start marker */
                 continue;
-            if (pred.successors.get(this) == null)
+            if (!pred.successors.containsKey(this))
                 throw new AssertError("Inconsistency");
         }
 
@@ -1481,6 +1481,8 @@ public class FlowBlock {
     }
 
     public Jump removeJumps(FlowBlock dest) {
+	if (dest != END_OF_METHOD)
+	    dest.predecessors.remove(this);
 	return ((SuccessorInfo) successors.remove(dest)).jumps;
     }