diff options
Diffstat (limited to 'gcc/testsuite/g++.dg/ext/is_polymorphic.C')
-rw-r--r-- | gcc/testsuite/g++.dg/ext/is_polymorphic.C | 83 |
1 files changed, 83 insertions, 0 deletions
diff --git a/gcc/testsuite/g++.dg/ext/is_polymorphic.C b/gcc/testsuite/g++.dg/ext/is_polymorphic.C new file mode 100644 index 000000000..462e4b705 --- /dev/null +++ b/gcc/testsuite/g++.dg/ext/is_polymorphic.C @@ -0,0 +1,83 @@ +// { dg-do run } +#include <cassert> +#include <exception> + +struct A +{ + double a; + double b; +}; + +class B +{ + virtual void rotate(int) { } +}; + +class C +: public B { }; + +union U +{ + double a; + double b; +}; + +template<typename T> + bool + f() + { return __is_polymorphic(T); } + +template<typename T> + class My + { + public: + bool + f() + { return !!__is_polymorphic(T); } + }; + +template<typename T> + class My2 + { + public: + static const bool trait = __is_polymorphic(T); + }; + +template<typename T> + const bool My2<T>::trait; + +template<typename T, bool b = __is_polymorphic(T)> + struct My3_help + { static const bool trait = b; }; + +template<typename T, bool b> + const bool My3_help<T, b>::trait; + +template<typename T> + class My3 + { + public: + bool + f() + { return My3_help<T>::trait; } + }; + +#define PTEST(T) (__is_polymorphic(T) && f<T>() \ + && My<T>().f() && My2<T>::trait && My3<T>().f()) + +#define NTEST(T) (!__is_polymorphic(T) && !f<T>() \ + && !My<T>().f() && !My2<T>::trait && !My3<T>().f()) + +int main() +{ + assert (NTEST (int)); + assert (NTEST (void)); + assert (PTEST (std::exception)); + assert (NTEST (A)); + assert (PTEST (B)); + assert (PTEST (C)); + assert (NTEST (C[])); + assert (NTEST (U)); + + return 0; +} |