On 10/06/2011 01:14 AM, Bruno Haible wrote:
Eric Blake wrote:Shouldn't that imply that gnulib's<stdlib.h> replacement should be taught to guarantee that exit() is declared noreturn even if the system's header is missing that information?Yes, this would be a good idea.
Alternatively, can't we use _exit() here? Berny