Debug functions review

[François Dumont]

On 10/23/2013 12:37 AM, Paolo Carlini wrote:
>
> 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
>
     You are right, I am preparing a test case. However you have to know 
that __check_dereferenceable is simply not used for the moment. It is 
only because I have started using it for a debug mode evolution that I 
discovered the issue.

François