This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [PATCH]: Add another verify_ssa check
- From: Diego Novillo <dnovillo at redhat dot com>
- To: Daniel Berlin <dberlin at dberlin dot org>
- Cc: "gcc-patches at gcc dot gnu dot org" <gcc-patches at gcc dot gnu dot org>
- Date: Wed, 09 Jun 2004 19:59:33 -0400
- Subject: Re: [PATCH]: Add another verify_ssa check
- Organization: Red Hat Canada
- References: <Pine.LNX.4.60.0406091913430.13415@dberlin.org>
On Wed, 2004-06-09 at 19:14, Daniel Berlin wrote:
> * tree-ssa.c (verify_ssa): Verify that vdefs/makes_aliased_stores
> match.
>
This is OK, but didn't we discuss also adding vuse/makes_aliased_loads
checks?
Thanks. Diego.