Get rid of move_iterator in debug checks

[François Dumont]

Hi

    I would like to restore foreign iterator check even when
move_iterator are being use. To do so I leverage on __miter_base to get
rid of move_iterator layer before running the check. I had to expose
__miter_base fallback implementation in cpp_type_traits.h to safely use
it in debug mode.

2015-07-05  François Dumont  <fdumont@gcc.gnu.org>

    * include/bits/stl_algobase.h (__miter_base): Move...
    * include/bits/cpp_type_traits.h: ...here.
    * include/debug/functions.h (__foreign_iterator_aux): Use latter.
    * testsuite/23_containers/vector/debug/insert7_neg.cc: New.

Tested undex linux x86_64.

Ok ?

François



-------------- next part --------------
A non-text attachment was scrubbed...
Name: foreign_iterator.patch
Type: text/x-patch
Size: 3343 bytes
Desc: not available
URL: <http://gcc.gnu.org/pipermail/libstdc++/attachments/20150705/3459ff82/attachment.bin>