Member predicate Path::SafeAccessCheck::Range::checks
Holds if this guard validates node upon evaluating to branch.
predicate checks(ControlFlowNode node, boolean branch)Holds if this guard validates node upon evaluating to branch.
predicate checks(ControlFlowNode node, boolean branch)