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.RangeAnalysisint getBlockId1(BasicBlock bb)