This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [patch] tree-vrp.c: Teach VRP that &p->a is nonzero if p is known to be nonzero.
- From: Diego Novillo <dnovillo at redhat dot com>
- To: Kazu Hirata <kazu at cs dot umass dot edu>
- Cc: gcc-patches at gcc dot gnu dot org, pinskia at physics dot uc dot edu
- Date: Mon, 2 May 2005 13:39:14 -0400
- Subject: Re: [patch] tree-vrp.c: Teach VRP that &p->a is nonzero if p is known to be nonzero.
- References: <20050501.190830.62365929.kazu@cs.umass.edu>
On Sun, May 01, 2005 at 07:08:30PM -0400, Kazu Hirata wrote:
> 2005-05-01 Kazu Hirata <kazu@cs.umass.edu>
>
> PR tree-optimization/21294
> * tree-vrp.c (vrp_expr_computes_nonzero): New.
> (extract_range_from_expr): Call vrp_expr_computes_nonzero.
>
> 2005-05-01 Kazu Hirata <kazu@cs.umass.edu>
>
> PR tree-optimization/21294
> * gcc.dg/tree-ssa/pr21294.c: New.
>
OK.
Diego.