[Bug c++/39405] std::shared_ptr barfs on incomplete template class that boost::shared_ptr accepts

["d dot frey at gmx dot de" <gcc-bugzilla at gcc dot gnu dot org>]

------- Comment #6 from d dot frey at gmx dot de  2009-03-13 12:49 -------
(In reply to comment #5)

More information on this:

> > > The bug is in both 4.3.3 and 4.3.2, however it isn't in 4.3.0 on a
> > > sparcv9-sun-solaris2.10 box with 64bits. Haven't got any 4.3.1 to try.

I've copied to header from said machine on my Ubuntu machine. Colin's test case
fails with Ubuntu's current version of GCC 4.3.2. Then I replaced
/use/include/c++/4.3.2/tr1_impl/type_traits with the header from 4.3.0 and the
test case passes. Hence, it *is* a library change.

Regards, Daniel

PS: The relevant chunk of the diff between the two headers:

--- /home/frey/type_traits      2009-03-13 13:00:54.000000000 +0100
+++ /usr/include/c++/4.3.2/tr1_impl/type_traits 2009-01-24 07:11:38.000000000
+0100
@@ -125,78 +132,94 @@
     struct is_array<_Tp[]>
     : public true_type { };

+  /// is_pointer
   template<typename>
     struct is_pointer
     : public false_type { };
   _DEFINE_SPEC(1, is_pointer, _Tp*, true)

+  /// is_reference
   template<typename _Tp>
     struct is_reference;

+  /// is_function
   template<typename _Tp>
     struct is_function;

+  /// is_member_object_pointer
   template<typename>
     struct is_member_object_pointer
     : public false_type { };
   _DEFINE_SPEC(2, is_member_object_pointer, _Tp _Cp::*,
               !is_function<_Tp>::value)

+  /// is_member_function_pointer
   template<typename>
     struct is_member_function_pointer
     : public false_type { };
   _DEFINE_SPEC(2, is_member_function_pointer, _Tp _Cp::*,
               is_function<_Tp>::value)

+  /// is_enum
   template<typename _Tp>
     struct is_enum
     : public integral_constant<bool, __is_enum(_Tp)>
     { };

+  /// is_union
   template<typename _Tp>
     struct is_union
     : public integral_constant<bool, __is_union(_Tp)>
     { };

+  /// is_class
   template<typename _Tp>
     struct is_class
     : public integral_constant<bool, __is_class(_Tp)>
     { };

-  template<typename>
-    struct __is_function_helper
-    : public false_type { };
-
-  template<typename _Res, typename... _ArgTypes>
-    struct __is_function_helper<_Res(_ArgTypes...)>
-    : public true_type { };
-
-  template<typename _Res, typename... _ArgTypes>
-    struct __is_function_helper<_Res(_ArgTypes......)>
-    : public true_type { };
+  template<typename _Tp>
+    struct __in_array
+    : public __sfinae_types
+    {
+    private:
+      template<typename _Up>
+        static __one __test(_Up(*)[1]);
+      template<typename>
+        static __two __test(...);
+    
+    public:
+      static const bool __value = sizeof(__test<_Tp>(0)) == 1;
+    };

+  /// is_abstract
   template<typename _Tp>
-    struct remove_cv;
+    struct is_abstract;

+  /// is_function
   template<typename _Tp>
     struct is_function
-    : public integral_constant<bool, (__is_function_helper<typename
-                                     remove_cv<_Tp>::type>::value)>
+    : public integral_constant<bool, !(__in_array<_Tp>::__value
+                                      || is_abstract<_Tp>::value
+                                      || is_reference<_Tp>::value
+                                      || is_void<_Tp>::value)>
     { };

-  /// @brief  composite type traits [4.5.2].
+  /// composite type traits [4.5.2].
   template<typename _Tp>
     struct is_arithmetic
     : public integral_constant<bool, (is_integral<_Tp>::value
                                      || is_floating_point<_Tp>::value)>
     { };

+  /// is_fundamental
   template<typename _Tp>
     struct is_fundamental
     : public integral_constant<bool, (is_arithmetic<_Tp>::value
                                      || is_void<_Tp>::value)>
     { };

+  /// is_object
   template<typename _Tp>
     struct is_object
     : public integral_constant<bool, !(is_function<_Tp>::value


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39405