From 554fd8c5195424bdbcabf5de30fdc183aba391bd Mon Sep 17 00:00:00 2001 From: upstream source tree Date: Sun, 15 Mar 2015 20:14:05 -0400 Subject: obtained gcc-4.6.4.tar.bz2 from upstream website; verified gcc-4.6.4.tar.bz2.sig; imported gcc-4.6.4 source tree from verified upstream tarball. downloading a git-generated archive based on the 'upstream' tag should provide you with a source tree that is binary identical to the one extracted from the above tarball. if you have obtained the source via the command 'git clone', however, do note that line-endings of files in your working directory might differ from line-endings of the respective files in the upstream repository. --- gcc/testsuite/g++.dg/template/sfinae8.C | 182 ++++++++++++++++++++++++++++++++ 1 file changed, 182 insertions(+) create mode 100644 gcc/testsuite/g++.dg/template/sfinae8.C (limited to 'gcc/testsuite/g++.dg/template/sfinae8.C') diff --git a/gcc/testsuite/g++.dg/template/sfinae8.C b/gcc/testsuite/g++.dg/template/sfinae8.C new file mode 100644 index 000000000..5ac09c6b3 --- /dev/null +++ b/gcc/testsuite/g++.dg/template/sfinae8.C @@ -0,0 +1,182 @@ +// DR 339 +// +// Test of the use of various boolean binary operators with SFINAE + +// Boilerplate helpers +typedef char yes_type; +struct no_type { char data[2]; }; + +template T create_a(); +template struct type { }; + +template struct enable_if { typedef T type; }; +template struct enable_if { }; + +#define JOIN( X, Y ) DO_JOIN( X, Y ) +#define DO_JOIN( X, Y ) DO_JOIN2(X,Y) +#define DO_JOIN2( X, Y ) X##Y + +bool accepts_bool(bool); + +#define DEFINE_BINARY_PREDICATE_TRAIT(Name,Op) \ +template \ + typename enable_if() Op create_a())), \ + yes_type>::type \ + JOIN(check_,Name)(type, type); \ + \ +no_type JOIN(check_,Name)(...); \ + \ +template \ +struct Name \ +{ \ + static const bool value = \ + (sizeof(JOIN(check_,Name)(type(), type())) == sizeof(yes_type)); \ +} + +#ifdef __GXX_EXPERIMENTAL_CXX0X__ +# define STATIC_ASSERT(Expr) static_assert(Expr, #Expr) +#else +# define STATIC_ASSERT(Expr) int JOIN(a,__LINE__)[Expr? 1 : -1] +#endif + +struct X { }; +struct Y { }; + +struct convertible_to_bool { + operator int convertible_to_bool::* (); +}; + +struct not_convertible_to_bool { }; + +// is_less_than_comparable +DEFINE_BINARY_PREDICATE_TRAIT(is_less_than_comparable,<); +bool operator<(X, X); +convertible_to_bool operator<(X, Y); +not_convertible_to_bool operator<(Y, X); + +STATIC_ASSERT((is_less_than_comparable::value)); +STATIC_ASSERT((is_less_than_comparable::value)); +STATIC_ASSERT((is_less_than_comparable::value)); +STATIC_ASSERT((is_less_than_comparable::value)); +STATIC_ASSERT((is_less_than_comparable::value)); +STATIC_ASSERT((!is_less_than_comparable::value)); +STATIC_ASSERT((!is_less_than_comparable::value)); + +// is_less_equal_comparable +DEFINE_BINARY_PREDICATE_TRAIT(is_less_equal_comparable,<=); +bool operator<=(X, X); +convertible_to_bool operator<=(X, Y); +not_convertible_to_bool operator<=(Y, X); + +STATIC_ASSERT((is_less_equal_comparable::value)); +STATIC_ASSERT((is_less_equal_comparable::value)); +STATIC_ASSERT((is_less_equal_comparable::value)); +STATIC_ASSERT((is_less_equal_comparable::value)); +STATIC_ASSERT((is_less_equal_comparable::value)); +STATIC_ASSERT((!is_less_equal_comparable::value)); +STATIC_ASSERT((!is_less_equal_comparable::value)); + +// is_greater_than_comparable +DEFINE_BINARY_PREDICATE_TRAIT(is_greater_than_comparable,>); +bool operator>(X, X); +convertible_to_bool operator>(X, Y); +not_convertible_to_bool operator>(Y, X); + +STATIC_ASSERT((is_greater_than_comparable::value)); +STATIC_ASSERT((is_greater_than_comparable::value)); +STATIC_ASSERT((is_greater_than_comparable::value)); +STATIC_ASSERT((is_greater_than_comparable::value)); +STATIC_ASSERT((is_greater_than_comparable::value)); +STATIC_ASSERT((!is_greater_than_comparable::value)); +STATIC_ASSERT((!is_greater_than_comparable::value)); + +// is_greater_equal_comparable +DEFINE_BINARY_PREDICATE_TRAIT(is_greater_equal_comparable,>=); +bool operator>=(X, X); +convertible_to_bool operator>=(X, Y); +not_convertible_to_bool operator>=(Y, X); + +STATIC_ASSERT((is_greater_equal_comparable::value)); +STATIC_ASSERT((is_greater_equal_comparable::value)); +STATIC_ASSERT((is_greater_equal_comparable::value)); +STATIC_ASSERT((is_greater_equal_comparable::value)); +STATIC_ASSERT((is_greater_equal_comparable::value)); +STATIC_ASSERT((!is_greater_equal_comparable::value)); +STATIC_ASSERT((!is_greater_equal_comparable::value)); + +// is_equality_comparable +struct Z : X { }; +DEFINE_BINARY_PREDICATE_TRAIT(is_equality_comparable,==); +bool operator==(X, X); +convertible_to_bool operator==(X, Y); +not_convertible_to_bool operator==(Y, X); + +STATIC_ASSERT((is_equality_comparable::value)); +STATIC_ASSERT((is_equality_comparable::value)); +STATIC_ASSERT((is_equality_comparable::value)); +STATIC_ASSERT((is_equality_comparable::value)); +STATIC_ASSERT((is_equality_comparable::value)); +STATIC_ASSERT((!is_equality_comparable::value)); +STATIC_ASSERT((!is_equality_comparable::value)); +STATIC_ASSERT((is_equality_comparable::value)); +STATIC_ASSERT((!is_equality_comparable::value)); +STATIC_ASSERT((!is_equality_comparable::value)); +STATIC_ASSERT((is_equality_comparable::value)); +STATIC_ASSERT((!is_equality_comparable::value)); + +// is_not_equal_comparable +DEFINE_BINARY_PREDICATE_TRAIT(is_not_equal_comparable,!=); +bool operator!=(X, X); +convertible_to_bool operator!=(X, Y); +not_convertible_to_bool operator!=(Y, X); + +STATIC_ASSERT((is_not_equal_comparable::value)); +STATIC_ASSERT((is_not_equal_comparable::value)); +STATIC_ASSERT((is_not_equal_comparable::value)); +STATIC_ASSERT((is_not_equal_comparable::value)); +STATIC_ASSERT((is_not_equal_comparable::value)); +STATIC_ASSERT((!is_not_equal_comparable::value)); +STATIC_ASSERT((!is_not_equal_comparable::value)); +STATIC_ASSERT((is_not_equal_comparable::value)); +STATIC_ASSERT((!is_not_equal_comparable::value)); +STATIC_ASSERT((!is_not_equal_comparable::value)); +STATIC_ASSERT((is_not_equal_comparable::value)); +STATIC_ASSERT((!is_not_equal_comparable::value)); + +// has_logical_and +DEFINE_BINARY_PREDICATE_TRAIT(has_logical_and,&&); +bool operator&&(X, X); +convertible_to_bool operator&&(X, Y); +not_convertible_to_bool operator&&(Y, X); + +STATIC_ASSERT((has_logical_and::value)); +STATIC_ASSERT((has_logical_and::value)); +STATIC_ASSERT((has_logical_and::value)); +STATIC_ASSERT((has_logical_and::value)); +STATIC_ASSERT((has_logical_and::value)); +STATIC_ASSERT((!has_logical_and::value)); +STATIC_ASSERT((!has_logical_and::value)); +STATIC_ASSERT((has_logical_and::value)); +STATIC_ASSERT((has_logical_and::value)); +STATIC_ASSERT((has_logical_and::value)); +STATIC_ASSERT((has_logical_and::value)); +STATIC_ASSERT((has_logical_and::value)); + +// has_logical_or +DEFINE_BINARY_PREDICATE_TRAIT(has_logical_or,||); +bool operator||(X, X); +convertible_to_bool operator||(X, Y); +not_convertible_to_bool operator||(Y, X); + +STATIC_ASSERT((has_logical_or::value)); +STATIC_ASSERT((has_logical_or::value)); +STATIC_ASSERT((has_logical_or::value)); +STATIC_ASSERT((has_logical_or::value)); +STATIC_ASSERT((has_logical_or::value)); +STATIC_ASSERT((!has_logical_or::value)); +STATIC_ASSERT((!has_logical_or::value)); +STATIC_ASSERT((has_logical_or::value)); +STATIC_ASSERT((has_logical_or::value)); +STATIC_ASSERT((has_logical_or::value)); +STATIC_ASSERT((has_logical_or::value)); +STATIC_ASSERT((has_logical_or::value)); -- cgit v1.2.3