/*
 * 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
 */