从没有返回的函数返回值[重复]

Question

#include<stdio.h>

int add(int a, int b)
{
    int c = a + b;

    ;there isn't return
}

int main(void)
{
    int res = add(3, 2);

    return 0;
}

5

push   rbp
mov    rbp, rsp
mov    DWORD PTR[rbp-0x14], edi  ;store first
mov    DWORD PTR[rbp-0x18], esi  ;store second
mov    edx, DWORD PTR[rbp-0x14]
mov    eax, DWORD PTR[rbp-0x18]
add    eax, esx
mov    DWORD PTR[rbp-0x4], eax
nop
pop    rbp
ret

push   rbp
mov    rbp, rsp
sub    rsp, 0x10
mov    esi, 0x2    ;first parameter
mov    edi, 0x3    ;second parameter
call   0x1129 <add>

;WHAT??? eax = a + b, why store it?
mov    DWORD PTR[rbp-0x4], eax 
mov    eax, 0x0
leave
ret

如您所见，它将参数a和B的和保存在变量C中，然后将包含它们的和的eax寄存器保存在变量Res中，就像函数返回值一样。

这样做是因为函数是用返回值定义的吗？

Answer 1

您所做的是通过未能从函数返回值，然后试图使用该返回值来触发未定义的行为。

C标准第6.9.1P12节对此作了说明：

如果达到了终止函数的}，并且调用方使用了函数调用的值，则未定义行为。