This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: Stickiness of TYPE_MIN_VALUE/TYPE_MAX_VALUE
- From: kenner at vlsi1 dot ultra dot nyu dot edu (Richard Kenner)
- To: bosch at adacore dot com
- Cc: gcc at gcc dot gnu dot org
- Date: Tue, 31 May 05 08:06:16 EDT
- Subject: Re: Stickiness of TYPE_MIN_VALUE/TYPE_MAX_VALUE
This is correct. Note that this is only valid for objects, in
expressions intermediate values may lay outside the range of the type.
The question was about expressions, not objects, and I disagree with you:
intermediate values may not lay outside the range of the type. Gimplification
changes expressions to objects, so if what you claim were true, you
could never use the type range values to deduce anything.