fcb.setNumLine(ln.getNumLine());
fcb.setTrueProb(State.TRUEPROB);
fcb.setLoop();
+ fcb.setLoopEntrance(condition.getBegin());
FlatNop nopend=new FlatNop();
FlatBackEdge backedge=new FlatBackEdge();
fcb.setNumLine(ln.getNumLine());
fcb.setTrueProb(State.TRUEPROB);
fcb.setLoop();
+ fcb.setLoopEntrance(begin);
FlatNop nopend=new FlatNop();
FlatBackEdge backedge=new FlatBackEdge();
continueset=oldcs;
if(ln.getLabel()!=null){
state.fn2labelMap.put(begin, ln.getLabel());
- }
+ }
return new NodePair(begin,nopend);
} else if (ln.getType()==LoopNode.DOWHILELOOP) {
TempDescriptor cond_temp=TempDescriptor.tempFactory("condition", new TypeDescriptor(TypeDescriptor.BOOLEAN));
fcb.setNumLine(ln.getNumLine());
fcb.setTrueProb(State.TRUEPROB);
fcb.setLoop();
+ fcb.setLoopEntrance(begin);
FlatNop nopend=new FlatNop();
FlatBackEdge backedge=new FlatBackEdge();