Predicate IR::implicitUpperSliceBoundInstruction
Gets the instruction corresponding to the implicit upper bound of slice e, if any.
Import path
import semmle.go.controlflow.IRGets the instruction corresponding to the implicit upper bound of slice e, if any.
import semmle.go.controlflow.IR