[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