On 10/15/11 16:21, Eric Botcazou wrote: >> PR middle-end/50496 >> * cfgrtl.c (try_redirect_by_replacing_jump): Treat EXIT_BLOCK_PTR case >> separately before call to redirect_jump(). Add assertion. >> (patch_jump_insn): Same. > > This will definitely disable redirections to the exit block.
Yes. However, in the case that caused the PR, this was attempted with reload_completed == 0, so we cannot generate return patterns anyway and must fail. I think the original patch is OK. Bernd