Predicate Sem::getBlockId1
Gets an ideally unique integer for bb
. If it is undesirable to make this
unique, then getBlock2
must provide a tiebreaker, such that the pair
(getBlockId1(bb),getBlockId2(bb))
becomes unique.
Import path
import semmle.code.java.dataflow.RangeAnalysis
int getBlockId1(BasicBlock bb)