Class PhiNode
Import path
import semmle.code.cpp.ir.dataflow.internal.SsaInternals
Direct supertypes
Indirect supertypes
Predicates
isPhiRead | Holds if this phi node is a phi-read node. |
Inherited predicates
definesAt | Holds if this SSA definition defines | from DefinitionExt |
getBasicBlock | Gets the basic block to which this SSA definition belongs. | from DefinitionExt |
getSourceVariable | Gets the source variable underlying this SSA definition. | from DefinitionExt |
toString | Gets a textual representation of this SSA definition. | from DefinitionExt |