This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
basic VRP min/max range overflow question
- From: Paul Schlie <schlie at comcast dot net>
- To: Diego Novillo <dnovillo at redhat dot com>
- Cc: Eric Botcazou <ebotcazou at libertysurf dot fr>,<gcc at gcc dot gnu dot org>
- Date: Fri, 17 Jun 2005 00:27:55 -0400
- Subject: basic VRP min/max range overflow question
Upon a potential integer overflow of either it's min or max range,
shouldn't the result be set to [min:type-min-value, max:type-max-value],
without the necessity of any further designations?
As this would seem to most accurately and simply represent the effective
bounds of an underflowed integer value constrained to an arbitrarily sized
integer type size for all targets I can think of, with the exception of
DSP's which tend to uniquely support saturating integer arithmetic, in
which case only the min or max range would be saturated correspondingly.