Здравствуйте, jazzer, Вы писали:

J>int main()
J>{
J> B b;
J> A* pa = &b;
pa->>f(); //полиморфный!
J>}
J>[/ccode]
J>Здесь В замечательно обходится без виртуального деструктора и все корректно уничтожается, а 5.3.5/3 идет по градиенту.

разрушение объекта производного класса через указатель на соответствующий базовый класс

тут нет уничтожения через указатель на базовый