This pr add a method BlockUtils.getTryAndHandlerCrossBlock(). It traverse domFrontier start from handler block, find the first frontier whose predecessor is try end.

This method is used in

• IfRegionMaker. If the IfRegion is inside try blocks, then its branches must end if they reach try end. In This case, next block of try end, which is the cross of try and handler, will be the if's outBlock. A Test (TestIfInTryCatch) is added.
• ExcHandlersRegionMaker, to try to find proper handler end.
  • Related issue [core] IfRegionMaker find the wrong outBlock #2384.
  • A mininal reproducible example Test (TestTryCatchInIf2) is added.
  • cfg

    
  • in the smali, part of the handler region and else region use a same block (B:7:0x0017). When finding handler region's end, handler's domFrontier (B:7:0x0017) is in the half of handler region, instead of the end. This pr uses BlockUtils.getTryAndHandlerCrossBlock() to go further to find the real end (B:8:0x0018).