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]: Fix recent ssa verification regression


On Mon, 2004-11-22 at 12:56 -0500, Daniel Berlin wrote:
> This fixes the problem noted here (that we no longer verify that the kill 
> operands are correct) by adding back the kills to the list of things that 
> are verified: 
> http://gcc.gnu.org/ml/gcc-patches/2004-11/msg01727.html
> 
> I will apply as obvious after bootstrap and regression test finishes.
> 
> 2004-11-22 Daniel Berlin  <dberlin@dberlin.org>
> 
>          * tree-ssa.c (verify_ssa): SSA_OP_ALL_USES should be
>  	SSA_OP_ALL_USES | SSA_OP_ALL_KILLS for verification purposes.
OK.  THanks.
jeff



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