conditions: use set_extra_expr_mod() to change extra states
[smatch.git] / validation / restricted-typeof.c
blob1592664553de4f8990c8eef4c8c243a59ad42651
1 typedef unsigned __attribute__((bitwise)) A;
2 static A x;
3 static __typeof__(x) y;
4 static A *p = &y;
5 /*
6 * check-name: typeof with bitwise types
7 * check-command: sparse -Wbitwise $file
8 */