[PATCH] Add -Wno-cast-truncate
[smatch.git] / validation / bitfields.c
blob292a110b4e9554ea892dc95944174d0a44e773a1
1 /*
2 * Al Viro points out that we don't
3 * do bitfield -> integer promotions
4 * for array dereferences
6 * "warning: a.c:16:10: incompatible types for operation"
7 */
8 struct {
9 int x:4;
10 } y;
12 extern int a[];
14 int b(void)
16 return a[y.x];