From b11a4e267eb0ef678a4a473d651fd2f0b36c98d2 Mon Sep 17 00:00:00 2001
From: Aleksey Gurtovoy <agurtovoy@meta-comm.com>
Date: Fri, 17 Sep 2004 13:58:19 +0000
Subject: [PATCH] fix Boost.Python ICEs

[SVN r25174]
---
 include/boost/mpl/aux_/msvc_is_class.hpp | 18 +++++++++++++++++-
 1 file changed, 17 insertions(+), 1 deletion(-)

diff --git a/include/boost/mpl/aux_/msvc_is_class.hpp b/include/boost/mpl/aux_/msvc_is_class.hpp
index 4c8f67e..0735230 100644
--- a/include/boost/mpl/aux_/msvc_is_class.hpp
+++ b/include/boost/mpl/aux_/msvc_is_class.hpp
@@ -14,11 +14,15 @@
 // $Date$
 // $Revision$
 
+#include <boost/mpl/if.hpp>
 #include <boost/mpl/bool.hpp>
 #include <boost/mpl/aux_/type_wrapper.hpp>
 #include <boost/mpl/aux_/yes_no.hpp>
 #include <boost/mpl/aux_/adl_barrier.hpp>
 
+#include <boost/type_traits/is_reference.hpp>
+
+
 BOOST_MPL_AUX_ADL_BARRIER_NAMESPACE_OPEN
 
 namespace aux {
@@ -31,7 +35,7 @@ template< typename T > struct is_class_helper
 // MSVC 6.x-specific lightweight 'is_class' implementation; 
 // Distinguishing feature: does not instantiate the type being tested.
 template< typename T >
-struct msvc_is_class
+struct msvc_is_class_impl
 {
     template< typename U>
     static yes_tag  test(type_wrapper<U>*, /*typename*/ is_class_helper<U>::type = 0);
@@ -41,6 +45,18 @@ struct msvc_is_class
     typedef bool_<value> type;
 };
 
+// agurt, 17/sep/04: have to check for 'is_reference' upfront to avoid ICEs in
+// complex metaprograms
+template< typename T >
+struct msvc_is_class
+    : if_<
+          is_reference<T>
+        , false_
+        , msvc_is_class_impl<T>
+        >::type
+{
+};
+
 } // namespace aux
 
 BOOST_MPL_AUX_ADL_BARRIER_NAMESPACE_CLOSE