New unordered containers debug check

[François Dumont]

Attached patch applied.

2012-10-16  François Dumont  <fdumont@gcc.gnu.org>

     * include/debug/formatter.h (_Debug_msg_id): Add
     __msg_bucket_index_oob.
     * include/debug/macros.h (__glibcxx_check_bucket_index): New.
     * include/debug/unordered_set (unordered_set<>::begin(size_type)):
     Add check on bucket index.
     (unordered_set<>::begin(size_type) const): Likewise.
     (unordered_set<>::cbegin(size_type) const): Likewise.
     (unordered_set<>::end(size_type)): Likewise.
     (unordered_set<>::end(size_type) const): Likewise.
     (unordered_set<>::cend(size_type) const): Likewise.
     (unordered_set<>::bucket_size(size_type)): Likewise.
     (unordered_multiset<>::begin(size_type)): Likewise.
     (unordered_multiset<>::begin(size_type) const): Likewise.
     (unordered_multiset<>::cbegin(size_type) const): Likewise.
     (unordered_multiset<>::end(size_type)): Likewise.
     (unordered_multiset<>::end(size_type) const): Likewise.
     (unordered_multiset<>::cend(size_type) const): Likewise.
     (unordered_multiset<>::bucket_size(size_type)): Likewise.
     * include/debug/unordered_map (unordered_map<>::begin(size_type)):
     Likewise.
     (unordered_map<>::begin(size_type) const): Likewise.
     (unordered_map<>::cbegin(size_type) const): Likewise.
     (unordered_map<>::end(size_type)): Likewise.
     (unordered_map<>::end(size_type) const): Likewise.
     (unordered_map<>::cend(size_type) const): Likewise.
     (unordered_map<>::bucket_size(size_type)): Likewise.
     (unordered_multimap<>::begin(size_type)): Likewise.
     (unordered_multimap<>::begin(size_type) const): Likewise.
     (unordered_multimap<>::cbegin(size_type) const): Likewise.
     (unordered_multimap<>::end(size_type)): Likewise.
     (unordered_multimap<>::end(size_type) const): Likewise.
     (unordered_multimap<>::cend(size_type) const): Likewise.
     (unordered_multimap<>::bucket_size(size_type)): Likewise.
     * testsuite/23_containers/unordered_map/debug/bucket_size_neg.cc:
     New.
     * testsuite/23_containers/unordered_map/debug/begin1_neg.cc: New.
     * testsuite/23_containers/unordered_map/debug/begin2_neg.cc: New.
     * testsuite/23_containers/unordered_map/debug/cbegin_neg.cc: New.
     * testsuite/23_containers/unordered_map/debug/end1_neg.cc: New.
     * testsuite/23_containers/unordered_map/debug/end2_neg.cc: New.
     * testsuite/23_containers/unordered_map/debug/cend_neg.cc: New.
     * testsuite/23_containers/unordered_multimap/debug/bucket_size_neg.cc:
     New.
     * testsuite/23_containers/unordered_multimap/debug/begin1_neg.cc: New.
     * testsuite/23_containers/unordered_multimap/debug/begin2_neg.cc: New.
     * testsuite/23_containers/unordered_multimap/debug/cbegin_neg.cc: New.
     * testsuite/23_containers/unordered_multimap/debug/end1_neg.cc: New.
     * testsuite/23_containers/unordered_multimap/debug/end2_neg.cc: New.
     * testsuite/23_containers/unordered_multimap/debug/cend_neg.cc: New.
     * testsuite/23_containers/unordered_set/debug/bucket_size_neg.cc:
     New.
     * testsuite/23_containers/unordered_set/debug/begin1_neg.cc: New.
     * testsuite/23_containers/unordered_set/debug/begin2_neg.cc: New.
     * testsuite/23_containers/unordered_set/debug/cbegin_neg.cc: New.
     * testsuite/23_containers/unordered_set/debug/end1_neg.cc: New.
     * testsuite/23_containers/unordered_set/debug/end2_neg.cc: New.
     * testsuite/23_containers/unordered_set/debug/cend_neg.cc: New.
     * testsuite/23_containers/unordered_multiset/debug/bucket_size_neg.cc:
     New.
     * testsuite/23_containers/unordered_multiset/debug/begin1_neg.cc: New.
     * testsuite/23_containers/unordered_multiset/debug/begin2_neg.cc: New.
     * testsuite/23_containers/unordered_multiset/debug/cbegin_neg.cc: New.
     * testsuite/23_containers/unordered_multiset/debug/end1_neg.cc: New.
     * testsuite/23_containers/unordered_multiset/debug/end2_neg.cc: New.
     * testsuite/23_containers/unordered_multiset/debug/cend_neg.cc: New.

François

On 10/16/2012 12:26 AM, Paolo Carlini wrote:
> Hi,
>
> On 10/15/2012 11:11 PM, François Dumont wrote:
>> OK to commit ?
> Looks good. In the debug.cc change I see a stray comma, though.
>
> Thanks!
> Paolo.
>

-------------- next part --------------
A non-text attachment was scrubbed...
Name: safe_unordered.patch
Type: text/x-patch
Size: 47845 bytes
Desc: not available
URL: <http://gcc.gnu.org/pipermail/libstdc++/attachments/20121016/cba68ed2/attachment.bin>