expr-address-of.c revision a5728872c7702ddd09537c95bc3cbd20e1f2fb09
1// RUN: %clang_cc1 %s -verify -fsyntax-only 2struct xx { int bitf:1; }; 3 4struct entry { struct xx *whatever; 5 int value; 6 int bitf:1; }; 7void add_one(int *p) { (*p)++; } 8 9void test() { 10 register struct entry *p; 11 add_one(&p->value); 12 struct entry pvalue; 13 add_one(&p->bitf); // expected-error {{address of bit-field requested}} 14 add_one(&pvalue.bitf); // expected-error {{address of bit-field requested}} 15 add_one(&p->whatever->bitf); // expected-error {{address of bit-field requested}} 16} 17 18void foo() { 19 register int x[10]; 20 &x[10]; // expected-error {{address of register variable requested}} 21 22 register int *y; 23 24 int *x2 = &y; // expected-error {{address of register variable requested}} 25 int *x3 = &y[10]; 26} 27 28void testVectorComponentAccess() { 29 typedef float v4sf __attribute__ ((vector_size (16))); 30 static v4sf q; 31 float* r = &q[0]; // expected-error {{address of vector element requested}} 32} 33 34typedef __attribute__(( ext_vector_type(4) )) float float4; 35 36float *testExtVectorComponentAccess(float4 x) { 37 return &x.w; // expected-error {{address of vector element requested}} 38} 39 40void f0() { 41 register int *x0; 42 int *_dummy0 = &(*x0); 43 44 register int *x1; 45 int *_dummy1 = &(*(x1 + 1)); 46} 47 48// FIXME: The checks for this function are broken; we should error 49// on promoting a register array to a pointer! (C99 6.3.2.1p3) 50void f1() { 51 register int x0[10]; 52 int *_dummy00 = x0; // fixme-error {{address of register variable requested}} 53 int *_dummy01 = &(*x0); // fixme-error {{address of register variable requested}} 54 55 register int x1[10]; 56 int *_dummy1 = &(*(x1 + 1)); // fixme-error {{address of register variable requested}} 57 58 register int *x2; 59 int *_dummy2 = &(*(x2 + 1)); 60 61 register int x3[10][10][10]; 62 int (*_dummy3)[10] = &x3[0][0]; // expected-error {{address of register variable requested}} 63 64 register struct { int f0[10]; } x4; 65 int *_dummy4 = &x4.f0[2]; // expected-error {{address of register variable requested}} 66} 67 68void f2() { 69 register int *y; 70 71 int *_dummy0 = &y; // expected-error {{address of register variable requested}} 72 int *_dummy1 = &y[10]; 73} 74 75void f3() { 76 extern void f4(); 77 void (*_dummy0)() = &****f4; 78} 79 80void f4() { 81 register _Complex int x; 82 83 int *_dummy0 = &__real__ x; // expected-error {{address of register variable requested}} 84} 85 86void f5() { 87 register int arr[2]; 88 89 /* This is just here because if we happened to support this as an 90 lvalue we would need to give a warning. Note that gcc warns about 91 this as a register before it warns about it as an invalid 92 lvalue. */ 93 int *_dummy0 = &(int*) arr; // expected-error {{address expression must be an lvalue or a function designator}} 94 int *_dummy1 = &(arr + 1); // expected-error {{address expression must be an lvalue or a function designator}} 95} 96 97void f6(register int x) { 98 int * dummy0 = &x; // expected-error {{address of register variable requested}} 99} 100 101char* f7() { 102 register struct {char* x;} t1 = {"Hello"}; 103 char* dummy1 = &(t1.x[0]); 104 105 struct {int a : 10;} t2; 106 int* dummy2 = &(t2.a); // expected-error {{address of bit-field requested}} 107 108 void* t3 = &(*(void*)0); 109} 110