https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103680
--- Comment #9 from Jan Hubicka <hubicka at gcc dot gnu.org> --- bug 25623 comment #1 is different since __builtin_abort makes initial guessed profile inconsistent with the correlated conditionals. That is reason why I added explicit __builtin_expect_with_probability to make the profile consistent. This is bug that got in after one of several threading rewrites.