Stickiness of TYPE_MIN_VALUE/TYPE_MAX_VALUE
Geert Bosch
bosch@adacore.com
Tue May 31 12:24:00 GMT 2005
On May 30, 2005, at 16:50, Florian Weimer wrote:
> I'll try to phrase it differently: If you access an object whose bit
> pattern does not represent a value in the range given by
> TYPE_MIN_VALUE .. TYPE_MAX_VALUE of the corresponding type, does this
> result in erroneous execution/undefined behavior? If not, what is the
> exact behavior WRT to out-of-bounds values?
>
This is correct. Note that this is only valid for objects,
in expressions intermediate values may lay outside the range
of the type.
More information about the Gcc
mailing list