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 |