validation/bitfields.c


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

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

extern int a[];

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