131
|
1 // PR c++/83993
|
|
2 // { dg-do compile { target c++11 } }
|
|
3 // { dg-options "" }
|
|
4
|
|
5 extern const int a[];
|
|
6 const int b[5] = { 1, 2, 3, 4, 5 };
|
|
7 extern const int c[4];
|
|
8 constexpr const int *d = &a[0];
|
|
9 constexpr const int *d2 = a;
|
145
|
10 constexpr const int *e = &a[1]; // { dg-error "nonzero array subscript '1' is used with array 'a' of type 'const int \\\[\\\]' with unknown bounds" }
|
131
|
11 constexpr const int *f = &b[0];
|
|
12 constexpr const int *f2 = b;
|
|
13 constexpr const int *g = &b[5];
|
|
14 constexpr const int *h = &b[6]; // { dg-error "array subscript value '6' is outside the bounds of array 'b' of type 'const int \\\[5\\\]'" }
|
|
15 constexpr const int *i = &c[0];
|
|
16 constexpr const int *i2 = c;
|
|
17 constexpr const int *j = &c[4];
|
|
18 constexpr const int *k = &c[5]; // { dg-error "array subscript value '5' is outside the bounds of array 'c' of type 'const int \\\[4\\\]'" }
|
|
19 extern const int l[];
|
|
20
|
|
21 void
|
|
22 foo ()
|
|
23 {
|
|
24 extern const int l[3];
|
|
25 constexpr const int *m = &l[0];
|
|
26 constexpr const int *m2 = l;
|
|
27 constexpr const int *n = &l[1];
|
|
28 static_assert (m == m2, "");
|
|
29 }
|
|
30
|
|
31 constexpr const int *m = &l[0];
|
|
32 constexpr const int *m2 = l;
|
145
|
33 constexpr const int *n = &l[1]; // { dg-error "nonzero array subscript '1' is used with array 'l' of type 'const int \\\[\\\]' with unknown bounds" }
|
131
|
34 static_assert (d == d2 && f == f2 && i == i2 && m == m2, "");
|
|
35 const int o[] = { 1, 2 };
|
|
36 constexpr const int *p = &o[0];
|
|
37 constexpr const int *p2 = o;
|
|
38 constexpr const int *q = &o[2];
|
|
39 constexpr const int *r = &o[3]; // { dg-error "array subscript value '3' is outside the bounds of array 'o' of type 'const int \\\[2\\\]'" }
|
|
40 struct S { char a; char b[]; } s;
|
|
41 constexpr const char *t = &s.b[0];
|
|
42 constexpr const char *t2 = s.b;
|
145
|
43 constexpr const char *u = &s.b[1]; // { dg-error "nonzero array subscript '1' is used with array of type 'char \\\[\\\]' with unknown bounds" }
|
131
|
44 struct V { int a; };
|
|
45 extern V v[];
|
|
46 constexpr V *w = &v[0];
|
|
47 constexpr V *w2 = v;
|
|
48 constexpr int *x = &v[0].a;
|
|
49 constexpr int y = a[0]; // { dg-error "the value of 'a' is not usable in a constant expression" }
|