The point here is that if you are writing test code for the compiler, you will probably want to test the call mainusing several different sets of parameters, and that this can be done with an understanding of what you are going to use for verification.
main, main (, , POD ..). , , , , - , - , "" , main , . , main .
LLVM ( C, Clang), , main.
" " . , - , -, .
ALL undefined , - , , , - , .
, ( , MMU ), :
char *ptr = (char *)0xA0000;
ptr[0] = 'a';
ptr[1] = 7;
undefined, , , C ++. , ... , UB, , Linux Windows ? VGA... [, , - , ]. , , - , , , . undefined , " UB", , .