B2R2


UVValue Type

Untouched value propagation value.

Union cases

Union case Description

Touched

Full Usage: Touched

Touched means the value is redefined.

Undef

Full Usage: Undef

Untouched UntouchedTag

Full Usage: Untouched UntouchedTag

Parameters:

This value is never defined within the function.

Item : UntouchedTag