iframe-proxy | Sunbelt Computer Software

History

118 lines (86 loc) · 2.1 KB

Raw

100

101

102

103

104

105

106

107

108

109

110

111

112

113

114

115

116

117

118

// assert_test2.cpp - a test for BOOST_ASSERT and NDEBUG

// 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 <boost/detail/lightweight_test.hpp>

#include <stdio.h>

// default case, !NDEBUG

// BOOST_ASSERT(x) -> assert(x)

#undef NDEBUG

#include <boost/assert.hpp>

void test_default()

{

int x = 1;

BOOST_ASSERT( 1 );

BOOST_ASSERT( x );

BOOST_ASSERT( x == 1 );

}

// default case, NDEBUG

// BOOST_ASSERT(x) -> assert(x)

#define NDEBUG

#include <boost/assert.hpp>

void test_default_ndebug()

{

int x = 1;

BOOST_ASSERT( 1 );

BOOST_ASSERT( x );

BOOST_ASSERT( x == 1 );

BOOST_ASSERT( 0 );

BOOST_ASSERT( !x );

BOOST_ASSERT( x == 0 );

(void)x;

}

// BOOST_ENABLE_ASSERT_DEBUG_HANDLER, !NDEBUG

// same as BOOST_ENABLE_ASSERT_HANDLER

#define BOOST_ENABLE_ASSERT_DEBUG_HANDLER

#undef NDEBUG

#include <boost/assert.hpp>

int handler_invoked = 0;

void boost::assertion_failed( char const * expr, char const * function, char const * file, long line )

{

printf( "Expression: %s\nFunction: %s\nFile: %s\nLine: %ld\n\n", expr, function, file, line );

++handler_invoked;

}

void test_debug_handler()

{

handler_invoked = 0;

int x = 1;

BOOST_ASSERT( 1 );

BOOST_ASSERT( x );

BOOST_ASSERT( x == 1 );

BOOST_ASSERT( 0 );

BOOST_ASSERT( !x );

BOOST_ASSERT( x == 0 );

BOOST_TEST( handler_invoked == 3 );

}

// BOOST_ENABLE_ASSERT_DEBUG_HANDLER, NDEBUG

// BOOST_ASSERT(x) -> ((void)0)

#define NDEBUG

#include <boost/assert.hpp>

void test_debug_handler_ndebug()

{

handler_invoked = 0;

int x = 1;

BOOST_ASSERT( 1 );

BOOST_ASSERT( x );

BOOST_ASSERT( x == 1 );

BOOST_ASSERT( 0 );

BOOST_ASSERT( !x );

BOOST_ASSERT( x == 0 );

BOOST_TEST( handler_invoked == 0 );

(void)x;

}

#undef BOOST_ENABLE_ASSERT_DEBUG_HANDLER

int main()

{

test_default();

test_default_ndebug();

test_debug_handler();

test_debug_handler_ndebug();

return boost::report_errors();

}

Sunbelt Computer Software

PL/B Language Development and Support

Navigation Menu

Uh oh!

Sunbelt Computer Software

PL/B Language Development and Support

Uh oh!

FilesExpand file tree

assert_test2.cpp

Latest commit

History

assert_test2.cpp

File metadata and controls