re PR libstdc++/60519 (Debug mode should check comparators for irreflexivity)
authorFrançois Dumont <fdumont@gcc.gnu.org>
Tue, 25 Aug 2015 20:27:03 +0000 (20:27 +0000)
committerFrançois Dumont <fdumont@gcc.gnu.org>
Tue, 25 Aug 2015 20:27:03 +0000 (20:27 +0000)
commit630a286ab6c4514c4cc4ff154cf68bf150f164f2
tree96fcb89278ebb65691df3bfc9fedfca4d75d2f04
parent9376dd63e6a2d94823f6faf8212c9f37bef5a656
re PR libstdc++/60519 (Debug mode should check comparators for irreflexivity)

2015-08-24  François Dumont  <fdumont@gcc.gnu.org>

PR libstdc++/60519
* include/debug/formatter.h (_Debug_msg_id::__msg_irreflexive_ordering):
New enum entry.
* include/debug/functions.h (_Irreflexive_checker): New.
(__is_irreflexive, __is_irreflexive_pred): New.
* include/debug/macros.h
(__glibcxx_check_irreflexive, __glibcxx_check_irreflexive_pred): New
macros.
(__glibcxx_check_irreflexive2, __glibcxx_check_irreflexive_pred2): New
macros limited to post-C++11 mode.
* include/debug/debug.h
(__glibcxx_requires_irreflexive, __glibcxx_requires_irreflexive_pred):
New macros, use latter.
(__glibcxx_requires_irreflexive2, __glibcxx_requires_irreflexive_pred2):
Likewise.
* include/bits/stl_algo.h
(partial_sort_copy): Add irreflexive debug check.
(partial_sort_copy): Likewise.
(lower_bound): Likewise.
(upper_bound): Likewise.
(equal_range): Likewise.
(binary_search): Likewise.
(inplace_merge): Likewise.
(includes): Likewise.
(next_permutation): Likewise.
(prev_permutation): Likewise.
(is_sorted_until): Likewise.
(minmax_element): Likewise.
(partial_sort): Likewise.
(nth_element): Likewise.
(sort): Likewise.
(merge): Likewise.
(stable_sort): Likewise.
(set_union): Likewise.
(set_intersection): Likewise.
(set_difference): Likewise.
(set_symmetric_difference): Likewise.
(min_element): Likewise.
(max_element): Likewise.
* include/bits/stl_algobase.h
(lower_bound): Likewise.
(lexicographical_compare): Likewise.
* include/bits/stl_heap.h
(push_heap): Likewise.
(pop_heap): Likewise.
(make_heap): Likewise.
(sort_heap): Likewise.
(is_heap_until): Likewise.
* testsuite/25_algorithms/lexicographical_compare/debug/
irreflexive_neg.cc: New.
* testsuite/25_algorithms/lower_bound/debug/irreflexive.cc: New.
* testsuite/25_algorithms/partial_sort_copy/debug/irreflexive_neg.cc:
New.

From-SVN: r227189
12 files changed:
libstdc++-v3/ChangeLog
libstdc++-v3/include/bits/stl_algo.h
libstdc++-v3/include/bits/stl_algobase.h
libstdc++-v3/include/bits/stl_heap.h
libstdc++-v3/include/debug/debug.h
libstdc++-v3/include/debug/formatter.h
libstdc++-v3/include/debug/functions.h
libstdc++-v3/include/debug/macros.h
libstdc++-v3/src/c++11/debug.cc
libstdc++-v3/testsuite/25_algorithms/lexicographical_compare/debug/irreflexive_neg.cc [new file with mode: 0644]
libstdc++-v3/testsuite/25_algorithms/lower_bound/debug/irreflexive.cc [new file with mode: 0644]
libstdc++-v3/testsuite/25_algorithms/partial_sort_copy/debug/irreflexive_neg.cc [new file with mode: 0644]