This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: VRP: don't look through VIEW_CONVERT_EXPRs when registering an edge assertion
- From: Jeffrey Law <law at redhat dot com>
- To: Andrew Haley <aph at redhat dot com>
- Cc: gcc-patches at gcc dot gnu dot org
- Date: Mon, 19 Mar 2007 13:29:26 -0600
- Subject: Re: VRP: don't look through VIEW_CONVERT_EXPRs when registering an edge assertion
- References: <17918.47288.214.161790@zebedee.pink> <84fc9c000703190928w6affe6aaw9972975c9adefe4@mail.gmail.com> <17918.48787.267071.919579@zebedee.pink>
- Reply-to: law at redhat dot com
On Mon, 2007-03-19 at 16:47 +0000, Andrew Haley wrote:
> Forwarding from gcc discussion list http://gcc.gnu.org/ml/gcc/2007-03/msg00691.html
>
> Richard Guenther writes:
> >
> > It's indeed broken to look through VIEW_CONVERT_EXPRs here. The patch looks
> > obviously correct.
>
> OK, I'm glad it's obvious. :-)
>
> Andrew.
>
>
> 2007-03-19 Andrew Haley <aph@redhat.com>
>
> * tree-vrp.c (register_edge_assert_for_1): Don't look though
> VIEW_CONVERT_EXPRs.
Agreed. Assuming it passes the usual tests, please install, along with
a suitable testcase.
Jeff