http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56181
--- Comment #3 from Marek Polacek <mpolacek at gcc dot gnu.org> 2013-02-05 12:22:28 UTC --- Hopefully it'll be somewhat clearer with a picture: http://people.redhat.com/mpolacek/src/pr56181.png the BB 4 is the one that is first marked as residing in loop 2 (because it is dominated by BB 5 and its loop_father is 1, while the loop we're processing is loop 2).