On Apr 5, 2011, Jakub Jelinek <ja...@redhat.com> wrote: > or DF would have resetted those debug_insns referencing it > (or replaced the pseudos in there with a debug temporary set before the last > real use), otherwise debug insns would change the liveness of the pseudo.
Ah, right, that was the bit I was missing! (it's unfortunate that SSA and DF are so different in this regard) > But with some previous propagate_for_debug calls in the same bb that > guarantee (as the testcase shows) is no longer true. I see. The patch looks like the right fix, then. Thanks! -- Alexandre Oliva, freedom fighter http://FSFLA.org/~lxoliva/ You must be the change you wish to see in the world. -- Gandhi Be Free! -- http://FSFLA.org/ FSF Latin America board member Free Software Evangelist Red Hat Brazil Compiler Engineer
