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