Symbol: __noderef
usr/src/tools/smatch/src/validation/ptr-inherit.c
23
int __noderef o;
usr/src/tools/smatch/src/validation/type-attribute-mod.c
5
} __noderef;
usr/src/tools/smatch/src/validation/type-compare.c
61
if ([int *] == [int __noderef *]) return 1;
usr/src/tools/smatch/src/validation/typeof-noderef.c
5
int __noderef obj, *ptr;