Symbol: NON_NULL
usr/src/tools/smatch/src/evaluate.c
1041
return NON_NULL;
usr/src/tools/smatch/src/evaluate.c
1042
return is_zero_constant(e) ? NULL_ZERO : NON_NULL;