[Bug c/53232] No warning for main() without a return statement with -std=c99

[manu at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53232

--- Comment #3 from Manuel López-Ibáñez <manu at gcc dot gnu.org> 2012-05-04 
15:28:55 UTC ---
(In reply to comment #2)
> Why? -Wmain checks the type of main, not whether it has a redundant 'return 
> 0;'
> as the last statement.

You are right, I misread the description. 

So this is not a bug because Wreturn-type says that it specifically does not
check main?