From: yeom <yeom>
Date: Fri, 19 Aug 2011 18:03:48 +0000 (+0000)
Subject: bug fix: the loop entrance node of DOWHILELOOP is the begin node, not the condition... 
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=IRC.git;a=commitdiff_plain;h=91e8f9756319ae384957f592684b7a76016a9f23

bug fix: the loop entrance node of DOWHILELOOP is the begin node, not the condition node.
---

diff --git a/Robust/src/IR/Flat/BuildFlat.java b/Robust/src/IR/Flat/BuildFlat.java
index a600b71a..fb3b75d1 100644
--- a/Robust/src/IR/Flat/BuildFlat.java
+++ b/Robust/src/IR/Flat/BuildFlat.java
@@ -1452,7 +1452,7 @@ public class BuildFlat {
       breakset=oldbs;
       continueset=oldcs;
       if(ln.getLabel()!=null){
-        state.fn2labelMap.put(condition.getBegin(), ln.getLabel());
+        state.fn2labelMap.put(begin, ln.getLabel());
       }
       return new NodePair(begin,nopend);
     } else throw new Error();