From bfa2c80b6a45d94f08b6d122ed76f9fa2c8743d4 Mon Sep 17 00:00:00 2001
From: John Maddock <john@johnmaddock.co.uk>
Date: Thu, 21 Apr 2005 15:55:43 +0000
Subject: [PATCH] Added extra test for newly discovered VC7.1 bug.

[SVN r28386]
---
 test/is_base_and_derived_test.cpp | 13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/test/is_base_and_derived_test.cpp b/test/is_base_and_derived_test.cpp
index 9dffb07..844af64 100644
--- a/test/is_base_and_derived_test.cpp
+++ b/test/is_base_and_derived_test.cpp
@@ -13,6 +13,16 @@
 #  include <boost/type_traits/is_base_and_derived.hpp>
 #endif
 
+//
+// Additional tests added for VC7.1 bug, 2005/04/21
+//
+struct marker{};
+struct foo{ int x; };
+
+template<class Class,typename Type,Type Class::*PtrToMember>
+struct class_member{};
+template<class Class,typename Type,Type Class::*PtrToMember>
+struct class_member2 : public marker{};
 
 
 TT_TEST_BEGIN(is_base_and_derived)
@@ -37,6 +47,9 @@ BOOST_CHECK_INTEGRAL_CONSTANT((::tt::is_base_and_derived<VD,VB>::value), false);
 BOOST_CHECK_INTEGRAL_CONSTANT((::tt::is_base_and_derived<test_abc1,test_abc3>::value), true);
 BOOST_CHECK_INTEGRAL_CONSTANT((::tt::is_base_and_derived<test_abc3,test_abc1>::value), false);
 
+BOOST_CHECK_INTEGRAL_CONSTANT((::tt::is_base_and_derived<marker, class_member<foo,int,&foo::x> >::value), false);
+BOOST_CHECK_INTEGRAL_CONSTANT((::tt::is_base_and_derived<marker, class_member2<foo,int,&foo::x> >::value), true);
+
 TT_TEST_END