https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68272
--- Comment #6 from Sergey Organov <sorganov at gmail dot com> --- For reference, the work-around for the problem is __attribute__((gnu_inline)), i.e., effectively turning inlining mode back to pre-c99.