A static single assignment (SSA) definition. Either an explicit variable definition (
An SSA definition that corresponds to an explicit assignable definition.
An SSA definition representing the potential definition of a variable via a call.
An SSA definition that does not correspond to an explicit variable definition. Either an implicit initialization of a variable at the beginning of a callable (
An SSA definition representing the implicit initialization of a variable at the beginning of a callable. Either the variable is a local scope variable captured by the callable, or a field or property accessed inside the callable.
An SSA definition representing the potential definition of a variable via an SSA definition for the qualifier.
An SSA definition for a variable that is not amenable to SSA analysis. A definition is inserted prior to every read.
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.
An SSA definition that has no actual semantics, but simply serves to merge or filter data flow.
A variable that can be SSA converted.
An SSA definition that represents an uncertain update of the underlying assignable. Either an explicit update that is uncertain (
A basic block, that is, a maximal straight-line sequence of control flow nodes without branches or joins.