Predicate MakeUtils::guardControlsSsaRead
Holds if guard controls the position controlled with the value testIsTrue.
Import path
import codeql.rangeanalysis.internal.RangeUtilspredicate guardControlsSsaRead(Guard guard, SsaReadPosition controlled, boolean testIsTrue)