正如我在this question中提到的，gcc正在移除（是的，对于-O0）一行代码_mm_div_ss(s1, s2);，可能是因为结果没有保存。但是，这 * 应该 * 触发浮点异常并引发SIGFPE，如果调用被移除，则不会发生这种情况。

问题：是否有一个或多个标志可以传递给gcc，以便按原样编译代码？我想的是类似fno-remove-unused的东西，但我没有看到类似的东西。理想情况下，这将是一个编译器标志，而不是必须更改我的源代码，但如果不支持，是否有一些gcc属性/pragma可以代替？

我尝试过的方法：

$ gcc --help=optimizers | grep -i remove

字符串
没有结果。

$ gcc --help=optimizers | grep -i unused

型
没有结果。
并显式禁用所有死代码/消除标志--注意，没有关于未使用代码的警告：

$ gcc -O0 -msse2 -Wall -Wextra -pedantic -Winline \
     -fno-dce -fno-dse -fno-tree-dce \
     -fno-tree-dse -fno-tree-fre -fno-compare-elim -fno-gcse  \
     -fno-gcse-after-reload -fno-gcse-las -fno-rerun-cse-after-loop \
     -fno-tree-builtin-call-dce -fno-tree-cselim a.c
a.c: In function ‘main’:
a.c:25:5: warning: ISO C90 forbids mixed declarations and code [-Wpedantic]
     __m128 s1, s2;
     ^
$

型
源程序

#include <stdio.h>
#include <signal.h>
#include <string.h>
#include <xmmintrin.h>

static void sigaction_sfpe(int signal, siginfo_t *si, void *arg)
{
    printf("%d,%d,%d\n", signal, si!=NULL?1:0, arg!=NULL?1:0);
    printf("inside SIGFPE handler\nexit now.\n");
    exit(1);
}

int main()
{
    struct sigaction sa;

    memset(&sa, 0, sizeof(sa));
    sigemptyset(&sa.sa_mask);
    sa.sa_sigaction = sigaction_sfpe;
    sa.sa_flags = SA_SIGINFO;
    sigaction(SIGFPE, &sa, NULL);

    _mm_setcsr(0x00001D80);

    __m128 s1, s2;
    s1 = _mm_set_ps(1.0, 1.0, 1.0, 1.0);
    s2 = _mm_set_ps(0.0, 0.0, 0.0, 0.0);
    _mm_div_ss(s1, s2);

    printf("done (no error).\n");

    return 0;
}

型
编译上述程序给出

$ ./a.out
done (no error).

型
换线

_mm_div_ss(s1, s2);

型
到

s2 = _mm_div_ss(s1, s2); // add "s2 = "

型
产生预期结果：

$ ./a.out
inside SIGFPE handler

型
请编辑更多详细信息。
这似乎与_mm_div_ss定义上的__always_inline__属性有关。

$ cat t.c
int
div(int b)
{
    return 1/b;
}

int main()
{
    div(0);
    return 0;
}

$ gcc -O0 -Wall -Wextra -pedantic -Winline t.c -o t.out
$

型
(no警告或错误）

$ ./t.out
Floating point exception
$

型
vs below（除函数属性外相同）

$ cat t.c
__inline int __attribute__((__always_inline__))
div(int b)
{
    return 1/b;
}

int main()
{
    div(0);
    return 0;
}

$ gcc -O0 -Wall -Wextra -pedantic -Winline t.c -o t.out
$

型
(no警告或错误）

$ ./t.out
$

型
添加函数属性__warn_unused_result__至少会给出一条有用的消息：

$ gcc -O0 -Wall -Wextra -pedantic -Winline t.c -o t.out
t.c: In function ‘main’:
t.c:9:5: warning: ignoring return value of ‘div’, declared with attribute warn_unused_result [-Wunused-result]
     div(0);
     ^

型
编辑：
关于gcc mailing list的一些讨论。最终，我认为一切都在按预期工作。