Tree-SSA self checking infrastructure

[Richard Henderson]

On Wed, Nov 19, 2003 at 02:27:12PM -0700, law@redhat.com wrote:
> So that would mean he needs PHIs for any arguments that are changed which
> reach the loop backedge and for local variables in the toplevel scope
> which have a definition which reaches the backedge.

No local variables should reach the backedge.  If a value
isn't passed as an argument, then it's dead.


r~