Reads the plain TS value a Value stands for, undefined whenever it stands for more than one, for
none, or for another kind. Prefer these over reaching into a value's shape by hand.
This is the constant-folding view: it answers "is this one known constant" and nothing else. It runs no
fixpoint, knows no control flow, and widens nothing. For an abstract state that does, use the dedicated
abstract interpretation in src/abstract-interpretation/.
Reads the plain TS value a Value stands for,
undefinedwhenever it stands for more than one, for none, or for another kind. Prefer these over reaching into a value's shape by hand.This is the constant-folding view: it answers "is this one known constant" and nothing else. It runs no fixpoint, knows no control flow, and widens nothing. For an abstract state that does, use the dedicated abstract interpretation in
src/abstract-interpretation/.