Le 10 déc. 2012 à 20:00, Paul Eggert <egg...@cs.ucla.edu> a écrit :
> On 12/10/12 00:23, Akim Demaille wrote: >> Maybe the non-inline branch should use __attribute__(__used__)? > > Sure, but you mean __unused__ not __used__, right? Yep, sorry. > Here's an updated proposal. All I did was add _GL_UNUSED in the > two lines of the non-inline branch. It fixed it for all the versions of GCC I have: warning-free compilation of lib/. Thanks!
