Link-Time Optimization of Dynamic Casts in C++ Programs. - Xufan Lu; Nuno P. Lopes (Proc. ACM Program. Lang., 2025)