[PATCH]: Add phi argument checking to verify_ssa

Jeffrey A Law law@redhat.com
Tue Oct 5 22:35:00 GMT 2004


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




More information about the Gcc-patches mailing list