https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96527
--- Comment #2 from Bruno Haible <bruno at clisp dot org> --- Created attachment 49026 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=49026&action=edit Corrected test case I see. A corrected test case is attached. I wanted to avoid __gnu_inline__ because that's an attribute that is known to have caused trouble with GCC 4.2.x / 4.3.x. Nowadays, the preferred attribute is 'inline' from ISO C11. And I got in trouble with the 'extern' modifier while doing that... How about changing the example in the documentation to use static inline __attribute__((__always_inline__)) instead of extern inline __attribute__((__gnu_inline__)) ?
