This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [patch] tree-vrp.c: Insert more ASSERT_EXPRs.
- 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
- Date: Wed, 13 Apr 2005 11:15:34 -0400
- Subject: Re: [patch] tree-vrp.c: Insert more ASSERT_EXPRs.
- Organization: Red Hat Canada
- References: <20050413.105004.02288769.kazu@cs.umass.edu>
On Wed, Apr 13, 2005 at 10:50:04AM -0400, Kazu Hirata wrote:
> 2005-04-13 Kazu Hirata <kazu@cs.umass.edu>
>
> PR tree-optimization/20702
> * tree-vrp.c (maybe_add_assert_expr): Recurse into
> dominator children that haven't been walked into.
>
> 2005-04-13 Kazu Hirata <kazu@cs.umass.edu>
>
> PR tree-optimization/20702
> * gcc.dg/tree-ssa/pr20702.c: New.
>
Nice one. This is fine.
Thanks. Diego.