__builtin_constant_p(x)

gcc的内建函数，当x为常数时返回1, x为变量时返回0. 不过这并不完全准确。

linux kernel的代码中经常有这样的代码：

if (__builtin_constant_p(x)) {

do1;

} else {

do2;

}

可以认为这个函数的求值在编译时就完成了。从而外面的条件跳转语句的两个分支，只有其中一个会出现在目标代码中。

准确的定义应该是：如果x的值在编译时能确定，那么该函数返回值为1.

例如，int len = sizeof(struct ...);紧接着的__builtin_constant_p(len)返回值就是1，尽管len是变量。