Re: Infinite loop in init_alias_analysis

[chris at lslsun dot epfl dot ch (Christian Iseli)]

> Yup.  Having HJ's alpha failure to look at was a big help too.  This
> is a case where an RTL dump from the pass before the alias code hung
> would have been quite useful since I can't just build your target
> and look at it under the debugger :-)

Right.  I'll keep that in mind...

> Just to be sure.  I assume you've got something like this
> in your RTL dump:
> 
> (set (reg 24) (reg 1)
> NOTE_INSN_FUNCTION_BEGIN
> ...
> (set (reg 1) (reg 24))
> ...

Yup, exactly.

> HJ's alpha example is actually one copy deeper, but the same
> basic problem:

I was wondering if longer cycles were likely to happen.  Now I know :-)

> Now that I've had a chance to look at the code, I suspect either
> your solution or mine will work.  Mine converges quicker, but I'm
> somewhat leery that for some weird example the quicker convergence
> might be to the wrong state :(

What's your solution?

>   > I hope I was more clear this time.
> Yup.  I'm going to add a comment or two and use your solution.

Ok, thanks.  Waiting for the next snapshot... ;-)

					Christian