C/Assembly子程序分段錯誤

Question

嘗試運行GDB並在C主程序進入主函數後繼續發生分段錯誤。

GDB錯誤：

Breakpoint 1, main() at binom_main.c:7 
7 n=10; 
(gdb) s 
10 0; 
(gdb) s 
12 +){ 
(gdb) s 

Program received signal SIGSEGV, Segmentation fault. 
0x00000000004005c4 in otherwise() 
(gdb) 

我編譯的代碼這樣：

as binom.s -o binom.o 
gcc -S -Og binom_main.c 
gcc -c binom_main.s  
gcc binom_main.o binom.o -o runtimes 

我想學習如何使用GDB更有效率些，但像這樣的段錯誤是相當含糊和限制。爲什麼這個段錯誤是在函數開始的時候引起的？我有錯誤地鏈接了兩個文件嗎？

主營：

#include <stdio.h> 

unsigned int result,m,n,i; 
unsigned int binom(int,int); 
int main(){ 

n=10; 
i=0; 


for (i=1; i<2;i++){ 

result = binom(n,i); 

printf("i=%d | %d \n", i, result); 

} 

return 0; 


} 

子：

.text 
    .globl binom 

binom: 
    mov  $0x00, %edx  #for difference calculation 
    cmp  %edi, %esi   #m=n? 
    je  equalorzero   #jump to equalorzero for returning of value 1 
    cmp  $0x00, %esi   #m=0? 
    je  equalorzero  
    cmp  $0x01, %esi   #m=1? 

    mov  %esi,%edx 
    sub  %edi, %edx 
    cmp  $0x01, %edx   # n-m = 1 ? 
    je  oneoronedifference 

    jmp  otherwise 

equalorzero: 
    add  $1, %eax   #return 1 

    call printf 
    ret 

oneoronedifference: 
    add  %edi, %eax   #return n 
    ret 

otherwise: 
    sub  $1, %edi   #binom(n-1,m) 
    call binom  
    sub  $1, %esi   #binom(n-1,m-1) 
    call binom 
    ret 

Answer 1

當你使用GDB調試ASM，看看反彙編窗口以及源窗口。 （例如layout asm/layout reg和layout next，直到您獲得所需的窗口組合。）請參閱x86標記wiki的底部，以獲取更多提示和文檔鏈接。

您可以使用stepi（si）按指令步進，而不是通過C語句，同時調查由於在返回之前破壞某些東西而導致的asm外部的崩潰。

---

這看起來像一個錯誤：（？未成年人）

sub  $1, %edi   #binom(n-1,m) 
call binom 
# at this point, %edi no longer holds n-1, and %esi no longer holds m. 
# because binom clobbers them. (This is normal) 

# as Jester points out, you also don't save the return value (%eax) from the first call anywhere. 
sub  $1, %esi   #binom(n-1,m-1) 
call binom 

---

另一個錯誤是：

cmp  $0x01, %esi   #m=1? 
# but then you never read the flags that cmp set 

---

另一個嚴重錯誤：

equalorzero: 
    add  $1, %eax   #return 1 # wrong: nothing before this set %eax to anything. 
    # mov $1, %eax    # You probably want this instead 
    ret