On 10/23/2013 12:37 AM, Paolo Carlini wrote:
Hi,
"François Dumont" <frs.dum...@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
