verify_exp_test.cpp 2.8 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136
  1. //
  2. // verify_exp_test.cpp - tests BOOST_ASSERT expansion
  3. //
  4. // Copyright (c) 2014 Peter Dimov
  5. //
  6. // Distributed under the Boost Software License, Version 1.0.
  7. // See accompanying file LICENSE_1_0.txt or copy at
  8. // http://www.boost.org/LICENSE_1_0.txt
  9. //
  10. #include <boost/config.hpp>
  11. #include <boost/current_function.hpp>
  12. #include <boost/detail/lightweight_test.hpp>
  13. #include <string>
  14. // default case, !NDEBUG
  15. // BOOST_VERIFY(x) -> BOOST_ASSERT(x)
  16. #undef NDEBUG
  17. #include <boost/assert.hpp>
  18. #undef BOOST_ASSERT
  19. void test_default()
  20. {
  21. std::string v1 = BOOST_STRINGIZE(BOOST_VERIFY(x1));
  22. BOOST_TEST_EQ( v1, "BOOST_ASSERT(x1)" );
  23. }
  24. // default case, NDEBUG
  25. // BOOST_VERIFY(x) -> ((void)(x))
  26. #define NDEBUG
  27. #include <boost/assert.hpp>
  28. void test_default_ndebug()
  29. {
  30. std::string v2 = BOOST_STRINGIZE(BOOST_VERIFY(x2));
  31. BOOST_TEST_EQ( v2, "((void)(x2))" );
  32. }
  33. // BOOST_DISABLE_ASSERTS, !NDEBUG
  34. // BOOST_VERIFY(x) -> ((void)(x))
  35. #define BOOST_DISABLE_ASSERTS
  36. #undef NDEBUG
  37. #include <boost/assert.hpp>
  38. void test_disabled()
  39. {
  40. std::string v3 = BOOST_STRINGIZE(BOOST_VERIFY(x3));
  41. BOOST_TEST_EQ( v3, "((void)(x3))" );
  42. }
  43. // BOOST_DISABLE_ASSERTS, NDEBUG
  44. // BOOST_VERIFY(x) -> ((void)(x))
  45. #undef NDEBUG
  46. #include <boost/assert.hpp>
  47. void test_disabled_ndebug()
  48. {
  49. std::string v4 = BOOST_STRINGIZE(BOOST_VERIFY(x4));
  50. BOOST_TEST_EQ( v4, "((void)(x4))" );
  51. }
  52. #undef BOOST_DISABLE_ASSERTS
  53. // BOOST_ENABLE_ASSERT_HANDLER, !NDEBUG
  54. // BOOST_VERIFY(x) -> BOOST_ASSERT(x)
  55. #define BOOST_ENABLE_ASSERT_HANDLER
  56. #undef NDEBUG
  57. #include <boost/assert.hpp>
  58. #undef BOOST_ASSERT
  59. void test_handler()
  60. {
  61. std::string v5 = BOOST_STRINGIZE(BOOST_VERIFY(x5));
  62. BOOST_TEST_EQ( v5, "BOOST_ASSERT(x5)" );
  63. }
  64. #define NDEBUG
  65. #include <boost/assert.hpp>
  66. #undef BOOST_ASSERT
  67. void test_handler_ndebug()
  68. {
  69. std::string v6 = BOOST_STRINGIZE(BOOST_VERIFY(x6));
  70. BOOST_TEST_EQ( v6, "BOOST_ASSERT(x6)" );
  71. }
  72. #undef BOOST_ENABLE_ASSERT_HANDLER
  73. // BOOST_ENABLE_ASSERT_DEBUG_HANDLER, !NDEBUG
  74. // BOOST_VERIFY(x) -> BOOST_ASSERT(x)
  75. #define BOOST_ENABLE_ASSERT_DEBUG_HANDLER
  76. #undef NDEBUG
  77. #include <boost/assert.hpp>
  78. #undef BOOST_ASSERT
  79. void test_debug_handler()
  80. {
  81. std::string v7 = BOOST_STRINGIZE(BOOST_VERIFY(x7));
  82. BOOST_TEST_EQ( v7, "BOOST_ASSERT(x7)" );
  83. }
  84. // BOOST_ENABLE_ASSERT_DEBUG_HANDLER, NDEBUG
  85. // BOOST_VERIFY(x) -> ((void)(x))
  86. #define NDEBUG
  87. #include <boost/assert.hpp>
  88. void test_debug_handler_ndebug()
  89. {
  90. std::string v8 = BOOST_STRINGIZE(BOOST_VERIFY(x8));
  91. BOOST_TEST_EQ( v8, "((void)(x8))" );
  92. }
  93. #undef BOOST_ENABLE_ASSERT_DEBUG_HANDLER
  94. int main()
  95. {
  96. test_default();
  97. test_default_ndebug();
  98. test_disabled();
  99. test_disabled_ndebug();
  100. test_handler();
  101. test_handler_ndebug();
  102. test_debug_handler();
  103. test_debug_handler_ndebug();
  104. return boost::report_errors();
  105. }