------- Comment #3 from rakdver at gcc dot gnu dot org 2006-02-03 14:14 ------- The things are a bit more complicated -- get_condition would be correct, but in cfglayout mode, some labels and jumps are omitted, and the order of blocks is arbitrary.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=26087