math: use correct variable in handle_conditional_rl()
[smatch.git] / validation / bitfields.c
blobea24841fcb38cba33fb0dcc2d6f6ba5b25eca38b
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];
20 * check-name: bitfield to integer promotion