http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56181
--- Comment #4 from Marek Polacek <mpolacek at gcc dot gnu.org> 2013-02-05 15:53:44 UTC --- Or maybe tracer shouldn't duplicate BB between headers, i.e. BB whose successor and predecessor is a header. Testing a patch for that...