Predicate getAReadBasicBlock
Gets a basic block in which SSA variable v is read.
Import path
import semmle.code.java.dataflow.internal.rangeanalysis.SsaReadPositionSpecificGets a basic block in which SSA variable v is read.
import semmle.code.java.dataflow.internal.rangeanalysis.SsaReadPositionSpecific