This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: PATCH RFC: Ensure TREE_TYPE (TYPE_MIN_VALUE (t)) == t
- From: Richard Henderson <rth at redhat dot com>
- To: Ian Lance Taylor <iant at google dot com>
- Cc: dnovillo at redhat dot com, rguenther at suse dot de, gcc-patches at gcc dot gnu dot org
- Date: Fri, 27 Apr 2007 15:07:12 -0700
- Subject: Re: PATCH RFC: Ensure TREE_TYPE (TYPE_MIN_VALUE (t)) == t
- References: <m3vefh3dm9.fsf@localhost.localdomain>
On Fri, Apr 27, 2007 at 10:56:30AM -0700, Ian Lance Taylor wrote:
> VRP currently assumes that TREE_TYPE (TYPE_MIN_VALUE (t)) == t.
I'd say that this is a bug in the same way that any other
direct type comparison is flawed. I'd suggest that
TYPE_MAIN_VARIANT (TREE_TYPE (TYPE_MIN_VALUE (t)))
== TYPE_MAIN_VARIANT (t)
is the correct test. That certainly handles your typedef case.
r~