Bug#141015: c/8609: Superfluous warning when -std=c99/gnu99 and noreturn on main()

[Wolfgang Bangerth <bangerth@ticam.utexas.edu>]

On Mon, 18 Nov 2002, Agthorr wrote:

> Well, I also compile with -Wmissing-noreturn.  If I add the noreturn
> attribute to main, gcc complains that the function returns.  If I
> remove the noreturn, gcc complains that the function does not return.
> 
> gcc can't have it both ways. ;)

However, if I remove the noreturn attribute line, I cannot make gcc 
complain about the code:
tmp/g> cat x.c
#include <stdlib.h>

int main (void)
{
        exit(1);
}
tmp/g> /home/bangerth/bin/gcc-3.3x-pre/bin/gcc -Wmissing-noreturn -std=gnu99 -c x.c
tmp/g>

What do you do differently?

Regards
  Wolfgang

-------------------------------------------------------------------------
Wolfgang Bangerth              email:           bangerth@ticam.utexas.edu
                               www: http://www.ticam.utexas.edu/~bangerth