Hi, I've noticed that the wrong logic is being used when performing the virtual destructor check. void CheckClass::virtualDestructor() { // This error should only be given if: // * base class doesn't have virtual destructor // * derived class has non-empty destructor // * base class is deleted // unless inconclusive in which case: // * base class has virtual members but doesn't have virtual destructor in particular this condition: * derived class has non-empty destructor It doesn't consider member...