gcc/testsuite/g++.dg/cpp0x/noexcept85.C

   1 // PR c++/114349
   2 // { dg-do compile { target c++11 } }
   3
   4 using A = struct {};
   5 template <template <typename> class, typename, typename>
   6 using B = A;
   7 template <typename T>
   8 using C = typename T::D;
   9 struct E {
  10   using D = B<C, int, A>;
  11 };
  12 template <class> constexpr bool foo (A) { return false; }
  13 template <class T> struct F {
  14   using G = T;
  15   using H = E;
  16   F(const F &);
  17   void operator=(F) noexcept(foo <G> (H::D{}));
  18 };
  19 template <typename, typename, typename>
  20 using I = F<int>;
  21 template <typename K, typename V, typename H = K>
  22 using J = I<K, V, H>;
  23 struct K {
  24   typedef J<long, char> L;
  25   L k;
  26   K();
  27 };
  28 struct M {
  29   bool bar () const;
  30   K::L m;
  31 };
  32 K n;
  33 bool M::bar () const { n.k = m; return true; }