gcc/testsuite/g++.dg/cpp2a/constexpr-shift1.C

   1 // { dg-do compile { target c++11 } }
   2
   3 constexpr int a = -42 << 0;     // { dg-error "left operand of shift expression '\\(-42 << 0\\)' is negative" "" { target c++17_down } }
   4 constexpr int b = -42 << 1;     // { dg-error "left operand of shift expression '\\(-42 << 1\\)' is negative" "" { target c++17_down } }
   5 constexpr int c = -42 << (__SIZEOF_INT__ * __CHAR_BIT__ - 1);   // { dg-error "left operand of shift expression '\\(-42 << \[0-9]*\\)' is negative" "" { target c++17_down } }
   6                                 // { dg-warning "result of '\\(-42 << \[0-9]*\\)' requires \[0-9]* bits to represent, but 'int' only has \[0-9]* bits" "" { target c++17_down } .-1 }
   7 constexpr int d = 42 << (__SIZEOF_INT__ * __CHAR_BIT__ - 1);    // { dg-error "shift expression '\\(42 << \[0-9]*\\)' overflows" "" { target c++17_down } }
   8                                 // { dg-warning "result of '\\(42 << \[0-9]*\\)' requires \[0-9]* bits to represent, but 'int' only has \[0-9]* bits" "" { target c++17_down } .-1 }
   9 constexpr int e = 32 << (__SIZEOF_INT__ * __CHAR_BIT__ - 5);    // { dg-error "shift expression '\\(32 << \[0-9]*\\)' overflows" "" { target c++17_down } }
  10                                 // { dg-warning "result of '\\(32 << \[0-9]*\\)' requires \[0-9]* bits to represent, but 'int' only has \[0-9]* bits" "" { target c++17_down } .-1 }
  11 constexpr int f = 32 << (__SIZEOF_INT__ * __CHAR_BIT__ - 6);
  12 constexpr int g = -42U << 0;
  13 constexpr int h = -42U << 1;
  14 constexpr int i = -42U << (__SIZEOF_INT__ * __CHAR_BIT__ - 1);
  15 constexpr int j = 42U << (__SIZEOF_INT__ * __CHAR_BIT__ - 1);
  16 constexpr int k = 32U << (__SIZEOF_INT__ * __CHAR_BIT__ - 5);
  17 constexpr int l = 32U << (__SIZEOF_INT__ * __CHAR_BIT__ - 6);
  18 #if __cplusplus > 201703L
  19 static_assert (a == g);
  20 static_assert (b == h);
  21 static_assert (c == i);
  22 static_assert (d == j);
  23 static_assert (e == k);
  24 static_assert (f == l);
  25 #endif