x64：为什么这段代码会给我“地址边界错误”(x64: Why does this piece of code give me “Address boundary error”)

 为什么以下x64程序集给我“地址边界错误”？ 它只在我call _print_string后添加代码时才会发生。 我假设一些寄存器已被修改，但是一旦_print_string函数返回它们不应该被还原吗？ 
 
 我正在使用Mac OS X. 
 
obj_size = 8

.data
    hello_world: .asciz "hello world!"

.text
    .globl _main


_main:

    pushq %rbp
    movq %rsp, %rbp
    leaq hello_world(%rip), %rdi
    callq _print_string

    subq obj_size, %rsp
    movq 1, %rax
    movq %rax, obj_size(%rsp)

    addq obj_size, %rsp


    leave
    ret
 
 而C程序是： 
 
void
print_string(char *str) 
{
    printf("%s\n", str);
}

Why does the following x64 assembly give me "Address boundary error"? It only happens when I add code after call _print_string. I assume that some of the register have been modified but aren't they supposed to be reverted once the _print_string function returns?
 
I am using Mac OS X
 
obj_size = 8

.data
    hello_world: .asciz "hello world!"

.text
    .globl _main


_main:

    pushq %rbp
    movq %rsp, %rbp
    leaq hello_world(%rip), %rdi
    callq _print_string

    subq obj_size, %rsp
    movq 1, %rax
    movq %rax, obj_size(%rsp)

    addq obj_size, %rsp


    leave
    ret
 
And the C program is:
 
void
print_string(char *str) 
{
    printf("%s\n", str);
}

原文：https://stackoverflow.com/questions/43329760