smatch_data/kernel.unreachable.ignore: add BUG(), WARN_ON() and others
[smatch.git] / validation / cast-bad-01.c
blob4a7a397ea46c8777bda97f3b1bee7e55c20fe930
1 extern unsigned long l;
3 int foo(void) {
4 return (int) (typeof(fundecl(0))) l;
7 /*
8 * check-name: cast-bad 01
10 * check-error-start
11 cast-bad-01.c:4:30: error: undefined identifier 'fundecl'
12 * check-error-end