An SSA variable that represents any sort of implicit update. This can be a
Call that might reach a non-local update of the field, an explicit or
implicit update of the qualifier of the field, or the implicit update that
occurs just prior to a
FieldRead of an untracked field.
Known direct subtypes
Gets an access of the SSA source variable underlying this SSA variable that can be reached from this SSA variable without passing through any other uses, but potentially through phi nodes and uncertain implicit updates.
Gets an access of this SSA variable.
Gets a definition that ultimately defines this variable and is not itself a phi node.
Gets the SSA source variable underlying this SSA variable.
Holds if this SSA variable is live at the end of