Bug #9606
wt-port: dynamic pointer cast is incorrectly translated
Start date:
01/11/2022
Due date:
% Done:
100%
Estimated time:
Description
dynamic_pointer_cast is translated to a Java cast, but unlike the C++ implementation, this will throw in case it fails. The call should be guarded by an instanceof test. Used e.g. in WMenuItem.renderSelected().
Files