> Conclusion: devirtualization optimization is so fragile, so that it's better to avoid using virtual calls in performance-critical code to be sure, that no virtual call happens.

To be fair, in C++ that has been the ruling rule of thumb for since ever.