Member predicate Ssa::WriteDefinition::assigns
Holds if this SSA definition assigns value
to the underlying variable.
This is either a direct assignment, x = value
, or an assignment via
simple pattern matching
case value
in Foo => x then ...
in y => then ...
end
predicate assigns(ExprCfgNode value)