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

   1 // { dg-do compile { target c++17 } }
   2
   3 namespace std {
   4   template<typename T> struct tuple_size;
   5   template<int, typename> struct tuple_element;
   6 }
   7
   8 struct A1 { int i,j; } a1;
   9 template<> struct std::tuple_size<A1> {  };
  10 void f1() { auto [ x ] = a1; }  // { dg-error "is not an integral constant expression" }
  11
  12 struct A2 { int i,j; } a2;
  13 template<> struct std::tuple_size<A2> { enum { value = 5 }; };
  14 void f2() { auto [ x ] = a2; }  // { dg-error "only 1 name provided" }
  15                                 // { dg-message "decomposes into 5" "" { target *-*-* } .-1 }
  16
  17 struct A3 { int i,j; } a3;
  18 template<> struct std::tuple_size<A3> { enum { value = 1 }; };
  19 void f3() { auto [ x ] = a3; }  // { dg-error "get" }
  20
  21 struct A3a { int i,j; int get(); } a3a;
  22 template<> struct std::tuple_size<A3a> { enum { value = 1 }; };
  23 void f3a() { auto [ x ] = a3a; }        // { dg-error "get" }
  24
  25 struct A3b { int i,j; } a3b;
  26 int get(A3b&&);
  27 template<> struct std::tuple_size<A3b> { enum { value = 1 }; };
  28 void f3b() { auto [ x ] = a3b; }        // { dg-error "get<0>" }
  29
  30 struct A4 {
  31   int ar[3];
  32   template <int I> int& get() { return ar[I]; }
  33 } a4;
  34 template<> struct std::tuple_size<A4> { enum { value = 3 }; };
  35 void f4() { auto [ x, y, z ] = a4; }    // { dg-error "tuple_element" }
  36
  37 struct A5 { } a5;
  38 template <int I> int& get(A5&& a);
  39 template<> struct std::tuple_size<A5> { enum { value = 3 }; };
  40 void f5() { auto [ x, y, z ] = a5; }    // { dg-error "tuple_element" }
  41
  42 struct A6 { } a6;
  43 template <int I> int& get(A6&& a);
  44 template<> struct std::tuple_size<A6> { enum { value = 3 }; };
  45 template<> struct std::tuple_element<0, A6> { };
  46 void f6() { auto [ x, y, z ] = a6; }    // { dg-error "no type named .type" }