Symbol: __safe
usr/src/tools/smatch/src/validation/type-compare.c
58
if ([int *] == [int __safe *]) return 1;
usr/src/tools/smatch/src/validation/typeof-safe.c
5
int __safe obj, *ptr;