为什么这个程序不会出现段错误？

Question

当我为 gcc 启用 -O 时，是什么导致输出“Hello”？难道它不应该仍然存在段错误（根据此wiki）吗？

% cat segv.c 
#include <stdio.h>
int main()
{
    char * s = "Hello";
    s[0] = 'Y';
    puts(s);
    return 0;
}
% gcc segv.c && ./a.out 
zsh: segmentation fault  ./a.out
% gcc -O segv.c && ./a.out 
Hello

Answer 1

更改字符串文字是未定义的行为（可能会崩溃，可能不会执行任何操作等）。 C 常见问题解答中有很好的解释。

6.4.5/6

未指定这些数组是否不同，只要它们的
元素具有适当的值。如果程序尝试
修改这样的数组，行为未定义。