What should -Wmissing-noreturn do with "int main(){exit(0);}" ?

[Richard Henderson]

On Thu, Aug 12, 1999 at 03:02:02PM -0400, Kaveh R. Ghazi wrote:
>  > int main() { exit(0); }
> 
> foo.c: In function `main':
> foo.c:1: warning: function might be possible candidate for
> attribute `noreturn'
> 
> The diagnostic is technically correct, but perhaps it should do
> something different here.  I see two alternatives.

Since the diag is correct, is there any need to change it at all?
I don't see any reason to...


r~