Member predicate RangeSsaDefinition :: isGuardPhi
If this definition is a phi node corresponding to a guard, then return the variable guarded, the variable access and the guard.
predicate
isGuardPhi
(
StackVariable
v
,
VariableAccess
va
,
Expr
guard
,
boolean
branch
)