2017-02-07 13:32:48 +01:00
|
|
|
/*
|
|
|
|
* 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)
|
|
|
|
*/
|
|
|
|
|
2018-10-13 21:29:59 +02:00
|
|
|
#include <type_traits>
|
|
|
|
|
2018-10-13 14:43:58 +02:00
|
|
|
// Setup for #1403 -- look for global overloads of operator << for classes
|
|
|
|
// in a different namespace.
|
|
|
|
#include <ostream>
|
|
|
|
|
|
|
|
namespace foo {
|
|
|
|
struct helper_1403 {
|
|
|
|
bool operator==(helper_1403) const { return true; }
|
|
|
|
};
|
|
|
|
}
|
|
|
|
|
2019-02-23 21:06:16 +01:00
|
|
|
namespace bar {
|
|
|
|
template <typename... Ts>
|
|
|
|
struct TypeList {};
|
|
|
|
}
|
|
|
|
|
2018-10-13 14:43:58 +02:00
|
|
|
#ifdef __GNUC__
|
|
|
|
#pragma GCC diagnostic ignored "-Wmissing-declarations"
|
|
|
|
#endif
|
|
|
|
std::ostream& operator<<(std::ostream& out, foo::helper_1403 const&) {
|
|
|
|
return out << "[1403 helper]";
|
|
|
|
}
|
|
|
|
///////////////////////////////
|
2018-10-13 21:29:59 +02:00
|
|
|
|
2020-01-20 23:24:04 +01:00
|
|
|
#include <catch2/catch_test_macros.hpp>
|
2020-03-01 19:59:18 +01:00
|
|
|
#include <catch2/matchers/catch_matchers_string.hpp>
|
2017-02-07 13:32:48 +01:00
|
|
|
|
2018-04-06 11:39:40 +02:00
|
|
|
#include <cstring>
|
|
|
|
|
2017-11-15 08:48:21 +01:00
|
|
|
namespace { namespace CompilationTests {
|
2017-02-07 13:32:48 +01:00
|
|
|
|
2017-11-15 08:48:21 +01:00
|
|
|
#ifndef COMPILATION_TEST_HELPERS_INCLUDED // Don't compile this more than once per TU
|
|
|
|
#define COMPILATION_TEST_HELPERS_INCLUDED
|
2017-02-07 13:32:48 +01:00
|
|
|
|
2018-01-12 15:43:56 +01:00
|
|
|
// 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; }
|
|
|
|
};
|
|
|
|
|
|
|
|
|
2017-11-15 08:48:21 +01:00
|
|
|
// This is a minimal example for an issue we have found in 1.7.0
|
|
|
|
struct foo {
|
|
|
|
int i;
|
|
|
|
};
|
2017-02-09 12:57:01 +01:00
|
|
|
|
2017-11-15 08:48:21 +01:00
|
|
|
template<typename T>
|
|
|
|
bool operator==(const T &val, foo f) {
|
|
|
|
return val == f.i;
|
|
|
|
}
|
2017-03-23 21:11:21 +01:00
|
|
|
|
2017-11-15 08:48:21 +01:00
|
|
|
void throws_int(bool b) {
|
|
|
|
if (b) {
|
|
|
|
throw 1;
|
|
|
|
}
|
2017-02-09 12:57:01 +01:00
|
|
|
}
|
2017-11-15 08:48:21 +01:00
|
|
|
|
|
|
|
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));
|
2020-02-18 23:31:16 +01:00
|
|
|
REQUIRE_THAT("aaa", Catch::Matchers::EndsWith("aaa"));
|
2017-11-15 08:48:21 +01:00
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
|
|
|
struct A {
|
|
|
|
};
|
2017-03-23 21:11:21 +01:00
|
|
|
|
2017-11-15 08:48:21 +01:00
|
|
|
std::ostream &operator<<(std::ostream &o, const A &) { return o << 0; }
|
|
|
|
|
|
|
|
struct B : private A {
|
|
|
|
bool operator==(int) const { return true; }
|
|
|
|
};
|
2017-03-23 21:11:21 +01:00
|
|
|
|
2017-04-25 15:57:58 +02:00
|
|
|
#ifdef __clang__
|
|
|
|
#pragma clang diagnostic push
|
|
|
|
#pragma clang diagnostic ignored "-Wunused-function"
|
|
|
|
#endif
|
2017-06-05 16:59:31 +02:00
|
|
|
#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
|
2017-04-25 15:57:58 +02:00
|
|
|
|
2017-11-15 08:48:21 +01:00
|
|
|
B f();
|
2017-04-05 09:53:10 +02:00
|
|
|
|
2017-11-15 08:48:21 +01:00
|
|
|
std::ostream g();
|
2017-04-05 09:53:10 +02:00
|
|
|
|
2017-04-25 15:57:58 +02:00
|
|
|
#ifdef __clang__
|
|
|
|
#pragma clang diagnostic pop
|
|
|
|
#endif
|
2017-04-05 09:53:10 +02:00
|
|
|
|
2018-04-10 04:41:44 +02:00
|
|
|
template <typename, typename>
|
|
|
|
struct Fixture_1245 {};
|
|
|
|
|
2017-11-15 08:48:21 +01:00
|
|
|
#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);
|
|
|
|
}
|
|
|
|
|
2020-05-03 09:58:46 +02:00
|
|
|
TEST_CASE("#1027: Bitfields can be captured") {
|
|
|
|
struct Y {
|
|
|
|
uint32_t v : 1;
|
|
|
|
};
|
|
|
|
Y y{ 0 };
|
2017-11-15 08:48:21 +01:00
|
|
|
REQUIRE(y.v == 0);
|
|
|
|
REQUIRE(0 == y.v);
|
|
|
|
}
|
|
|
|
|
2018-01-12 15:43:56 +01:00
|
|
|
// 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);
|
|
|
|
}
|
|
|
|
|
2018-04-06 11:39:40 +02:00
|
|
|
// unsigned array
|
|
|
|
TEST_CASE("#1238") {
|
|
|
|
unsigned char uarr[] = "123";
|
|
|
|
CAPTURE(uarr);
|
|
|
|
signed char sarr[] = "456";
|
|
|
|
CAPTURE(sarr);
|
|
|
|
|
|
|
|
REQUIRE(std::memcmp(uarr, "123", sizeof(uarr)) == 0);
|
|
|
|
REQUIRE(std::memcmp(sarr, "456", sizeof(sarr)) == 0);
|
|
|
|
}
|
|
|
|
|
2018-04-10 04:41:44 +02:00
|
|
|
TEST_CASE_METHOD((Fixture_1245<int, int>), "#1245", "[compilation]") {
|
|
|
|
SUCCEED();
|
|
|
|
}
|
2018-10-13 21:29:59 +02:00
|
|
|
|
2018-10-13 14:43:58 +02:00
|
|
|
TEST_CASE("#1403", "[compilation]") {
|
|
|
|
::foo::helper_1403 h1, h2;
|
|
|
|
REQUIRE(h1 == h2);
|
|
|
|
}
|
2018-10-13 21:29:59 +02:00
|
|
|
|
|
|
|
TEST_CASE("Optionally static assertions", "[compilation]") {
|
|
|
|
STATIC_REQUIRE( std::is_void<void>::value );
|
|
|
|
STATIC_REQUIRE_FALSE( std::is_void<int>::value );
|
|
|
|
}
|
|
|
|
|
2019-02-23 21:06:16 +01:00
|
|
|
TEST_CASE("#1548", "[compilation]") {
|
|
|
|
using namespace bar;
|
|
|
|
REQUIRE(std::is_same<TypeList<int>, TypeList<int>>::value);
|
|
|
|
}
|
|
|
|
|
2019-08-04 13:50:25 +02:00
|
|
|
// #925
|
|
|
|
using signal_t = void (*) (void*);
|
|
|
|
|
|
|
|
struct TestClass {
|
|
|
|
signal_t testMethod_uponComplete_arg = nullptr;
|
|
|
|
};
|
2018-10-13 14:43:58 +02:00
|
|
|
|
2019-08-04 13:50:25 +02:00
|
|
|
namespace utility {
|
|
|
|
inline static void synchronizing_callback( void * ) { }
|
|
|
|
}
|
|
|
|
|
2020-03-18 20:59:25 +01:00
|
|
|
#if defined (_MSC_VER)
|
|
|
|
#pragma warning(push)
|
|
|
|
// The function pointer comparison below triggers warning because of
|
|
|
|
// calling conventions
|
|
|
|
#pragma warning(disable:4244)
|
|
|
|
#endif
|
2019-08-04 13:50:25 +02:00
|
|
|
TEST_CASE("#925: comparing function pointer to function address failed to compile", "[!nonportable]" ) {
|
|
|
|
TestClass test;
|
|
|
|
REQUIRE(utility::synchronizing_callback != test.testMethod_uponComplete_arg);
|
|
|
|
}
|
2020-03-18 20:59:25 +01:00
|
|
|
#if defined (_MSC_VER)
|
|
|
|
#pragma warning(pop)
|
|
|
|
#endif
|
2019-08-04 13:50:25 +02:00
|
|
|
|
2019-11-16 21:53:32 +01:00
|
|
|
TEST_CASE("#1319: Sections can have description (even if it is not saved", "[compilation]") {
|
|
|
|
SECTION("SectionName", "This is a long form section description") {
|
|
|
|
SUCCEED();
|
|
|
|
}
|
|
|
|
}
|
2019-08-04 13:50:25 +02:00
|
|
|
|
2020-03-19 13:32:45 +01:00
|
|
|
TEST_CASE("Lambdas in assertions") {
|
|
|
|
REQUIRE([]() { return true; }());
|
|
|
|
}
|
2019-08-04 13:50:25 +02:00
|
|
|
|
|
|
|
}} // namespace CompilationTests
|
2018-10-13 14:43:58 +02:00
|
|
|
|
2020-04-21 11:00:08 +02:00
|
|
|
namespace {
|
|
|
|
struct HasBitOperators {
|
|
|
|
int value;
|
|
|
|
|
|
|
|
friend HasBitOperators operator| (HasBitOperators lhs, HasBitOperators rhs) {
|
|
|
|
return { lhs.value | rhs.value };
|
|
|
|
}
|
|
|
|
friend HasBitOperators operator& (HasBitOperators lhs, HasBitOperators rhs) {
|
|
|
|
return { lhs.value & rhs.value };
|
|
|
|
}
|
2020-04-21 19:27:12 +02:00
|
|
|
friend HasBitOperators operator^ (HasBitOperators lhs, HasBitOperators rhs) {
|
|
|
|
return { lhs.value ^ rhs.value };
|
|
|
|
}
|
2020-04-21 11:00:08 +02:00
|
|
|
explicit operator bool() const {
|
|
|
|
return !!value;
|
|
|
|
}
|
|
|
|
|
|
|
|
friend std::ostream& operator<<(std::ostream& out, HasBitOperators val) {
|
|
|
|
out << "Val: " << val.value;
|
|
|
|
return out;
|
|
|
|
}
|
|
|
|
};
|
|
|
|
}
|
|
|
|
|
|
|
|
TEST_CASE("Assertion macros support bit operators and bool conversions", "[compilation][bitops]") {
|
|
|
|
HasBitOperators lhs{ 1 }, rhs{ 2 };
|
|
|
|
REQUIRE(lhs | rhs);
|
|
|
|
REQUIRE_FALSE(lhs & rhs);
|
|
|
|
REQUIRE(HasBitOperators{ 1 } & HasBitOperators{ 1 });
|
2020-04-21 19:27:12 +02:00
|
|
|
REQUIRE(lhs ^ rhs);
|
|
|
|
REQUIRE_FALSE(lhs ^ lhs);
|
2020-04-21 11:00:08 +02:00
|
|
|
}
|
|
|
|
|
2021-06-07 15:17:46 +02:00
|
|
|
namespace {
|
|
|
|
struct ImmovableType {
|
|
|
|
ImmovableType() = default;
|
|
|
|
|
|
|
|
ImmovableType(ImmovableType const&) = delete;
|
|
|
|
ImmovableType& operator=(ImmovableType const&) = delete;
|
|
|
|
ImmovableType(ImmovableType&&) = delete;
|
|
|
|
ImmovableType& operator=(ImmovableType&&) = delete;
|
|
|
|
|
|
|
|
friend bool operator==(ImmovableType const&, ImmovableType const&) {
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
};
|
|
|
|
}
|
|
|
|
|
|
|
|
TEST_CASE("Immovable types are supported in basic assertions", "[compilation][.approvals]") {
|
|
|
|
REQUIRE(ImmovableType{} == ImmovableType{});
|
|
|
|
}
|