123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114 |
- //
- // assert_test2.cpp - a test for BOOST_ASSERT and NDEBUG
- //
- // Copyright (c) 2014 Peter Dimov
- //
- // 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 );
- }
- // 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 );
- }
- #undef BOOST_ENABLE_ASSERT_DEBUG_HANDLER
- int main()
- {
- test_default();
- test_default_ndebug();
- test_debug_handler();
- test_debug_handler_ndebug();
- return boost::report_errors();
- }
|