assert/test/verify_test.cpp at d6a56a90a7d884366a389a91bc461453f859f2a2 · boostorg/assert · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
//
//  verify_test.cpp - a test for BOOST_VERIFY
//
//  Copyright (c) 2002 Peter Dimov and Multi Media Ltd.
//  Copyright (c) 2007 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/core/lightweight_test.hpp>

#if defined(__GNUC__)
# pragma GCC diagnostic ignored "-Waddress"
#endif

#include <boost/assert.hpp>

int f( int & x )
{
    return ++x;
}

void test_default()
{
    int x = 1;

    BOOST_VERIFY( 1 );
    BOOST_VERIFY( x == 1 );
    BOOST_VERIFY( ++x );
    BOOST_VERIFY( f(x) );
    BOOST_VERIFY( &x );

    BOOST_TEST( x == 3 );
}

#define BOOST_DISABLE_ASSERTS
#include <boost/assert.hpp>

void test_disabled()
{
    int x = 1;

    BOOST_VERIFY( 1 );
    BOOST_VERIFY( x == 1 );
    BOOST_VERIFY( ++x );
    BOOST_VERIFY( f(x) );
    BOOST_VERIFY( &x );

    BOOST_TEST( x == 3 );

    BOOST_VERIFY( 0 );
    BOOST_VERIFY( !x );
    BOOST_VERIFY( x == 0 );
    BOOST_VERIFY( !++x );
    BOOST_VERIFY( !f(x) );

    BOOST_TEST( x == 5 );

    void * p = 0;
    BOOST_VERIFY( p );
}

#undef BOOST_DISABLE_ASSERTS

#define BOOST_ENABLE_ASSERT_HANDLER
#include <boost/assert.hpp>
#include <boost/config.hpp>
#include <boost/config/std/cstdio.hpp>

int handler_invoked = 0;

void boost::assertion_failed(char const * expr, char const * function, char const * file, long line)
{
#if !defined(BOOST_NO_STDC_NAMESPACE)
    using std::printf;
#endif

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

struct X
{
    static bool f()
    {
        BOOST_VERIFY( 0 );
        return false;
    }
};

void test_handler()
{
    int x = 1;

    BOOST_VERIFY( 1 );
    BOOST_VERIFY( x == 1 );
    BOOST_VERIFY( ++x );
    BOOST_VERIFY( f(x) );
    BOOST_VERIFY( &x );

    BOOST_TEST( x == 3 );

    BOOST_VERIFY( 0 );
    BOOST_VERIFY( !x );
    BOOST_VERIFY( x == 0 );
    BOOST_VERIFY( !++x );
    BOOST_VERIFY( !f(x) );

    BOOST_TEST( x == 5 );

    void * p = 0;
    BOOST_VERIFY( p );

    BOOST_VERIFY( X::f() );

    BOOST_TEST( handler_invoked == 8 );
}

#undef BOOST_ENABLE_ASSERT_HANDLER

int main()
{
    test_default();
    test_disabled();
    test_handler();

    return boost::report_errors();
}