catch2/tests/SelfTest/UsageTests/Condition.tests.cpp

335 lines
8.9 KiB
C++
Raw Normal View History

// Copyright Catch2 Authors
// Distributed under the Boost Software License, Version 1.0.
// (See accompanying file LICENSE.txt or copy at
// https://www.boost.org/LICENSE_1_0.txt)
// SPDX-License-Identifier: BSL-1.0
2012-08-16 19:47:41 +02:00
#ifdef __clang__
# pragma clang diagnostic push
# pragma clang diagnostic ignored "-Wpadded"
2017-11-21 15:23:30 +01:00
// Wdouble-promotion is not supported until 3.8
# if (__clang_major__ > 3) || (__clang_major__ == 3 && __clang_minor__ > 7)
# pragma clang diagnostic ignored "-Wdouble-promotion"
# endif
2012-08-16 19:47:41 +02:00
#endif
2010-11-10 00:24:00 +01:00
#include <catch2/catch_approx.hpp>
#include <catch2/catch_test_macros.hpp>
using Catch::Approx;
2010-11-10 00:24:00 +01:00
#include <string>
2011-03-15 23:41:27 +01:00
#include <limits>
2017-09-01 20:28:49 +02:00
#include <cstdint>
2010-11-10 00:24:00 +01:00
namespace {
struct TestData {
int int_seven = 7;
std::string str_hello = "hello";
float float_nine_point_one = 9.1f;
double double_pi = 3.1415926535;
};
static const char* returnsConstNull() { return nullptr; }
static char* returnsNull() { return nullptr; }
} // end unnamed namespace
// The "failing" tests all use the CHECK macro, which continues if the specific test fails.
// This allows us to see all results, even if an earlier check fails
2010-11-10 00:24:00 +01:00
// Equality tests
2017-07-13 09:29:12 +02:00
TEST_CASE( "Equality checks that should succeed" )
2010-11-10 00:24:00 +01:00
{
TestData data;
REQUIRE( data.int_seven == 7 );
REQUIRE( data.float_nine_point_one == Approx( 9.1f ) );
REQUIRE( data.double_pi == Approx( 3.1415926535 ) );
REQUIRE( data.str_hello == "hello" );
REQUIRE( "hello" == data.str_hello );
REQUIRE( data.str_hello.size() == 5 );
2010-11-10 00:24:00 +01:00
double x = 1.1 + 0.1 + 0.1;
REQUIRE( x == Approx( 1.3 ) );
2010-11-10 00:24:00 +01:00
}
TEST_CASE( "Equality checks that should fail", "[.][failing][!mayfail]" )
2010-11-10 00:24:00 +01:00
{
TestData data;
2010-11-10 00:24:00 +01:00
CHECK( data.int_seven == 6 );
CHECK( data.int_seven == 8 );
CHECK( data.int_seven == 0 );
CHECK( data.float_nine_point_one == Approx( 9.11f ) );
CHECK( data.float_nine_point_one == Approx( 9.0f ) );
2011-01-31 11:10:20 +01:00
CHECK( data.float_nine_point_one == Approx( 1 ) );
CHECK( data.float_nine_point_one == Approx( 0 ) );
2010-11-10 00:24:00 +01:00
CHECK( data.double_pi == Approx( 3.1415 ) );
CHECK( data.str_hello == "goodbye" );
CHECK( data.str_hello == "hell" );
CHECK( data.str_hello == "hello1" );
CHECK( data.str_hello.size() == 6 );
double x = 1.1 + 0.1 + 0.1;
CHECK( x == Approx( 1.301 ) );
}
// Needed to test junit reporter's handling of mayfail test cases and sections
TEST_CASE("Mayfail test case with nested sections", "[!mayfail]") {
SECTION("A") {
SECTION("1") { FAIL(); }
SECTION("2") { FAIL(); }
}
SECTION("B") {
SECTION("1") { FAIL(); }
SECTION("2") { FAIL(); }
}
}
2017-07-13 09:29:12 +02:00
TEST_CASE( "Inequality checks that should succeed" )
2010-11-10 00:24:00 +01:00
{
TestData data;
REQUIRE( data.int_seven != 6 );
REQUIRE( data.int_seven != 8 );
REQUIRE( data.float_nine_point_one != Approx( 9.11f ) );
REQUIRE( data.float_nine_point_one != Approx( 9.0f ) );
2011-01-31 11:10:20 +01:00
REQUIRE( data.float_nine_point_one != Approx( 1 ) );
REQUIRE( data.float_nine_point_one != Approx( 0 ) );
REQUIRE( data.double_pi != Approx( 3.1415 ) );
REQUIRE( data.str_hello != "goodbye" );
REQUIRE( data.str_hello != "hell" );
REQUIRE( data.str_hello != "hello1" );
REQUIRE( data.str_hello.size() != 6 );
2010-11-10 00:24:00 +01:00
}
2016-03-14 20:13:34 +01:00
TEST_CASE( "Inequality checks that should fail", "[.][failing][!shouldfail]" )
2010-11-10 00:24:00 +01:00
{
TestData data;
2010-11-10 00:24:00 +01:00
CHECK( data.int_seven != 7 );
CHECK( data.float_nine_point_one != Approx( 9.1f ) );
CHECK( data.double_pi != Approx( 3.1415926535 ) );
CHECK( data.str_hello != "hello" );
CHECK( data.str_hello.size() != 5 );
}
// Ordering comparison tests
2017-07-13 09:29:12 +02:00
TEST_CASE( "Ordering comparison checks that should succeed" )
2010-11-10 00:24:00 +01:00
{
TestData data;
REQUIRE( data.int_seven < 8 );
REQUIRE( data.int_seven > 6 );
REQUIRE( data.int_seven > 0 );
REQUIRE( data.int_seven > -1 );
2010-11-10 00:24:00 +01:00
REQUIRE( data.int_seven >= 7 );
REQUIRE( data.int_seven >= 6 );
REQUIRE( data.int_seven <= 7 );
REQUIRE( data.int_seven <= 8 );
REQUIRE( data.float_nine_point_one > 9 );
REQUIRE( data.float_nine_point_one < 10 );
REQUIRE( data.float_nine_point_one < 9.2 );
REQUIRE( data.str_hello <= "hello" );
REQUIRE( data.str_hello >= "hello" );
REQUIRE( data.str_hello < "hellp" );
REQUIRE( data.str_hello < "zebra" );
REQUIRE( data.str_hello > "hellm" );
REQUIRE( data.str_hello > "a" );
2010-11-10 00:24:00 +01:00
}
TEST_CASE( "Ordering comparison checks that should fail", "[.][failing]" )
2010-11-10 00:24:00 +01:00
{
TestData data;
2010-11-10 00:24:00 +01:00
CHECK( data.int_seven > 7 );
CHECK( data.int_seven < 7 );
CHECK( data.int_seven > 8 );
CHECK( data.int_seven < 6 );
CHECK( data.int_seven < 0 );
CHECK( data.int_seven < -1 );
CHECK( data.int_seven >= 8 );
CHECK( data.int_seven <= 6 );
2010-11-10 00:24:00 +01:00
CHECK( data.float_nine_point_one < 9 );
CHECK( data.float_nine_point_one > 10 );
CHECK( data.float_nine_point_one > 9.2 );
2010-11-10 00:24:00 +01:00
CHECK( data.str_hello > "hello" );
CHECK( data.str_hello < "hello" );
CHECK( data.str_hello > "hellp" );
CHECK( data.str_hello > "z" );
CHECK( data.str_hello < "hellm" );
CHECK( data.str_hello < "a" );
CHECK( data.str_hello >= "z" );
CHECK( data.str_hello <= "a" );
}
#ifdef __clang__
# pragma clang diagnostic pop
#endif
2011-03-09 20:45:05 +01:00
// Comparisons with int literals
2017-07-13 09:29:12 +02:00
TEST_CASE( "Comparisons with int literals don't warn when mixing signed/ unsigned" )
2011-03-09 20:45:05 +01:00
{
int i = 1;
unsigned int ui = 2;
long l = 3;
unsigned long ul = 4;
char c = 5;
unsigned char uc = 6;
2011-03-09 20:45:05 +01:00
REQUIRE( i == 1 );
REQUIRE( ui == 2 );
REQUIRE( l == 3 );
REQUIRE( ul == 4 );
REQUIRE( c == 5 );
REQUIRE( uc == 6 );
REQUIRE( 1 == i );
REQUIRE( 2 == ui );
REQUIRE( 3 == l );
REQUIRE( 4 == ul );
REQUIRE( 5 == c );
REQUIRE( 6 == uc );
2017-09-01 20:28:49 +02:00
REQUIRE( (std::numeric_limits<uint32_t>::max)() > ul );
2011-03-09 20:45:05 +01:00
}
2012-06-05 11:38:18 +02:00
// Disable warnings about sign conversions for the next two tests
// (as we are deliberately invoking them)
2013-03-21 09:58:22 +01:00
// - Currently only disabled for GCC/ LLVM. Should add VC++ too
2012-08-16 21:35:52 +02:00
#ifdef __GNUC__
2012-06-05 11:38:18 +02:00
#pragma GCC diagnostic push
#pragma GCC diagnostic ignored "-Wsign-compare"
#pragma GCC diagnostic ignored "-Wsign-conversion"
2012-08-16 21:35:52 +02:00
#endif
2013-03-25 09:46:48 +01:00
#ifdef _MSC_VER
#pragma warning(disable:4389) // '==' : signed/unsigned mismatch
#endif
2012-06-05 11:38:18 +02:00
2017-07-13 09:29:12 +02:00
TEST_CASE( "comparisons between int variables" )
{
long long_var = 1L;
unsigned char unsigned_char_var = 1;
unsigned short unsigned_short_var = 1;
unsigned int unsigned_int_var = 1;
unsigned long unsigned_long_var = 1L;
REQUIRE( long_var == unsigned_char_var );
REQUIRE( long_var == unsigned_short_var );
REQUIRE( long_var == unsigned_int_var );
REQUIRE( long_var == unsigned_long_var );
}
2017-07-13 09:29:12 +02:00
TEST_CASE( "comparisons between const int variables" )
{
const unsigned char unsigned_char_var = 1;
const unsigned short unsigned_short_var = 1;
const unsigned int unsigned_int_var = 1;
const unsigned long unsigned_long_var = 1L;
REQUIRE( unsigned_char_var == 1 );
REQUIRE( unsigned_short_var == 1 );
REQUIRE( unsigned_int_var == 1 );
REQUIRE( unsigned_long_var == 1 );
}
2017-07-13 09:29:12 +02:00
TEST_CASE( "Comparisons between unsigned ints and negative signed ints match c++ standard behaviour" )
{
CHECK( ( -1 > 2u ) );
CHECK( -1 > 2u );
CHECK( ( 2u < -1 ) );
CHECK( 2u < -1 );
const int minInt = (std::numeric_limits<int>::min)();
CHECK( ( minInt > 2u ) );
CHECK( minInt > 2u );
}
2012-06-05 11:38:18 +02:00
2017-07-13 09:29:12 +02:00
TEST_CASE( "Comparisons between ints where one side is computed" )
{
CHECK( 54 == 6*9 );
}
2012-08-16 21:35:52 +02:00
#ifdef __GNUC__
2012-06-05 11:38:18 +02:00
#pragma GCC diagnostic pop
2012-08-16 21:35:52 +02:00
#endif
2017-07-13 09:29:12 +02:00
TEST_CASE( "Pointers can be compared to null" )
{
TestData* p = nullptr;
TestData* pNULL = nullptr;
REQUIRE( p == nullptr );
REQUIRE( p == pNULL );
TestData data;
p = &data;
REQUIRE( p != nullptr );
2011-03-18 20:08:33 +01:00
const TestData* cp = p;
REQUIRE( cp != nullptr );
2011-03-18 20:08:33 +01:00
const TestData* const cpc = p;
REQUIRE( cpc != nullptr );
2011-03-18 20:08:33 +01:00
REQUIRE( returnsNull() == nullptr );
REQUIRE( returnsConstNull() == nullptr );
REQUIRE( nullptr != p );
}
2010-11-10 00:24:00 +01:00
// Not (!) tests
2010-11-10 08:59:07 +01:00
// The problem with the ! operator is that it has right-to-left associativity.
2010-12-14 10:05:51 +01:00
// This means we can't isolate it when we decompose. The simple REQUIRE( !false ) form, therefore,
2010-11-10 08:59:07 +01:00
// cannot have the operand value extracted. The test will work correctly, and the situation
// is detected and a warning issued.
// An alternative form of the macros (CHECK_FALSE and REQUIRE_FALSE) can be used instead to capture
2010-11-10 08:59:07 +01:00
// the operand value.
2017-07-13 09:29:12 +02:00
TEST_CASE( "'Not' checks that should succeed" )
2010-11-10 00:24:00 +01:00
{
bool falseValue = false;
2011-09-19 19:17:51 +02:00
REQUIRE( false == false );
REQUIRE( true == true );
REQUIRE( !false );
REQUIRE_FALSE( false );
2010-11-10 00:24:00 +01:00
REQUIRE( !falseValue );
REQUIRE_FALSE( falseValue );
2010-11-10 00:24:00 +01:00
REQUIRE( !(1 == 2) );
REQUIRE_FALSE( 1 == 2 );
2010-11-10 00:24:00 +01:00
}
TEST_CASE( "'Not' checks that should fail", "[.][failing]" )
2010-11-10 00:24:00 +01:00
{
bool trueValue = true;
2011-09-19 19:17:51 +02:00
CHECK( false != false );
CHECK( true != true );
2010-11-10 00:24:00 +01:00
CHECK( !true );
CHECK_FALSE( true );
2010-11-10 00:24:00 +01:00
CHECK( !trueValue );
CHECK_FALSE( trueValue );
2010-11-10 00:24:00 +01:00
CHECK( !(1 == 1) );
CHECK_FALSE( 1 == 1 );
2010-11-10 00:24:00 +01:00
}