7233bce6c2
for coverity always assert even if a previous test was to fail Signed-off-by: Caolán McNamara <caolan.mcnamara@collabora.com> Change-Id: Ic48654d828a5311e043f412d9c30139e25b40262
208 lines
11 KiB
C++
208 lines
11 KiB
C++
/* -*- Mode: C++; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4; fill-column: 100 -*- */
|
|
/*
|
|
* This Source Code Form is subject to the terms of the Mozilla Public
|
|
* License, v. 2.0. If a copy of the MPL was not distributed with this
|
|
* file, You can obtain one at http://mozilla.org/MPL/2.0/.
|
|
*/
|
|
|
|
#pragma once
|
|
|
|
#include <vector>
|
|
#include <ostream>
|
|
|
|
#include "testlog.hpp"
|
|
#include <assert.h>
|
|
|
|
#include <cppunit/TestAssert.h>
|
|
|
|
inline std::ostream& operator<<(std::ostream& os, const std::vector<char>& v)
|
|
{
|
|
const std::size_t size = v.size();
|
|
if (size <= 32)
|
|
os << std::string(v.data(), size);
|
|
else
|
|
os << std::string(v.data(), 32) << "...";
|
|
|
|
return os;
|
|
}
|
|
|
|
template <typename T, typename U>
|
|
inline std::string lokFormatAssertEq(const char* expectedName, const T& expected,
|
|
const char* actualName, const U& actual)
|
|
{
|
|
std::ostringstream oss;
|
|
oss << "Expected " << actualName << " [" << std::boolalpha << (actual)
|
|
<< "] == " << expectedName << " [" << (expected) << ']';
|
|
return oss.str();
|
|
}
|
|
|
|
template <>
|
|
std::string inline lokFormatAssertEq(const char* expected_name, const std::string& expected,
|
|
const char* actual_name, const std::string& actual)
|
|
{
|
|
std::ostringstream oss;
|
|
oss << "Expected (" << expected_name << "): [";
|
|
const std::string expected_prefix = oss.str();
|
|
oss.str("");
|
|
|
|
oss << "Actual (" << actual_name << "): [";
|
|
const std::string actual_prefix = oss.str();
|
|
oss.str("");
|
|
|
|
oss << '\n';
|
|
oss << expected_prefix << expected << "]\n";
|
|
oss << actual_prefix << actual << "]\n";
|
|
|
|
auto space_count = std::max(expected_prefix.size(), actual_prefix.size());
|
|
while (--space_count > 0)
|
|
{
|
|
oss << ' ';
|
|
}
|
|
|
|
oss << '[';
|
|
|
|
const auto minSize = std::min(expected.size(), actual.size());
|
|
for (std::size_t i = 0; i < minSize; ++i)
|
|
{
|
|
oss << (expected[i] == actual[i] ? ' ' : '^');
|
|
}
|
|
|
|
const auto maxSize = std::max(expected.size(), actual.size());
|
|
for (std::size_t i = minSize; i < maxSize; ++i)
|
|
{
|
|
oss << '^';
|
|
}
|
|
|
|
oss << "]\n";
|
|
|
|
return oss.str();
|
|
}
|
|
|
|
#if defined(LOK_ABORT_ON_ASSERTION) || defined(__COVERITY__)
|
|
#define LOK_ASSERT_IMPL(X) assert(X);
|
|
#else
|
|
#define LOK_ASSERT_IMPL(X)
|
|
#endif //LOK_ABORT_ON_ASSERTION
|
|
|
|
// When enabled, assertions that pass will be logged.
|
|
// configure with --enable-logging-test-assert
|
|
#if LOK_LOG_ASSERTIONS
|
|
#define LOK_TRACE(X) \
|
|
do \
|
|
{ \
|
|
TST_LOG(X); \
|
|
} while (false)
|
|
#else
|
|
#define LOK_TRACE(X) \
|
|
do \
|
|
{ \
|
|
} while (false)
|
|
#endif
|
|
|
|
namespace test
|
|
{
|
|
namespace detail
|
|
{
|
|
/// For tests that don't have a 'failed' member.
|
|
inline constexpr bool failed() { return false; }
|
|
} // namespace detail
|
|
} // namespace test
|
|
|
|
#if !defined(__COVERITY__)
|
|
#define LOK_ASSERT_MESSAGE_PRIOR_FAILURE failed()
|
|
#else
|
|
#define LOK_ASSERT_MESSAGE_PRIOR_FAILURE false
|
|
#endif
|
|
|
|
/// Assert the truth of a condition, with a custom message.
|
|
#define LOK_ASSERT_MESSAGE_IMPL(message, condition, silent) \
|
|
do \
|
|
{ \
|
|
using namespace test::detail; \
|
|
if (!LOK_ASSERT_MESSAGE_PRIOR_FAILURE) \
|
|
{ \
|
|
if (!(condition)) \
|
|
{ \
|
|
std::ostringstream oss##__LINE__; \
|
|
oss##__LINE__ << message; \
|
|
const auto msg##__LINE__ = oss##__LINE__.str(); \
|
|
TST_LOG("ERROR: Assertion failure: " \
|
|
<< (msg##__LINE__.empty() ? "" : msg##__LINE__ + ". ") \
|
|
<< "Condition: " << (#condition)); \
|
|
LOK_ASSERT_IMPL(!#condition); /* NOLINT(misc-static-assert) */ \
|
|
CPPUNIT_ASSERT_MESSAGE((msg##__LINE__), condition); \
|
|
} \
|
|
else if (!silent) \
|
|
{ \
|
|
LOK_TRACE("PASS: " << (#condition) << " [true]"); \
|
|
} \
|
|
} \
|
|
} while (false)
|
|
|
|
/// Assert the truth of a condition, with a custom message, logging on success.
|
|
#define LOK_ASSERT_MESSAGE(message, condition) LOK_ASSERT_MESSAGE_IMPL(message, condition, false)
|
|
|
|
/// Assert the truth of a condition, with a custom message, without logging on success.
|
|
#define LOK_ASSERT_MESSAGE_SILENT(message, condition) \
|
|
LOK_ASSERT_MESSAGE_IMPL(message, condition, true)
|
|
|
|
/// Assert the truth of a condition, logging on success.
|
|
#define LOK_ASSERT(condition) LOK_ASSERT_MESSAGE_IMPL("", condition, false)
|
|
|
|
/// Assert the truth of a condition without logging on success.
|
|
#define LOK_ASSERT_SILENT(condition) LOK_ASSERT_MESSAGE_IMPL("", condition, true)
|
|
|
|
/// Assert the equality of two expressions. WARNING: Multiple evaluations!
|
|
/// Captures full expressions, but only meaningful when they have no side-effects when evaluated.
|
|
#define LOK_ASSERT_EQUAL_UNSAFE(expected, actual) \
|
|
LOK_ASSERT_EQUAL_MESSAGE_UNSAFE("", #expected, expected, #actual, actual)
|
|
|
|
/// Assert the equality of two expressions with a custom message. WARNING: Multiple evaluations!
|
|
/// Captures full expressions, but only meaningful when they have no side-effects when evaluated.
|
|
#define LOK_ASSERT_EQUAL_MESSAGE_UNSAFE(message, expected_name, expected, actual_name, actual) \
|
|
do \
|
|
{ \
|
|
using namespace test::detail; \
|
|
if (!failed() && !((expected) == (actual))) \
|
|
{ \
|
|
std::ostringstream oss##__LINE__; \
|
|
oss##__LINE__ << message; \
|
|
const auto msg##__LINE__ = oss##__LINE__.str(); \
|
|
TST_LOG("ERROR: Assertion failure: " \
|
|
<< (msg##__LINE__.empty() ? "" : msg##__LINE__ + ' ') \
|
|
<< lokFormatAssertEq(expected_name, expected, actual_name, actual)); \
|
|
LOK_ASSERT_IMPL((expected) == (actual)); \
|
|
CPPUNIT_ASSERT_EQUAL_MESSAGE(msg##__LINE__, (expected), (actual)); \
|
|
} \
|
|
} while (false)
|
|
|
|
/// Assert the equality of two expressions, and a custom message, with guaranteed single evaluation.
|
|
#define LOK_ASSERT_EQUAL_MESSAGE(MSG, EXP, ACT) \
|
|
do \
|
|
{ \
|
|
auto&& exp##__LINE__ = EXP; \
|
|
auto&& act##__LINE__ = ACT; \
|
|
if (!(exp##__LINE__ == act##__LINE__)) \
|
|
{ \
|
|
LOK_ASSERT_EQUAL_MESSAGE_UNSAFE(MSG, #EXP, exp##__LINE__, #ACT, act##__LINE__); \
|
|
} \
|
|
else \
|
|
{ \
|
|
LOK_TRACE("PASS: " << #EXP << " == " << #ACT << " == [" << act##__LINE__ << ']'); \
|
|
} \
|
|
} while (false)
|
|
|
|
/// Assert the equality of two expressions with guarantees of single evaluation.
|
|
#define LOK_ASSERT_EQUAL(EXP, ACT) LOK_ASSERT_EQUAL_MESSAGE((#EXP) << " != " << (#ACT), EXP, ACT)
|
|
|
|
/// Assert the equality of two expressions with guarantees of single evaluation.
|
|
#define LOK_ASSERT_EQUAL_STR(EXP, ACT) \
|
|
LOK_ASSERT_EQUAL_MESSAGE((#EXP) << " != " << (#ACT), Util::toString(EXP), Util::toString(ACT))
|
|
|
|
#define LOK_ASSERT_FAIL(message) \
|
|
do \
|
|
{ \
|
|
TST_LOG("ERROR: Forced failure: " << (message)); \
|
|
LOK_ASSERT_IMPL(!"Forced failure: " #message); /* NOLINT(misc-static-assert) */ \
|
|
CPPUNIT_FAIL((message)); \
|
|
} while (false)
|