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 phi argument checking to verify_ssa


On Mon, 2004-10-04 at 16:23, Daniel Berlin wrote:
> This catches the case where we have a phi argument with unrenamed, 
> non-invariant values in it (which we don't allow).
> 
> This helps pin down some of the existing bugs to the passes that caused 
> them.
> 
> For example, one testcase i was just debugging will ice in get_value in 
> ssa-ccp, but it's actually caused by tail recursion inserting an unrenamed 
> phi argument  into a phi.  We don't catch this till 13 passes later.
> 
> Bootstrapping and being regtested on i686-pc-linux-gnu.
> Okay for mainline if it passes?
> 
> 
> 2004-10-02  Daniel Berlin  <dberlin@dberlin.org>
> 
>  	* tree-ssa.c (verify_ssa): Verify phi arguments only
>  	contain renamed names.
This is fine.  Please install.

Jeff



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