Cuando main se define sin parámetros, ¿argc y argv seguirán presentes en la pila?

Considere lo muy simple:

int main(void) {
    return 0;
}

Lo compilé (con mingw32-gcc) y lo ejecuté comomain.exe foo bar.

Ahora, esperaba algún tipo de bloqueo o error causado por una función principal declarada explícitamente como privada devida parámetros La falta de errores condujo a esta pregunta, que en realidad son cuatro preguntas.

¿Por qué funciona esto?Responder: ¡Porque el estándar lo dice!

¿Se ignoran los parámetros de entrada o la pila está preparada con argc y argv en silencio?Responder: En este caso particular, la pila está preparada.

¿Cómo verifico lo anterior?Responder: Ver la respuesta de rascher.

¿Es esta plataforma dependiente?Responder: Si y no.

Respuestas a la pregunta(6)

Su respuesta a la pregunta