This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: Handling non-constant bounds in extract_range_from_cond
- From: Andrew Pinski <pinskia at physics dot uc dot edu>
- To: kenner at vlsi1 dot ultra dot nyu dot edu (Richard Kenner)
- Cc: gcc-patches at gcc dot gnu dot org, law at redhat dot com
- Date: Wed, 24 Nov 2004 15:47:48 -0500
- Subject: Re: Handling non-constant bounds in extract_range_from_cond
- References: <10411242046.AA00309@vlsi1.ultra.nyu.edu>
On Nov 24, 2004, at 3:46 PM, Richard Kenner wrote:
We discussed this a while ago and you were concerned about the call
that
didn't check the result.
I now think it's an error to use the bounds of a subtype even if they
are
constant, so I changed to using the bounds of the underlying type,
which are
always constant.
Does this seem the correct approach? (I haven't tested it yet.)
I assume this fixes the following acats tests:
c34002a
c460007
cc1221d
There might be more but I had forgot to write them down (well copy the
ICE).
Thanks,
Andrew Pinski