private boolean orderGuaranteed(CFGNode n1, Branch br2, boolean interproc) {
return orderGuaranteed(
Options.reachability()
? ReachabilityAnalysis.reachesFromTop(br2.getTgt(), n1, interproc)
: true,
n1,
br2);
}
private boolean orderGuaranteed(boolean secondReachesFirst, CFGNode n1, Branch br2) {
return orderGuaranteed(secondReachesFirst, n1, br2.getSrc())
&& orderGuaranteed(secondReachesFirst, n1, br2.getTgt());
}
