On Wed, Apr 6, 2011 at 8:57 AM, Eric Botcazou <ebotca...@adacore.com> wrote: > this patchlet ensures that return statements are preserved at -O0 so that you > can put a breakpoint on them in the debugger.
Isn't one of the effects of this patch to generate debug info for the artificial label decl? When I first saw your patch, I thought "FORCED_LABEL()", perhaps I'm not sure that it's any better than your solution... Have you tried that? Ciao! Steven