On 2012-05-01 18:17:12 -0600, Eric Blake wrote: > On 05/01/2012 06:11 PM, Vincent Lefevre wrote: > > If <stdnoreturn.h> (either the standard one or from Gnulib) is used > > together with GCC's > > > > __attribute__ ((noreturn)) > > > > in the other package, things will not work as expected. > > That would be a bug in the other package for using noreturn instead of > __noreturn__, and should be fixable.
This is mainly GCC's fault to accept it, and more importantly to use the noreturn version in examples instead of __noreturn__. I've reported the following bug: http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53182 -- Vincent Lefèvre <vinc...@vinc17.net> - Web: <http://www.vinc17.net/> 100% accessible validated (X)HTML - Blog: <http://www.vinc17.net/blog/> Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)
