Description Jakub Zytka 2011-07-15 09:26:44 EDT

Build Identifier: 20110615-0604

This bug is related to bug 326269 (esp. see https://bugs.eclipse.org/bugs/show_bug.cgi?id=326269#c18) 

Consider following code:
class A {
 public:
  virtual ~A() = 0;
};
A::~A() {};

class B : public A {
};

B b; // <- invalid codan message "The type 'B' must implement the inherited pure virtual method  'A::~A'

Compiler is obliged to provide destructor for class B, so codan shouldn't complain. 

Reproducible: Always