1 files changed, 78 insertions, 0 deletions
diff --git a/gcc-4.9/gcc/testsuite/g++.dg/cpp0x/noexcept13.C b/gcc-4.9/gcc/testsuite/g++.dg/cpp0x/noexcept13.C
new file mode 100644
index 0000000..e52e9a0
--- /dev/null
+++ b/gcc-4.9/gcc/testsuite/g++.dg/cpp0x/noexcept13.C
@@ -0,0 +1,78 @@
+// PR c++/49107
+// { dg-do compile { target c++11 } }
+
+namespace std
+{
+  template<typename _Tp> _Tp&& declval() noexcept;
+
+  struct true_type { static const bool value = true; };
+  struct false_type { static const bool value = false; };
+
+  template<typename _Tp, typename _Arg>
+    struct __is_direct_constructible_impl
+    {
+      template<typename _Tp2, typename _Arg2, typename
+	       = decltype(::new _Tp2(declval<_Arg2>()))>
+      static true_type __test(int);
+
+      template<typename, typename>
+      static false_type __test(...);
+
+      typedef decltype(__test<_Tp, _Arg>(0)) type;
+    };
+
+  template<typename _Tp, typename _Arg>
+    struct __is_direct_constructible_new_safe
+    : public __is_direct_constructible_impl<_Tp, _Arg>::type
+    { };
+
+  template<class _T1, class _T2>
+    struct pair
+    {
+      pair() = default;
+      constexpr pair(const pair&) = default;
+
+      pair(pair&& __p)
+      noexcept(__is_direct_constructible_new_safe<_T2,_T2&&>::value);
+    };
+}
+
+template <class R_>
+struct Vector3
+{
+  typedef typename R_::Ray_3 Ray_3;
+  Vector3() {}
+  explicit Vector3(const Ray_3& r);
+};
+
+template < class R_ > class LineC3
+{
+  typedef typename R_::Vector_3 Vector_3;
+  std::pair<int, Vector_3> x;
+};
+
+template < class R_ > class RayH3
+{
+  typedef typename R_::Vector_3 Vector_3;
+  std::pair<int, Vector_3> x;
+};
+
+template <typename Kernel >
+struct Homogeneous_base
+{
+  typedef LineC3<Kernel> Line_3;
+  typedef RayH3<Kernel> Ray_3;
+};
+
+template < typename RT_>
+struct Simple_homogeneous
+: public Homogeneous_base< Simple_homogeneous<RT_> >
+{
+  typedef Vector3<Simple_homogeneous<RT_> > Vector_3;
+};
+
+int main()
+{
+  typedef Simple_homogeneous<double> R;
+  R::Line_3 l3;
+}