From 91e8f9756319ae384957f592684b7a76016a9f23 Mon Sep 17 00:00:00 2001
From: yeom <yeom>
Date: Fri, 19 Aug 2011 18:03:48 +0000
Subject: [PATCH] bug fix: the loop entrance node of DOWHILELOOP is the begin
 node, not the condition node.

---
 Robust/src/IR/Flat/BuildFlat.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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();
-- 
2.34.1