Just to be a devil's advocate, void main(void) can be correct when programming microcontrollers & other embedded applications. With GCC, you can even set `void

Just to be a devil's advocate, void main(void) can be correct when programming microcontrollers & other embedded applications. With GCC, you can even set `void main(void) __attribute__((noreturn));` . (For the lack of a better source, http://www.nongnu.org/avr-libc/user-manual/porting.html http://www.nongnu.org/avr-libc/user-manual/porting.html )