]>
Commit | Line | Data |
---|---|---|
11fdf7f2 TL |
1 | <?xml version="1.0" encoding="utf-8"?> |
2 | ||
3 | <!-- | |
4 | Copyright (C) 2008-2018 Lorenzo Caminiti | |
5 | Distributed under the Boost Software License, Version 1.0 (see accompanying | |
6 | file LICENSE_1_0.txt or a copy at http://www.boost.org/LICENSE_1_0.txt). | |
7 | See: http://www.boost.org/doc/libs/release/libs/contract/doc/html/index.html | |
8 | --> | |
9 | ||
10 | <!-- | |
11 | PLEASE VALIDATE THE XML BEFORE COMMITTING YOUR CHANGES! | |
12 | ||
13 | For example, cut-n-paste <library> tag below into main file | |
14 | "boost/status/explicit-failures-markup.xml" and validate as indicated in that | |
15 | main file. | |
16 | --> | |
17 | ||
18 | <explicit-failures-markup> | |
19 | <!-- contract --> | |
20 | <library name="contract"> | |
21 | <mark-unusable> | |
92f5a8d4 | 22 | <toolset name="clang-darwin-ubsan"/> |
11fdf7f2 | 23 | <note author="Lorenzo Caminiti"> |
92f5a8d4 TL |
24 | On this compiler, Boost.Function gives a run-time error when |
25 | calling non-nullary lambdas as used by the tests of this library | |
26 | to program contract failure handlers. | |
27 | It might still be possible to use this library on this compiler | |
28 | using default contract failure handlers or programming custom | |
29 | contract failure handlers but without using non-nullary lambdas | |
30 | (however, the authors did not confirm that). | |
11fdf7f2 TL |
31 | </note> |
32 | </mark-unusable> | |
33 | <mark-unusable> | |
92f5a8d4 TL |
34 | <toolset name="gcc-3.*"/> |
35 | <toolset name="gcc-4.*"/> | |
11fdf7f2 TL |
36 | <note author="Lorenzo Caminiti"> |
37 | Even tests that do not use C++11 lambda functions fail on this | |
38 | compiler because it incorrectly attempts an extra copy when | |
39 | objects are constructed using `boost::check c = ...`. | |
40 | This is fixed in MinGW GCC 4.3. | |
41 | </note> | |
42 | </mark-unusable> | |
43 | <mark-unusable> | |
92f5a8d4 | 44 | <toolset name="msvc-7.*"/> |
11fdf7f2 TL |
45 | <note author="Lorenzo Caminiti"> |
46 | Even tests that do not use C++11 lambda functions fail on this | |
47 | compiler because of a number of issues (Boost.Exception is not | |
48 | supported on this compiler but it is used by this library | |
49 | implementation, some aspects of `friend` and `volatile` are not | |
50 | properly implemented on this compiler, etc.). | |
51 | These specific issues are fixed in MSVC 9.0 (but only MSVC 11.0 | |
52 | has adequate lambda function support that makes this library | |
53 | actually usable). | |
54 | </note> | |
55 | </mark-unusable> | |
56 | <mark-expected-failures> | |
57 | <test name="disable-audit"/> | |
58 | <toolset name="gcc-4.9"/> | |
11fdf7f2 TL |
59 | <toolset name="clang-linux-3.6"/> |
60 | <toolset name="clang-linux-3.7"/> | |
61 | <toolset name="clang-linux-3.8"/> | |
62 | <note author="Lorenzo Caminiti"> | |
63 | This test fails on this compiler because of a bug with | |
64 | exceptions (see http://grokbase.com/t/gg/android-ndk/1656csqqtp/assertion-ttypeencoding-dw-eh-pe-absptr-unexpected-ttypeencoding-failed). | |
65 | </note> | |
66 | </mark-expected-failures> | |
67 | <mark-expected-failures> | |
68 | <test name="invariant-ifdef"/> | |
69 | <test name="specify-nothing"/> | |
70 | <toolset name="clang-linux-3.6"/> | |
71 | <toolset name="clang-linux-3.7"/> | |
72 | <toolset name="clang-linux-3.8"/> | |
73 | <note author="Lorenzo Caminiti"> | |
74 | This test fails on this compiler because of a bug in its STL | |
75 | implementation (undefined references to | |
76 | `std::ios_base::failure::failure`). | |
77 | </note> | |
78 | </mark-expected-failures> | |
79 | <mark-expected-failures> | |
80 | <test name="destructor-throwing_old"/> | |
81 | <test name="destructor-throwing_post"/> | |
82 | <test name="public_function-decl_pre_all"/> | |
83 | <test name="public_function-decl_pre_ends"/> | |
84 | <test name="public_function-smoke"/> | |
85 | <test name="public_function-throwing_post"/> | |
86 | <test name="public_function-virtual"/> | |
87 | <test name="public_function-virtual_branch"/> | |
92f5a8d4 | 88 | <toolset name="clang-linux-*~gnu++*"/> |
11fdf7f2 TL |
89 | <note author="Lorenzo Caminiti"> |
90 | This test fails because of a libcxxrt bug on Clang for FreeBSD | |
91 | which causes `std::uncaught_exception` to not work properly on | |
92 | re-throws (see https://github.com/pathscale/libcxxrt/issues/49). | |
93 | </note> | |
94 | </mark-expected-failures> | |
11fdf7f2 TL |
95 | <mark-expected-failures> |
96 | <test name="old-if_copyable"/> | |
97 | <test name="old-if_copyable_macro"/> | |
92f5a8d4 TL |
98 | <toolset name="gcc-4.6*"/> |
99 | <toolset name="gcc-4.7*"/> | |
100 | <toolset name="msvc-10.*"/> | |
101 | <toolset name="msvc-11.*"/> | |
11fdf7f2 TL |
102 | <note author="Lorenzo Caminiti"> |
103 | This test fails because this complier does not properly | |
104 | implement SFINAE giving incorrect errors on substitution | |
105 | failures for private members. | |
106 | This seems to be fixed in GCC 4.8 and MSVC 12.0. | |
107 | </note> | |
108 | </mark-expected-failures> | |
109 | <mark-expected-failures> | |
110 | <test name="public_function-protected_error"/> | |
92f5a8d4 TL |
111 | <toolset name="clang-linux-3.0~*"/> |
112 | <toolset name="gcc-4.6*"/> | |
11fdf7f2 TL |
113 | <note author="Lorenzo Caminiti"> |
114 | This test fails because SFINAE on this complier seems to not | |
115 | fail as it should when a derived class tries to call a | |
116 | protected member function on a base class object via a function | |
117 | pointer instead of via inheritance. | |
118 | This seems to be fixed in Clang 3.1, and to be specific to | |
119 | version 4.6 of GCC. | |
120 | </note> | |
121 | </mark-expected-failures> | |
122 | <mark-expected-failures> | |
123 | <test name="public_function-virtual_access_multi"/> | |
92f5a8d4 TL |
124 | <toolset name="gcc-4.6*"/> |
125 | <toolset name="gcc-4.7*"/> | |
11fdf7f2 TL |
126 | <note author="Lorenzo Caminiti"> |
127 | This test fails because this compiler seems to incorrectly check | |
128 | access level of members in base classes in a context when only | |
129 | derived class members are used. | |
130 | This seems to be fixed in GCC 4.8 (possibly related to | |
131 | https://gcc.gnu.org/bugzilla/show_bug.cgi?id=57973). | |
132 | </note> | |
133 | </mark-expected-failures> | |
11fdf7f2 TL |
134 | <mark-expected-failures> |
135 | <test name="constructor-throwing_body"/> | |
136 | <test name="destructor-decl_entry_inv_all"/> | |
137 | <test name="destructor-decl_entry_inv_ends"/> | |
138 | <test name="destructor-decl_entry_static_inv_all"/> | |
139 | <test name="destructor-decl_entry_static_inv_ends"/> | |
140 | <test name="destructor-decl_entry_static_inv_mid"/> | |
141 | <test name="destructor-decl_exit_static_inv_all"/> | |
142 | <test name="destructor-decl_exit_static_inv_ends"/> | |
143 | <test name="destructor-decl_exit_static_inv_mid"/> | |
144 | <test name="destructor-throwing_body"/> | |
145 | <test name="destructor-throwing_old"/> | |
146 | <test name="destructor-throwing_post"/> | |
147 | <test name="function-ifdef_macro"/> | |
148 | <test name="function-throwing_body"/> | |
149 | <test name="public_function-static_throwing_body"/> | |
150 | <test name="public_function-throwing_body"/> | |
151 | <test name="public_function-throwing_body_virtual"/> | |
152 | <test name="public_function-throwing_body_virtual_branch"/> | |
92f5a8d4 | 153 | <toolset name="qcc-4.7*"/> |
11fdf7f2 TL |
154 | <note author="Lorenzo Caminiti"> |
155 | This test fails because `std::unchaught_exception` seems to | |
156 | always return zero on this compiler (even if the authors could | |
157 | not find a direct reference to this possible compiler issue | |
158 | online). | |
159 | </note> | |
160 | </mark-expected-failures> | |
92f5a8d4 TL |
161 | <mark-expected-failures> |
162 | <test name="invariant-ifdef"/> | |
163 | <test name="invariant-ifdef_macro"/> | |
164 | <test name="invariant-volatile_error"/> | |
165 | <toolset name="msvc-8.*"/> | |
166 | <note author="Lorenzo Caminiti"> | |
167 | This test fails because this complier seems to dispatch calls | |
168 | incorrectly when both `const` and `const volatile` overloads | |
169 | are present (even if the authors could not find a direct | |
170 | reference to this possible compiler issue online). | |
171 | This is fixed in MSVC 9.0 (but only MSVC 11.0 has adequate | |
172 | lambda function support). | |
173 | </note> | |
174 | </mark-expected-failures> | |
11fdf7f2 TL |
175 | <mark-expected-failures> |
176 | <test name="call_if-no_equal_call_if"/> | |
92f5a8d4 | 177 | <toolset name="msvc-10.*"/> |
11fdf7f2 TL |
178 | <note author="Lorenzo Caminiti"> |
179 | This test fails because MSVC 10.0 is not able to properly deduce | |
180 | a template specialization. | |
181 | This is fixed in MSVC 11.0. | |
182 | </note> | |
183 | </mark-expected-failures> | |
184 | <mark-expected-failures> | |
185 | <test name="constructor-ifdef_macro"/> | |
186 | <test name="constructor-smoke"/> | |
92f5a8d4 | 187 | <toolset name="msvc-10.*"/> |
11fdf7f2 TL |
188 | <note author="Lorenzo Caminiti"> |
189 | This test fails because of a MSVC 10.0 bug with lambdas within | |
190 | template class initialization list. | |
191 | This can be worked around using a functor bind instead of a | |
192 | lambda, but it is fixed in MSVC 11.0. | |
193 | </note> | |
194 | </mark-expected-failures> | |
195 | <mark-expected-failures> | |
196 | <test name="destructor-smoke"/> | |
92f5a8d4 | 197 | <toolset name="msvc-10.*"/> |
11fdf7f2 TL |
198 | <note author="Lorenzo Caminiti"> |
199 | This test fails because of a MSVC 10.0 bug for which lambdas | |
200 | cannot access typedefs declared within classes. | |
201 | This can be worked around declaring typedefs outside of | |
202 | classes, but it is fixed in MSVC 11.0. | |
203 | </note> | |
204 | </mark-expected-failures> | |
205 | <mark-expected-failures> | |
206 | <test name="disable-no_post_except_lib"/> | |
207 | <test name="disable-no_post_except_unit"/> | |
208 | <test name="disable-nothing_for_pre_prog"/> | |
209 | <test name="disable-other_assertions_lib"/> | |
210 | <test name="disable-other_assertions_prog"/> | |
211 | <test name="disable-other_assertions_unit"/> | |
92f5a8d4 | 212 | <toolset name="msvc-10.*"/> |
11fdf7f2 TL |
213 | <note author="Lorenzo Caminiti"> |
214 | This test fails because of an internal MSVC 10.0 compiler bug. | |
215 | This is fixed in MSVC 11.0. | |
216 | </note> | |
217 | </mark-expected-failures> | |
11fdf7f2 TL |
218 | </library> |
219 | </explicit-failures-markup> | |
220 |