xref: /illumos-gate/usr/src/tools/smatch/src/validation/type-attribute-mod.c (revision 4c87aefe8930bd07275b8dd2e96ea5f24d93a52e)
1 #define	__noderef	__attribute__((noderef))
2 
3 struct s {
4 	int i;
5 } __noderef;
6 
7 
8 void main(void)
9 {
10 	struct s s;
11 
12 	s.i = 0;
13 }
14 
15 /*
16  * check-name: type-attribute-mod
17  *
18  * check-error-start
19 type-attribute-mod.c:12:9: warning: dereference of noderef expression
20  * check-error-end
21  */
22