compare.fail.cpp (2241B)
1 //===----------------------------------------------------------------------===// 2 // 3 // The LLVM Compiler Infrastructure 4 // 5 // This file is dual licensed under the MIT and the University of Illinois Open 6 // Source Licenses. See LICENSE.TXT for details. 7 // 8 //===----------------------------------------------------------------------===// 9 10 // <array> 11 12 // bool operator==(array<T, N> const&, array<T, N> const&); 13 // bool operator!=(array<T, N> const&, array<T, N> const&); 14 // bool operator<(array<T, N> const&, array<T, N> const&); 15 // bool operator<=(array<T, N> const&, array<T, N> const&); 16 // bool operator>(array<T, N> const&, array<T, N> const&); 17 // bool operator>=(array<T, N> const&, array<T, N> const&); 18 19 20 #include <array> 21 #include <vector> 22 #include <cassert> 23 24 #include "test_macros.h" 25 26 // std::array is explicitly allowed to be initialized with A a = { init-list };. 27 // Disable the missing braces warning for this reason. 28 #include "disable_missing_braces_warning.h" 29 30 template <class Array> 31 void test_compare(const Array& LHS, const Array& RHS) { 32 typedef std::vector<typename Array::value_type> Vector; 33 const Vector LHSV(LHS.begin(), LHS.end()); 34 const Vector RHSV(RHS.begin(), RHS.end()); 35 assert((LHS == RHS) == (LHSV == RHSV)); 36 assert((LHS != RHS) == (LHSV != RHSV)); 37 assert((LHS < RHS) == (LHSV < RHSV)); 38 assert((LHS <= RHS) == (LHSV <= RHSV)); 39 assert((LHS > RHS) == (LHSV > RHSV)); 40 assert((LHS >= RHS) == (LHSV >= RHSV)); 41 } 42 43 template <int Dummy> struct NoCompare {}; 44 45 int main() 46 { 47 { 48 typedef NoCompare<0> T; 49 typedef std::array<T, 3> C; 50 C c1 = {{}}; 51 // expected-error@algorithm:* 2 {{invalid operands to binary expression}} 52 TEST_IGNORE_NODISCARD (c1 == c1); 53 TEST_IGNORE_NODISCARD (c1 < c1); 54 } 55 { 56 typedef NoCompare<1> T; 57 typedef std::array<T, 3> C; 58 C c1 = {{}}; 59 // expected-error@algorithm:* 2 {{invalid operands to binary expression}} 60 TEST_IGNORE_NODISCARD (c1 != c1); 61 TEST_IGNORE_NODISCARD (c1 > c1); 62 } 63 { 64 typedef NoCompare<2> T; 65 typedef std::array<T, 0> C; 66 C c1 = {{}}; 67 // expected-error@algorithm:* 2 {{invalid operands to binary expression}} 68 TEST_IGNORE_NODISCARD (c1 == c1); 69 TEST_IGNORE_NODISCARD (c1 < c1); 70 } 71 }