https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81318
--- Comment #27 from Daniel Black <daniel.black at au dot ibm.com> --- reduced test case, quite similar however just to be sure: int a, b; __attribute__((__cold__)) fn1(); __attribute__((always_inline)) fn2() { fn1(); } fn3() { fn2(); if (b) a = 0; }