gcc/testsuite/g++.dg/cpp1z/fold1.C

   1 // { dg-do run }
   2 // { dg-options "-std=c++1z" }
   3
   4 #include <cassert>
   5
   6 // Check the semantics of a couple of operations to make sure
   7 // that the expressions are formed correctly.
   8
   9 #define COMMA ,
  10
  11 #define MAKE_FNS(name, op) \
  12   template<typename... Ts> \
  13     auto unary_left_ ## name (Ts... ts) { return (... op ts); } \
  14   template<typename... Ts> \
  15     auto unary_right_ ## name (Ts... ts) { return (ts op ...); } \
  16   template<typename T, typename... Ts> \
  17     auto binary_left_ ## name (T x, Ts... ts) { return (x op ... op ts); } \
  18   template<typename T, typename... Ts> \
  19     auto binary_right_ ## name (T x, Ts... ts) { return (ts op ... op x); }
  20
  21 MAKE_FNS (add, +);
  22 MAKE_FNS (sub, -);
  23
  24 int main() {
  25   // assert(unary_left_add() == 0);
  26   assert(unary_left_add(1) == 1);
  27   assert(unary_left_add(1, 2, 3) == 6);
  28
  29   // assert(unary_right_add() == 0);
  30   assert(unary_right_add(1) == 1);
  31   assert(unary_right_add(1, 2, 3) == 6);
  32
  33   assert(binary_left_add(1) == 1);
  34   assert(binary_left_add(1, 1) == 2);
  35   assert(binary_left_add(1, 1, 2, 3) == 7);
  36
  37   assert(binary_right_add(1) == 1);
  38   assert(binary_right_add(1, 1) == 2);
  39   assert(binary_right_add(1, 1, 2, 3) == 7);
  40
  41   // unary_left_sub(); // { dg-error "empty"}
  42   assert(unary_left_sub(1) == 1);
  43   assert(unary_left_sub(1, 2, 3) == -4);
  44
  45   // unary_right_sub(); // { dg-error "empty"}
  46   assert(unary_right_sub(1) == 1);
  47   assert(unary_right_sub(1, 2, 3) == 2);
  48
  49   assert(binary_left_sub(1) == 1);
  50   assert(binary_left_sub(1, 1) == 0);
  51   assert(binary_left_sub(1, 1, 2, 3) == -5);
  52
  53   assert(binary_right_sub(1) == 1);
  54   assert(binary_right_sub(1, 1) == 0);
  55   assert(binary_right_sub(1, 1, 2, 3) == 1);
  56 }