------- Comment #9 from dberlin at gcc dot gnu dot org 2005-11-09 23:30 ------- Okay, well, there are also bugs in df.c on mainline in regards to not creating uses for "always-live" registers and registers that are live over eh edges, for example. (It does none of this). Seriously. Hard regs are very badly broken in mainline df.c in terms of liveness and use-def/def-use chains.
Steven tells me flow.c gets liveness for your particular example wrong too though. In the dataflow branch df.c, we would add a use for the "live on entry to eh" regs, in the artifical uses code for eh blocks, and it would just work. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=24762