CodeQL library for Go
codeql/go-all 0.7.12 (changelog, source)
Search

Class SsaPseudoDefinition

An SSA definition such as a phi node that has no actual semantics, but simply serves to merge or filter data flow.

Import path

import semmle.go.dataflow.SSA

Direct supertypes

Indirect supertypes

Known direct subtypes

Predicates

getAnInput

Gets an input of this pseudo-definition.

ppInputs

Gets a textual representation of the inputs of this pseudo-definition in lexicographical order.

Inherited predicates

definesAt

INTERNAL: Use getBasicBlock() and getSourceVariable() instead.

from SsaDefinition
getBasicBlock

Gets the basic block to which this definition belongs.

from SsaDefinition
getKind

INTERNAL: Do not use.

from SsaImplicitDefinition
getRoot

Gets the innermost function or file to which this SSA definition belongs.

from SsaDefinition
getSourceVariable

Gets the source variable defined by this definition.

from SsaDefinition
getVariable

Gets the SSA variable defined by this definition.

from SsaDefinition
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.

from SsaImplicitDefinition
prettyPrintDef

INTERNAL: Use toString() instead.

from SsaDefinition
prettyPrintRef

INTERNAL: Do not use.

from SsaImplicitDefinition
toString

Gets a textual representation of this element.

from SsaDefinition