1 // RUN: %clang_cc1 -fsyntax-only -verify -pedantic %s
2 // RUN: %clang_cc1 -fsyntax-only -verify -pedantic -std=gnu++98 %s
3 // RUN: %clang_cc1 -fsyntax-only -verify -pedantic -std=gnu++11 %s
4
5 // C++-specific tests for integral constant expressions.
6
7 const int c = 10;
8 int ar[c];
9
10 struct X0 {
11 static const int value = static_cast<int>(4.0);
12 };
13
f()14 void f() {
15 if (const int value = 17) {
16 int array[value];
17 }
18 }
19
a()20 int a() {
21 const int t=t; // expected-note {{declared here}}
22
23 switch(1) { // do not warn that 1 is not a case value;
24 // 't' might have been expected to evalaute to 1
25 case t:; // expected-note {{initializer of 't' is not a constant expression}}
26 #if __cplusplus <= 199711L
27 // expected-error@-2 {{not an integral constant expression}}
28 #else
29 // expected-error@-4 {{case value is not a constant expression}}
30 #endif
31 }
32 }
33
34 // PR6206: out-of-line definitions are legit
35 namespace pr6206 {
36 class Foo {
37 public:
38 static const int kBar;
39 };
40
41 const int Foo::kBar = 20;
42
Test()43 char Test() {
44 char str[Foo::kBar];
45 str[0] = '0';
46 return str[0];
47 }
48 }
49
50 // PR6373: default arguments don't count.
pr6373(const unsigned x=0)51 void pr6373(const unsigned x = 0) {
52 unsigned max = 80 / x;
53 }
54
55
56 // rdar://9204520
57 namespace rdar9204520 {
58
59 struct A {
60 static const int B = int(0.75 * 1000 * 1000);
61 #if __cplusplus <= 199711L
62 // expected-warning@-2 {{not a constant expression; folding it to a constant is a GNU extension}}
63 #endif
64 };
65
foo()66 int foo() { return A::B; }
67 }
68
69 // PR11040
70 const int x = 10;
71 int* y = reinterpret_cast<const char&>(x); // expected-error {{cannot initialize}}
72
73 // This isn't an integral constant expression, but make sure it folds anyway.
74 struct PR8836 { char _; long long a; };
75 #if __cplusplus <= 199711L
76 // expected-warning@-2 {{'long long' is a C++11 extension}}
77 #endif
78
79 int PR8836test[(__typeof(sizeof(int)))&reinterpret_cast<const volatile char&>((((PR8836*)0)->a))];
80 // expected-warning@-1 0-1{{C99 feature}} expected-warning@-1 {{folded to constant array as an extension}}
81 // expected-note@-2 {{cast that performs the conversions of a reinterpret_cast is not allowed in a constant expression}}
82
83 const int nonconst = 1.0;
84 #if __cplusplus <= 199711L
85 // expected-note@-2 {{declared here}}
86 #endif
87 int arr[nonconst];
88 #if __cplusplus <= 199711L
89 // expected-warning@-2 0-1{{C99 feature}} expected-warning@-2 {{folded to constant array as an extension}}
90 // expected-note@-3 {{initializer of 'nonconst' is not a constant expression}}
91 #endif
92
93 const int castfloat = static_cast<int>(1.0);
94 int arr2[castfloat]; // ok
95