Holds if v
is defined, for the purpose of SSA, at node
, which is at
position index
in block b
. This includes definitions from phi nodes.
predicate
ssa_defn
(
StackVariable
v
,
ControlFlowNode
node
,
BasicBlock
b
,
int
index
)