123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220 |
- <?xml version="1.0" encoding="utf-8"?>
- <!--
- Copyright (C) 2008-2018 Lorenzo Caminiti
- Distributed under the Boost Software License, Version 1.0 (see accompanying
- file LICENSE_1_0.txt or a copy at http://www.boost.org/LICENSE_1_0.txt).
- See: http://www.boost.org/doc/libs/release/libs/contract/doc/html/index.html
- -->
- <!--
- PLEASE VALIDATE THE XML BEFORE COMMITTING YOUR CHANGES!
- For example, cut-n-paste <library> tag below into main file
- "boost/status/explicit-failures-markup.xml" and validate as indicated in that
- main file.
- -->
- <explicit-failures-markup>
- <!-- contract -->
- <library name="contract">
- <mark-unusable>
- <toolset name="clang-darwin-ubsan"/>
- <note author="Lorenzo Caminiti">
- On this compiler, Boost.Function gives a run-time error when
- calling non-nullary lambdas as used by the tests of this library
- to program contract failure handlers.
- It might still be possible to use this library on this compiler
- using default contract failure handlers or programming custom
- contract failure handlers but without using non-nullary lambdas
- (however, the authors did not confirm that).
- </note>
- </mark-unusable>
- <mark-unusable>
- <toolset name="gcc-3.*"/>
- <toolset name="gcc-4.*"/>
- <note author="Lorenzo Caminiti">
- Even tests that do not use C++11 lambda functions fail on this
- compiler because it incorrectly attempts an extra copy when
- objects are constructed using `boost::check c = ...`.
- This is fixed in MinGW GCC 4.3.
- </note>
- </mark-unusable>
- <mark-unusable>
- <toolset name="msvc-7.*"/>
- <note author="Lorenzo Caminiti">
- Even tests that do not use C++11 lambda functions fail on this
- compiler because of a number of issues (Boost.Exception is not
- supported on this compiler but it is used by this library
- implementation, some aspects of `friend` and `volatile` are not
- properly implemented on this compiler, etc.).
- These specific issues are fixed in MSVC 9.0 (but only MSVC 11.0
- has adequate lambda function support that makes this library
- actually usable).
- </note>
- </mark-unusable>
- <mark-expected-failures>
- <test name="disable-audit"/>
- <toolset name="gcc-4.9"/>
- <toolset name="clang-linux-3.6"/>
- <toolset name="clang-linux-3.7"/>
- <toolset name="clang-linux-3.8"/>
- <note author="Lorenzo Caminiti">
- This test fails on this compiler because of a bug with
- exceptions (see http://grokbase.com/t/gg/android-ndk/1656csqqtp/assertion-ttypeencoding-dw-eh-pe-absptr-unexpected-ttypeencoding-failed).
- </note>
- </mark-expected-failures>
- <mark-expected-failures>
- <test name="invariant-ifdef"/>
- <test name="specify-nothing"/>
- <toolset name="clang-linux-3.6"/>
- <toolset name="clang-linux-3.7"/>
- <toolset name="clang-linux-3.8"/>
- <note author="Lorenzo Caminiti">
- This test fails on this compiler because of a bug in its STL
- implementation (undefined references to
- `std::ios_base::failure::failure`).
- </note>
- </mark-expected-failures>
- <mark-expected-failures>
- <test name="destructor-throwing_old"/>
- <test name="destructor-throwing_post"/>
- <test name="public_function-decl_pre_all"/>
- <test name="public_function-decl_pre_ends"/>
- <test name="public_function-smoke"/>
- <test name="public_function-throwing_post"/>
- <test name="public_function-virtual"/>
- <test name="public_function-virtual_branch"/>
- <toolset name="clang-linux-*~gnu++*"/>
- <note author="Lorenzo Caminiti">
- This test fails because of a libcxxrt bug on Clang for FreeBSD
- which causes `std::uncaught_exception` to not work properly on
- re-throws (see https://github.com/pathscale/libcxxrt/issues/49).
- </note>
- </mark-expected-failures>
- <mark-expected-failures>
- <test name="old-if_copyable"/>
- <test name="old-if_copyable_macro"/>
- <toolset name="gcc-4.6*"/>
- <toolset name="gcc-4.7*"/>
- <toolset name="msvc-10.*"/>
- <toolset name="msvc-11.*"/>
- <note author="Lorenzo Caminiti">
- This test fails because this complier does not properly
- implement SFINAE giving incorrect errors on substitution
- failures for private members.
- This seems to be fixed in GCC 4.8 and MSVC 12.0.
- </note>
- </mark-expected-failures>
- <mark-expected-failures>
- <test name="public_function-protected_error"/>
- <toolset name="clang-linux-3.0~*"/>
- <toolset name="gcc-4.6*"/>
- <note author="Lorenzo Caminiti">
- This test fails because SFINAE on this complier seems to not
- fail as it should when a derived class tries to call a
- protected member function on a base class object via a function
- pointer instead of via inheritance.
- This seems to be fixed in Clang 3.1, and to be specific to
- version 4.6 of GCC.
- </note>
- </mark-expected-failures>
- <mark-expected-failures>
- <test name="public_function-virtual_access_multi"/>
- <toolset name="gcc-4.6*"/>
- <toolset name="gcc-4.7*"/>
- <note author="Lorenzo Caminiti">
- This test fails because this compiler seems to incorrectly check
- access level of members in base classes in a context when only
- derived class members are used.
- This seems to be fixed in GCC 4.8 (possibly related to
- https://gcc.gnu.org/bugzilla/show_bug.cgi?id=57973).
- </note>
- </mark-expected-failures>
- <mark-expected-failures>
- <test name="constructor-throwing_body"/>
- <test name="destructor-decl_entry_inv_all"/>
- <test name="destructor-decl_entry_inv_ends"/>
- <test name="destructor-decl_entry_static_inv_all"/>
- <test name="destructor-decl_entry_static_inv_ends"/>
- <test name="destructor-decl_entry_static_inv_mid"/>
- <test name="destructor-decl_exit_static_inv_all"/>
- <test name="destructor-decl_exit_static_inv_ends"/>
- <test name="destructor-decl_exit_static_inv_mid"/>
- <test name="destructor-throwing_body"/>
- <test name="destructor-throwing_old"/>
- <test name="destructor-throwing_post"/>
- <test name="function-ifdef_macro"/>
- <test name="function-throwing_body"/>
- <test name="public_function-static_throwing_body"/>
- <test name="public_function-throwing_body"/>
- <test name="public_function-throwing_body_virtual"/>
- <test name="public_function-throwing_body_virtual_branch"/>
- <toolset name="qcc-4.7*"/>
- <note author="Lorenzo Caminiti">
- This test fails because `std::unchaught_exception` seems to
- always return zero on this compiler (even if the authors could
- not find a direct reference to this possible compiler issue
- online).
- </note>
- </mark-expected-failures>
- <mark-expected-failures>
- <test name="invariant-ifdef"/>
- <test name="invariant-ifdef_macro"/>
- <test name="invariant-volatile_error"/>
- <toolset name="msvc-8.*"/>
- <note author="Lorenzo Caminiti">
- This test fails because this complier seems to dispatch calls
- incorrectly when both `const` and `const volatile` overloads
- are present (even if the authors could not find a direct
- reference to this possible compiler issue online).
- This is fixed in MSVC 9.0 (but only MSVC 11.0 has adequate
- lambda function support).
- </note>
- </mark-expected-failures>
- <mark-expected-failures>
- <test name="call_if-no_equal_call_if"/>
- <toolset name="msvc-10.*"/>
- <note author="Lorenzo Caminiti">
- This test fails because MSVC 10.0 is not able to properly deduce
- a template specialization.
- This is fixed in MSVC 11.0.
- </note>
- </mark-expected-failures>
- <mark-expected-failures>
- <test name="constructor-ifdef_macro"/>
- <test name="constructor-smoke"/>
- <toolset name="msvc-10.*"/>
- <note author="Lorenzo Caminiti">
- This test fails because of a MSVC 10.0 bug with lambdas within
- template class initialization list.
- This can be worked around using a functor bind instead of a
- lambda, but it is fixed in MSVC 11.0.
- </note>
- </mark-expected-failures>
- <mark-expected-failures>
- <test name="destructor-smoke"/>
- <toolset name="msvc-10.*"/>
- <note author="Lorenzo Caminiti">
- This test fails because of a MSVC 10.0 bug for which lambdas
- cannot access typedefs declared within classes.
- This can be worked around declaring typedefs outside of
- classes, but it is fixed in MSVC 11.0.
- </note>
- </mark-expected-failures>
- <mark-expected-failures>
- <test name="disable-no_post_except_lib"/>
- <test name="disable-no_post_except_unit"/>
- <test name="disable-nothing_for_pre_prog"/>
- <test name="disable-other_assertions_lib"/>
- <test name="disable-other_assertions_prog"/>
- <test name="disable-other_assertions_unit"/>
- <toolset name="msvc-10.*"/>
- <note author="Lorenzo Caminiti">
- This test fails because of an internal MSVC 10.0 compiler bug.
- This is fixed in MSVC 11.0.
- </note>
- </mark-expected-failures>
- </library>
- </explicit-failures-markup>
|