diff options
author | Ben Cheng <bccheng@google.com> | 2014-03-25 22:37:19 -0700 |
---|---|---|
committer | Ben Cheng <bccheng@google.com> | 2014-03-25 22:37:19 -0700 |
commit | 1bc5aee63eb72b341f506ad058502cd0361f0d10 (patch) | |
tree | c607e8252f3405424ff15bc2d00aa38dadbb2518 /gcc-4.9/gcc/testsuite/g++.dg/ext/is_base_of.C | |
parent | 283a0bf58fcf333c58a2a92c3ebbc41fb9eb1fdb (diff) | |
download | toolchain_gcc-1bc5aee63eb72b341f506ad058502cd0361f0d10.tar.gz toolchain_gcc-1bc5aee63eb72b341f506ad058502cd0361f0d10.tar.bz2 toolchain_gcc-1bc5aee63eb72b341f506ad058502cd0361f0d10.zip |
Initial checkin of GCC 4.9.0 from trunk (r208799).
Change-Id: I48a3c08bb98542aa215912a75f03c0890e497dba
Diffstat (limited to 'gcc-4.9/gcc/testsuite/g++.dg/ext/is_base_of.C')
-rw-r--r-- | gcc-4.9/gcc/testsuite/g++.dg/ext/is_base_of.C | 94 |
1 files changed, 94 insertions, 0 deletions
diff --git a/gcc-4.9/gcc/testsuite/g++.dg/ext/is_base_of.C b/gcc-4.9/gcc/testsuite/g++.dg/ext/is_base_of.C new file mode 100644 index 000000000..8afa532e1 --- /dev/null +++ b/gcc-4.9/gcc/testsuite/g++.dg/ext/is_base_of.C @@ -0,0 +1,94 @@ +// { dg-do run } +#include <cassert> + +class A1 +{ + double a; + double b; +}; + +class A2 +{ + double a; + double b; +}; + +class B +: private A1 { }; + +class C +: private A1, private A2 { }; + +union U +{ + double a; + double b; +}; + +template<typename T, typename U> + bool + f() + { return __is_base_of(T, U); } + +template<typename T, typename U> + class My + { + public: + bool + f() + { return !!__is_base_of(T, U); } + }; + +template<typename T, typename U> + class My2 + { + public: + static const bool trait = __is_base_of(T, U); + }; + +template<typename T, typename U> + const bool My2<T, U>::trait; + +template<typename T, typename U, bool b = __is_base_of(T, U)> + struct My3_help + { static const bool trait = b; }; + +template<typename T, typename U, bool b> + const bool My3_help<T, U, b>::trait; + +template<typename T, typename U> + class My3 + { + public: + bool + f() + { return My3_help<T, U>::trait; } + }; + +#define PTEST(T, U) (__is_base_of(T, U) && f<T, U>() \ + && My<T, U>().f() && My2<T, U>::trait && My3<T, U>().f()) + +#define NTEST(T, U) (!__is_base_of(T, U) && !f<T, U>() \ + && !My<T, U>().f() && !My2<T, U>::trait && !My3<T, U>().f()) + +int main() +{ + assert (NTEST (int, A1)); + assert (NTEST (A1, void)); + assert (PTEST (A1, A1)); + assert (NTEST (A1*, A1*)); + assert (NTEST (A1&, A1&)); + assert (PTEST (A1, B)); + assert (NTEST (B, A1)); + assert (PTEST (A1, C)); + assert (PTEST (A2, C)); + assert (NTEST (C, A1)); + assert (PTEST (A1, const B)); + assert (NTEST (const B, A1)); + assert (PTEST (A1, volatile C)); + assert (PTEST (volatile A2, const C)); + assert (NTEST (const volatile C, A1)); + assert (NTEST (U, U)); + + return 0; +} |