Possible patch for miscompiled defer-pops

Tue May 1 13:14:00 GMT 2001

Richard Henderson writes:
 > On Mon, Apr 30, 2001 at 12:29:25AM -0700, Per Bothner wrote:
 > > However, I have no idea if this actually *is* the correct fix,
 > > since I do not know the protocol for dealing with deferred
 > > pops in the middle-end.
 > 
 > It is the correct action, however:
 > 
 > > emit_label (label_rtx (LABELED_BLOCK_LABEL (exp)));
 > 
 > I'm pretty sure that this should be
 > 
 > expand_label (LABELED_BLOCK_LABEL (exp));
 > 
 > which will also take care of the do_pending_stack_adjust.
 > The only caveat would be the stack_block_stack machinations,
 > which I don't really understand...
Um. I thought the reason emit_label rather than expand_label was used
in such cases was precisely to avoid machinations with binding levels.
Andrew.