On 5/25/20 12:28 AM, Bruno Haible wrote: > Is it possible to portably mark 'do_secret_stuff' as not-inline?
We can use _GL_ATTRIBUTE_NOINLINE. That should be good enough for any GCC-compatible compiler. We don't need to worry much about the other compilers; most of them will work anyway, and if any don't we could deal with them individually I suppose.