why vc++ Code Analyze for may-be-null mark raise C6011 on const member function only?

Question

Here\'s the minimum example, start code analyze in visual studio 2019

#include 
class CTest
{
public:
    virtual void A() = 0;
    virtual void