On Mon, Jan 02, 2006 at 12:45:49AM -0500, Daniel Berlin wrote: > ... the real > solution is to transfer the information that the stack space sharing > knows into some simple set form, and use *that directly* in alias.c, and > check it *first*, so that if they have the same stack slot, we say there > is a dependence, even if the memory expressions/types/etc look > different.
... And that doesn't work for the test case, because we've carefuly thrown away any information that might have given us any information wrt the stack slots. I'll have to give this some thought. r~
