GCC禁用对某个类型的变量的“基于类型别名的分析”——may_alias

在写C/C++代码的时候，如果我们写以下代码：

struct st x;
short* p=&x;

那么，在编译的时候，GCC会抛出警告信息，提示我们这里的存在“双关引用”（原文是dereferencing type-punned pointer）。如果我们启用了-fstrict-aliasing或者O2优化，编译过程会被中止，编译器会认为代码出现了错误。但是如果我们的代码改成这样，就不会出现警告：

struct st x;
void* p=&x;

这是因为，gcc认为，void类型可以指代其他任何的类型。

对于写操作系统过程中的一些特殊场景来说，我们要求编译器不要检查指针的类型的检查。那么，我们就可以使用may_alias这个属性，配合宏的使用，定义一个新的类型short_a，使得编译器认为这个类型可以指代其他的任何类型。具体的示例代码如下：

typedef short __attribute__((__may_alias__)) short_a;
          
int main (void)
{
     int a = 0x12345678;
     short_a *b = (short_a *) &a;
          
     b[1] = 0;
          
     if (a == 0x12345678)
         abort();
          
     exit(0);
}

转载请注明来源：https://longjin666.cn/?p=1558