如何指定指针变量不可为空？GCC/Clang有无局部变量非空扩展？

目前GCC和Clang没有专门针对局部变量的非空检查属性扩展（类似函数参数的__attribute__((nonnull))或返回值的__attribute__((returns_nonnull))）。不过可以通过以下方式实现类似的约束效果：

编译时优化与约束提示：__builtin_assume #

GCC和Clang都支持__builtin_assume(expr)内置函数，你可以用它告知编译器某个局部变量的非空条件始终成立，既帮助编译器进行针对性优化，也能辅助静态分析工具识别非空约束：

void example_func(void) {
    int *local_ptr = get_nonnull_ptr();
    // 告知编译器local_ptr不会为NULL
    __builtin_assume(local_ptr != NULL);
    
    // 后续代码中编译器会默认local_ptr非空，避免冗余空检查
    *local_ptr = 42;
}

运行时调试检查：assert() #

如果需要在调试阶段验证局部变量的非空性，可使用标准库的assert()宏，它会在调试模式下触发检查，发布版本中可通过定义NDEBUG禁用：

#include <assert.h>

void debug_check_example(void) {
    int *local_ptr = some_function();
    // 调试时若local_ptr为NULL则触发断言失败，终止程序并提示
    assert(local_ptr != NULL);
    
    // 后续可安全使用local_ptr
}

静态分析辅助 #

配合编译器警告选项（如GCC的-Wnonnull、-Wall，Clang的-Wnonnull），结合__builtin_assume或明确的空检查逻辑，静态分析工具可以更精准地识别局部变量的非空约束，提前发现潜在的空指针问题。

内容的提问来源于stack exchange，提问作者Madagascar