Разное определение (внутреннее) виртуальных функций

class t
{
public:
    virtual void top()
    {
        cout << 5;
    }
};
 
class tt : public t
{
public:
    void top()
    {
        if(0) cout << 5;
        else cout << 44;
    }
};

class AbsClass{
public:
  void NonVirt(){printf("AbsClass non virtual\t");}
  virtual void Virt(){printf("AbsClass Virtual\n");}
};
class SomeClass:public AbsClass{
public:
  void NonVirt(){printf("SomeClass non virtual\t");}
  virtual void Virt(){printf("SomeClass virtual\n");}
};
 
int main() {
  AbsClass *c1 = new AbsClass;
  AbsClass *c2 = new SomeClass;
  SomeClass *c3 =new SomeClass;
  c1->NonVirt(); c1->Virt(); //тут все очевидно - все методы принадлежат AbsClass
  c3->NonVirt(); c3->Virt(); //тут тоже очевидно - все методы принадлежат SomeClass
  c2->NonVirt(); c2->Virt(); //а вот тут интересно: Не-виртуальная функция из AbsClass (то есть не переписалась), а виртуальная использована из SomeClass
  delete c3;
  delete c2;
  delete c1;
}

AbsClass *c2 = new SomeClass;//Создали
delete c2;//Undefined behavior, т.к. динамический тип отличается от статического, и статический тип не имеет виртуального деструктора

delete static_cast<AbsClass *>(c2);