Debug functions review

[Paolo Carlini]

Hi,

"François Dumont" <frs.dumont@gmail.com> ha scritto:
>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.

This is probably straightforward but I want to be sure I understand your previous message + this one: do they mean that in some cases, due to that missing 'const', we weren't catching non-dereferenceable iterators? Thus, should we also add a testcase?

Paolo