On 10/23/2013 11:22 PM, François Dumont wrote:
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.Ok, thanks. Now however I'm curious to know the story of __check_dereferenceable: dates back to when Doug added debug-mode and never used since? Any idea?
Paolo.
