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