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