Debug functions review

[François Dumont]

Hi

     Here is a patch to clean up a little some debug functions. I got 
rid of the __check_singular_aux, simply playing with __check_singular 
overloads was enough. I also added the missing __check_dereferenceable 
for safe local iterators.

2013-10-22  François Dumont <fdumont@gcc.gnu.org>

     * include/debug/formatter.h (__check_singular): Add const on
     iterator reference.
     * include/debug/functions.h (__check_singular_aux): Delete.
     (__check_singular(const _Ite&)): Add const on iterator reference.
     (__check_singular(const _Safe_iterator<_Ite, _Seq>&)): Delete.
     (__check_dereferenceable(const _Ite&)): Add const on iterator
     reference.
     (__check_dereferenceable(const _Safe_local_iterator<>&)): New.
     * include/debug/safe_iterator.h (__check_singular_aux): Delete.
     (__check_singular(const _Safe_iterator_base&)): New.

Tested under Linux x86_64 debug mode.

Ok to commit ?

François

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