Dlaczego main nie zwraca tutaj 0?

Właśnie czytałem

ISO / IEC 9899: Projekt Komisji 201x - 12 kwietnia 2011 r

w którym znalazłem w punkcie 5.1.2.2.3 Zakończenie programu

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

oznacza to, że jeśli nie określisz żadnej instrukcji return w main() i program zostanie uruchomiony pomyślnie, to w nawiasie zamykającym} main zwróci 0.

Ale w poniższym kodzie nie określam żadnej instrukcji return, ale nie zwraca ona 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);
}

skompilować

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

Zasada ta została dodana w wersji normy C. z 1999 roku. W C90 zwracany status jest niezdefiniowany.

Możesz to włączyć, przechodząc -std=c99 do gcc.

Na marginesie, co ciekawe, zwrócono 9, ponieważ jest to powrót, printfktóry właśnie napisał 9 znaków.

Zwraca wartość, printfktóra jest liczbą rzeczywiście wydrukowanych znaków.

Wartość zwracana przez funkcję jest zwykle przechowywana w rejestrze eax procesora, więc instrukcja „return 4;” zwykle kompilowałby się do

mov eax, 4;
ret;

a zwrot x (w zależności od kompilatora) wyglądałby tak:

mov eax, [ebp + 4];
ret;

jeśli nie określisz wartości zwracanej, kompilator nadal będzie wypluwał „ret”, ale nie zmieni wartości eax. Więc dzwoniący pomyśli, że to, co zostało wcześniej w rejestrze eax, jest wartością zwracaną. W tym przykładzie byłaby to zwykle wartość zwracana printf, ale różne kompilatory generują inny kod maszynowy i inaczej używają niektórych rejestrów.

To jest uproszczone wyjaśnienie, różne konwencje wywoływania i platformy docelowe będą odgrywać istotną rolę, ale powinno to wystarczyć do wyjaśnienia, co dzieje się „za kulisami” w twoim przykładzie.

Jeśli masz podstawową wiedzę na temat asemblera, warto porównać dezasemblację różnych kompilatorów. Może się okazać, że niektórzy kompilatorzy czyszczą rejestr eax jako zabezpieczenie.