1/*
2 * Al Viro points out that we don't
3 * do bitfield -> integer promotions
4 * for array dereferences
5 *
6 * "warning: a.c:16:10: incompatible types for operation"
7 */
8static struct {
9	int x:4;
10} y;
11
12extern int a[];
13
14static int b(void)
15{
16	return a[y.x];
17}
18
19/*
20 * check-name: bitfield to integer promotion
21 */
22