mirror of
https://github.com/catchorg/Catch2.git
synced 2024-11-18 03:26:10 +01:00
138 lines
3.3 KiB
C++
138 lines
3.3 KiB
C++
/*
|
|
* Created by Martin on 17/02/2017.
|
|
*
|
|
* Distributed under the Boost Software License, Version 1.0. (See accompanying
|
|
* file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
|
|
*/
|
|
|
|
#include "catch.hpp"
|
|
|
|
namespace { namespace CompilationTests {
|
|
|
|
#ifndef COMPILATION_TEST_HELPERS_INCLUDED // Don't compile this more than once per TU
|
|
#define COMPILATION_TEST_HELPERS_INCLUDED
|
|
|
|
// Comparison operators can return non-booleans.
|
|
// This is unusual, but should be supported.
|
|
struct logic_t {
|
|
logic_t operator< (logic_t) const { return {}; }
|
|
logic_t operator<=(logic_t) const { return {}; }
|
|
logic_t operator> (logic_t) const { return {}; }
|
|
logic_t operator>=(logic_t) const { return {}; }
|
|
logic_t operator==(logic_t) const { return {}; }
|
|
logic_t operator!=(logic_t) const { return {}; }
|
|
explicit operator bool() const { return true; }
|
|
};
|
|
|
|
|
|
// This is a minimal example for an issue we have found in 1.7.0
|
|
struct foo {
|
|
int i;
|
|
};
|
|
|
|
template<typename T>
|
|
bool operator==(const T &val, foo f) {
|
|
return val == f.i;
|
|
}
|
|
|
|
struct Y {
|
|
uint32_t v : 1;
|
|
};
|
|
|
|
void throws_int(bool b) {
|
|
if (b) {
|
|
throw 1;
|
|
}
|
|
}
|
|
|
|
template<typename T>
|
|
bool templated_tests(T t) {
|
|
int a = 3;
|
|
REQUIRE(a == t);
|
|
CHECK(a == t);
|
|
REQUIRE_THROWS(throws_int(true));
|
|
CHECK_THROWS_AS(throws_int(true), int);
|
|
REQUIRE_NOTHROW(throws_int(false));
|
|
#ifndef CATCH_CONFIG_DISABLE_MATCHERS
|
|
REQUIRE_THAT("aaa", Catch::EndsWith("aaa"));
|
|
#endif
|
|
return true;
|
|
}
|
|
|
|
struct A {
|
|
};
|
|
|
|
std::ostream &operator<<(std::ostream &o, const A &) { return o << 0; }
|
|
|
|
struct B : private A {
|
|
bool operator==(int) const { return true; }
|
|
};
|
|
|
|
#ifdef __clang__
|
|
#pragma clang diagnostic push
|
|
#pragma clang diagnostic ignored "-Wunused-function"
|
|
#endif
|
|
#ifdef __GNUC__
|
|
// Note that because -~GCC~-, this warning cannot be silenced temporarily, by pushing diagnostic stack...
|
|
// Luckily it is firing in test files and thus can be silenced for the whole file, without losing much.
|
|
#pragma GCC diagnostic ignored "-Wunused-function"
|
|
#endif
|
|
|
|
B f();
|
|
|
|
std::ostream g();
|
|
|
|
#ifdef __clang__
|
|
#pragma clang diagnostic pop
|
|
#endif
|
|
|
|
#endif
|
|
|
|
TEST_CASE("#809") {
|
|
foo f;
|
|
f.i = 42;
|
|
REQUIRE(42 == f);
|
|
}
|
|
|
|
|
|
// ------------------------------------------------------------------
|
|
// Changes to REQUIRE_THROWS_AS made it stop working in a template in
|
|
// an unfixable way (as long as C++03 compatibility is being kept).
|
|
// To prevent these from happening in the future, this needs to compile
|
|
|
|
TEST_CASE("#833") {
|
|
REQUIRE(templated_tests<int>(3));
|
|
}
|
|
|
|
|
|
// Test containing example where original stream insertable check breaks compilation
|
|
|
|
|
|
TEST_CASE("#872") {
|
|
A dummy;
|
|
CAPTURE(dummy);
|
|
B x;
|
|
REQUIRE (x == 4);
|
|
}
|
|
|
|
|
|
TEST_CASE("#1027") {
|
|
Y y{0};
|
|
REQUIRE(y.v == 0);
|
|
REQUIRE(0 == y.v);
|
|
}
|
|
|
|
// Comparison operators can return non-booleans.
|
|
// This is unusual, but should be supported.
|
|
TEST_CASE("#1147") {
|
|
logic_t t1, t2;
|
|
REQUIRE(t1 == t2);
|
|
REQUIRE(t1 != t2);
|
|
REQUIRE(t1 < t2);
|
|
REQUIRE(t1 > t2);
|
|
REQUIRE(t1 <= t2);
|
|
REQUIRE(t1 >= t2);
|
|
}
|
|
|
|
}} // namespace CompilationTests
|