是否有缺少gcc __attribute __（（null））的解决方法？

Question

gcc 有一个属性 nonnull ，如果在NULL上对非空进行了签名，则会生成警告...此属性假定此参数< strong>从不为NULL。

好吧，我需要相反：因为我想让我的库 NULL-pointer-SAVE ...这意味着如果我取消引用标记为 null 的指针而不是选中 NON-NULL 会生成警告：

示例：

struct TESTS {
  int a1;
  ...
}

void test (struct TESTS *p) __attribute__((null));
...
void test (struct TESTS *p) {
  p->a1 = 5;   // WARNING!! because p is **not** tested on **NULL**
...