> It appears that reload_combine does not take exceptions into account. > When it encounters a BARRIER it forgets all register uses after this > point. But an exception can transfer control to any of the CODE_LABELs > and jump back to after the BARRIER, with the registers still in use.
There should be nothing special to do, as the control flow transfer should be represented in the RTL by means of a control_flow_insn_p insn. Perhaps the related change made by Bernd in rev 162301 should be extended to the JUMP_P block a few lines below? -- Eric Botcazou