validation/bitfields.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

/*
 * Al Viro points out that we don't
 * do bitfield -> integer promotions
 * for array dereferences
 *
 * "warning: a.c:16:10: incompatible types for operation"
 */
static struct {
	int x:4;
} y;

extern int a[];

static int b(void)
{
	return a[y.x];
}

/*
 * check-name: bitfield to integer promotion
 */