Class Make::DataFlowIntegration::SsaPhiExt

An SSA definition which is either a phi node or a phi read node.

Import path

import codeql.ssa.Ssa

definesAt	Holds if this SSA definition defines `v` at index `i` in basic block `bb`. Phi nodes are considered to be at index `-1`, while normal variable writes are at the index of the control flow node they wrap.	from DefinitionExt_
definesAt	Holds if this SSA definition defines `v` at index `i` in basic block `bb`. Phi nodes are considered to be at index `-1`, while normal variable writes are at the index of the control flow node they wrap.	from DefinitionExt_
getBasicBlock	Gets the basic block to which this SSA definition belongs.	from DefinitionExt_
getLocation	Gets the location of this SSA definition.	from DefinitionExt_
getSourceVariable	Gets the source variable underlying this SSA definition.	from DefinitionExt_
toString	Gets a textual representation of this SSA definition.	from DefinitionExt_