http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49452
--- Comment #14 from Eric Botcazou <ebotcazou at gcc dot gnu.org> 2011-07-15 06:26:17 UTC --- > Instruction 2 and 24 refer to the same location, but have different offset > relative to FP because the call to y changes FP. DSE doesn't (and can not, if > it is intra-procedural) know that they both refer to the same location and > hence thinks insn 2 is dead. > > It seems to me this (FP having different value after the call) can only happen > at postreload. Hum, this shouldn't happen at all I think. This looks like a latent bug in the implementation of non-local gotos then.
