test/SemaCXX/i-c-e-cxx.cpp

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