rosenberg: handle bit fields better
[smatch.git] / validation / bitwise-function-pointer.c
blob544f2fc00a4ed277e8f1d75140dddb93893dc467
1 #define __bitwise __attribute__((bitwise))
3 typedef unsigned int __bitwise t;
5 unsigned int fun(void);
7 static t (*ptr)(void) = fun;
9 /*
10 * check-name: bitwise-function-pointer
12 * check-error-start
13 bitwise-function-pointer.c:7:25: warning: incorrect type in initializer (different base types)
14 bitwise-function-pointer.c:7:25: expected restricted t ( *static [toplevel] ptr )( ... )
15 bitwise-function-pointer.c:7:25: got unsigned int ( * )( ... )
16 * check-error-end