------- Comment #4 from hp at gcc dot gnu dot org 2008-01-29 05:39 ------- I'm learning; first time around this new df and cfglayout stuff. I haven't stumbled on anything anywhere actually explicitly saying so, but the "fake" fallthrough edges are apparently the main part of cfglayout; better to pretend all bb can fall through wherever they need to go than having unconditional branches. It may be that not all parts of gcc agree on this, but I'm now following the hypothesis that it's not as such the cause of this bug. The wrong code (the correct code disappears) after the final "cleanup_cfg (0)" call of fwprop1. The original title may have been right.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34773
