This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]
Other format:	[Raw text]

Re: [PATCH]: Add another verify_ssa check

From: Daniel Berlin <dberlin at dberlin dot org>
To: Diego Novillo <dnovillo at redhat dot com>
Cc: "gcc-patches at gcc dot gnu dot org" <gcc-patches at gcc dot gnu dot org>
Date: Wed, 9 Jun 2004 20:31:15 -0400
Subject: Re: [PATCH]: Add another verify_ssa check
References: <Pine.LNX.4.60.0406091913430.13415@dberlin.org> <1086825573.22854.130.camel@localhost.localdomain>

On Jun 9, 2004, at 7:59 PM, Diego Novillo wrote:

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?

Yes, i'm still making the fixes for bugs it exposes, so i figured it made sense to just split out this part anyway.

:)

Follow-Ups:
- Re: [PATCH]: Add another verify_ssa check
  - From: Diego Novillo

References:
- [PATCH]: Add another verify_ssa check
  - From: Daniel Berlin
- Re: [PATCH]: Add another verify_ssa check
  - From: Diego Novillo

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]