unwind: use the shared success_fail_return() function
[smatch.git] / validation / typeof-bad.c
bloba9366bad1da38e5a53f357f49d3b511dcb81db17
1 static typeof(undef) a;
3 static int foo(void)
5 return a;
8 /*
9 * check-name: typeof-bad
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