Perché main non restituisce 0 qui?

Stavo solo leggendo

ISO / IEC 9899: 201x Committee Draft - 12 aprile 2011

in cui ho trovato in 5.1.2.2.3 Interruzione del programma

..reaching the } that terminates the main function returns a value of 0. 

significa che se non specifichi alcuna istruzione return in main(), e se il programma viene eseguito correttamente, la parentesi graffa di chiusura} di main restituirà 0.

Ma nel codice seguente non specifico alcuna dichiarazione di ritorno, ma non restituisce 0

#include<stdio.h>
int sum(int a,int b)
{
return (a + b);
}

int main()
{
    int a=10;
    int b=5;
    int ans;    
    ans=sum(a,b);
    printf("sum is %d",ans);
}

compilare

gcc test.c  
./a.out
sum is 15
echo $?
9          // here it should be 0 but it shows 9 why?

Questa regola è stata aggiunta nella versione del 1999 dello standard C. In C90, lo stato restituito non è definito.

Puoi abilitarlo passando -std=c99a gcc.

Come nota a margine, è interessante notare che viene restituito 9 perché è il ritorno di printfcui ha scritto solo 9 caratteri.

Restituisce il valore di ritorno di printfcui è il numero di caratteri realmente stampati.

Il valore restituito da una funzione è normalmente memorizzato nel registro eax della cpu, quindi l'istruzione "return 4;" normalmente si compila in

mov eax, 4;
ret;

e restituire x (a seconda del compilatore) sarebbe qualcosa del tipo:

mov eax, [ebp + 4];
ret;

se non si specifica un valore di ritorno, il compilatore sputerà comunque il "ret" ma non cambia il valore di eax. Quindi il chiamante penserà che ciò che è mai stato lasciato nel registro eax in precedenza è il valore di ritorno. Per questo esempio sarebbe solitamente il valore di ritorno printf, ma compilatori diversi genereranno codice macchina diverso e utilizzeranno alcuni registri in modo diverso.

Questa è una spiegazione semplificata, diverse convenzioni di chiamata e piattaforme di destinazione giocheranno un ruolo fondamentale, ma dovrebbero essere sufficienti informazioni per spiegare cosa sta accadendo "dietro le quinte" nel tuo esempio.

Se hai una conoscenza di base dell'assemblatore, vale la pena confrontare lo smontaggio di diversi compilatori. Potresti scoprire che alcuni compilatori stanno cancellando il registro eax come salvaguardia.