Member predicate SsaImplicitUpdate::assignsUnknownValue
Holds if this ssa variable might change the value to something unknown.
Examples include updates that might change the value of the qualifier, or reads from untracked variables, for example those where the field or one of its qualifiers is volatile.
predicate assignsUnknownValue()