gcc/testsuite/g++.dg/cpp1y/constexpr-tracking-const1.C

   1 // PR c++/91264
   2 // { dg-do compile { target c++14 } }
   3
   4 constexpr void
   5 mod (int &r)
   6 {
   7   r = 99; // { dg-error "modifying a const object" }
   8 }
   9
  10 constexpr int
  11 fn1 ()
  12 {
  13   const int i = 0; // { dg-message "originally declared" }
  14   mod (const_cast<int &>(i)); // { dg-message "in .constexpr. expansion of " }
  15   return i;
  16 }
  17
  18 constexpr int i1 = fn1 (); // { dg-message "in .constexpr. expansion of " }
  19
  20 constexpr int
  21 fn2 ()
  22 {
  23   const int i = 5; // { dg-message "originally declared" }
  24   const_cast<int &>(i) = 10; // { dg-error "modifying a const object" }
  25   return i;
  26 }
  27
  28 constexpr int i2 = fn2 (); // { dg-message "in .constexpr. expansion of " }
  29
  30 constexpr int
  31 fn3 ()
  32 {
  33   const int i = 5; // { dg-message "originally declared" }
  34   ++const_cast<int &>(i); // { dg-error "modifying a const object" }
  35   return i;
  36 }
  37
  38 constexpr int i3 = fn3 (); // { dg-message "in .constexpr. expansion of " }
  39
  40 constexpr int
  41 fn4 ()
  42 {
  43   const int i = 5; // { dg-message "originally declared" }
  44   const_cast<int &>(i)--; // { dg-error "modifying a const object" }
  45   return i;
  46 }
  47
  48 constexpr int i4 = fn4 (); // { dg-message "in .constexpr. expansion of " }
  49
  50 constexpr int
  51 fn5 ()
  52 {
  53   const int i = 5; // { dg-message "originally declared" }
  54   const_cast<int &>(i) += 2; // { dg-error "modifying a const object" }
  55   return i;
  56 }
  57
  58 constexpr int i5 = fn5 (); // { dg-message "in .constexpr. expansion of " }
  59
  60 constexpr int
  61 fn6 ()
  62 {
  63   // This is OK.
  64   int i = 3;
  65   const int *cip = &i;
  66   int *ip = const_cast<int *>(cip);
  67   *ip = 4;
  68   return i;
  69 }
  70
  71 constexpr int i6 = fn6 ();
  72 static_assert(i6 == 4, "");