小编And*_*rew的帖子

我有以下代码：

struct A
{
    short b;
};

struct B
{
    double a;
};


void foo (struct B* src)
{
    struct B* b = src;
    struct A* a = (struct A*)src;

    b->a = sin(rand());

    if(a->b == rand())
    {
        printf("Where are you strict aliasing warnings?\n");
    }
}

我正在使用以下命令行编译代码：

gcc -c -std=c99 -Wstrict-aliasing=2 -Wall -fstrict-aliasing -O3 foo.c

我正在使用海湾合作委员会4.5.0。我希望编译器打印出警告：

 warning: dereferencing type-punned pointer will break strict-aliasing rules

但事实并非如此。对于其他情况，我可以打印出警告，但我想知道为什么在这种情况下却没有打印出来。这不是违反严格别名规则的明显例子吗？