Member predicate PhiFunction::getLocation
Gets the location of a control flow node that is indicative of this definition.
Since definitions may occur on edges of the control flow graph, the given location may
be imprecise.
Distinct EssaDefinitions
may return the same ControlFlowNode even for
the same variable.