db: caller info needs to record the -1 parameters
[smatch.git] / validation / bitfields.c
blob16aa16d1c1c07f6cd307c83c8452dea0f47143c1
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 static struct {
9 int x:4;
10 } y;
12 extern int a[];
14 static int b(void)
16 return a[y.x];