xref: /illumos-gate/usr/src/tools/smatch/src/validation/typeof-bad.c (revision 8c0b080c8ed055a259d8cd26b9f005211c6a9753)
1 static typeof(undef) a;
2 
3 static int foo(void)
4 {
5 	return a;
6 }
7 
8 /*
9  * check-name: typeof-bad
10  *
11  * check-error-start
12 typeof-bad.c:1:15: error: undefined identifier 'undef'
13 typeof-bad.c:5:16: warning: incorrect type in return expression (different base types)
14 typeof-bad.c:5:16:    expected int
15 typeof-bad.c:5:16:    got bad type static [toplevel] a
16  * check-error-end
17  */
18