什么使短C代码中的分段错误？

Question

大家.我编写了以下代码,编译并运行它但我遇到了分段错误.

#include <stdio.h>
typedef long long ll_t;

void store_prod(ll_t * dest, int x, ll_t y) {
    * dest = x * y;
}

int main(void)
{
    int a = 2049;
    ll_t b = 2147483645;
    ll_t * c;

    store_prod(c, a, b);
    printf("%d * %lld = %lld\n", a, b, *c);

    return 0;
}

Dev-C++中的调试器转储如下:

0x00401500 <+0>:    push   %ebp
0x00401501 <+1>:    mov    %esp, %ebp
0x00401503 <+3>:    push   %ebx
0x00401504 <+4>:    sub    $0xc, %esp
0x00401507 <+7>:    mov    0x10(%ebp), %eax
0x0040150a <+10>:   mov    %eax, -0x10(%ebp)
0x0040150d <+13>:   mov    0x14(%ebp), %eax
0x00401510 <+16>:   mov    %eax, -0xc(%ebp)
0x00401513 <+19>:   mov    0xc(%ebp), %eax
0x00401516 <+22>:   mov    %eax, %edx
0x00401518 <+24>:   sar    $0x1f, %edx
0x0040151b <+27>:   mov    -0x10(%ebp), %ecx
0x0040151e <+30>:   mov    %ecx, %ebx
0x00401520 <+32>:   imul   %edx, %ebx
0x00401523 <+35>:   mov    -0xc(%ebp), %ecx
0x00401526 <+38>:   imul   %eax, %ecx
0x00401529 <+41>:   add    %ebx, %ecx
0x0040152b <+43>:   mull   -0x10(%ebp)
0x0040152e <+46>:   add    %edx, %ecx
0x00401530 <+48>:   mov    %ecx, %edx
0x00401532 <+50>:   mov    0x8(%ebp), %ecx
0x00401535 <+53>:   mov    %eax, (%ecx) ; The problem lies with this line
0x00401537 <+55>:   mov    %edx, 0x4(%ecx)
0x0040153a <+58>:   add    $0xc, %esp
0x0040153d <+61>:   pop    %ebx
0x0040153e <+62>:   pop    %ebp
0x0040153f <+63>:   ret

注册信息:

EAX 0x7fffe7fd  2147477501
ECX 0x40234e    4203342
EDX 0x400   1024
EBX 0x0 0
ESP 0x63fe58    0x63fe58
EBP 0x63fe68    0x63fe68
ESI 0x3d    61
EDI 0xb70d48    11996488
EIP 0x401535    0x401535 <store_prod+53>
EFLAGS  0x10206 [ PF IF RF ]
CS  0x23    35
SS  0x2b    43
DS  0x2b    43
ES  0x2b    43
FS  0x53    83
GS  0x2b    43

地址[%ecx](即0x40234e)似乎覆盖了代码,但为什么会出现这样的访问冲突？C代码有什么问题吗？非常感谢您的帮助!

Answer 1

你试着写入你没有拥有的内存→未定义的行为(segfault可选)

在行ll_t * c; c声明,但你不使用malloc或者将它指向一个有效的地址(例如:ll_t d; ll_t *c = &d;)

改变ll_t * c;以ll_t * c = malloc(sizeof(ll_t));检查是否malloc失败,或改变ll_t d; ll_t *c = &d;

编辑:正如@Ajay Brahmakshatriya指出的那样,还有另一个(按时间顺序排列)未定义的行为 - 将未初始化的变量(c)发送给store_prod(...).