CodeQL library for Go

codeql/go-all 2.1.3 (changelog, source)

Class SsaPhiNode

An SSA phi node, that is, a pseudo-definition for a variable at a point in the flow graph where otherwise two or more definitions for the variable would be visible.

Import path

import semmle.go.dataflow.SSA

Direct supertypes

Indirect supertypes

Predicates

definesAt	INTERNAL: Use `getBasicBlock()` and `getSourceVariable()` instead.
getAnInput	Gets an input of this pseudo-definition.
getBasicBlock	Gets the basic block to which this definition belongs.
getKind	INTERNAL: Do not use.
getSourceVariable	Gets the source variable defined by this definition.
hasLocationInfo	Holds if this element is at the specified location. The location spans column `startcolumn` of line `startline` to column `endcolumn` of line `endline` in file `filepath`. For more information, see Locations.
prettyPrintDef	INTERNAL: Use `toString()` instead.

Inherited predicates

getRoot	Gets the innermost function or file to which this SSA definition belongs.	from SsaDefinition
getVariable	Gets the SSA variable defined by this definition.	from SsaDefinition
ppInputs	Gets a textual representation of the inputs of this pseudo-definition in lexicographical order.	from SsaPseudoDefinition
prettyPrintRef	INTERNAL: Do not use.	from SsaImplicitDefinition
toString	Gets a textual representation of this element.	from SsaDefinition