Actions
Bug #9606
closed
RP
wt-port: dynamic pointer cast is incorrectly translated
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
RP Updated by Raf Pauwels over 4 years ago
RS Updated by Roel Standaert over 4 years ago
- Target version set to 4.6.2
RS Updated by Roel Standaert over 4 years ago
- Status changed from New to Resolved
RS Updated by Roel Standaert over 4 years ago
- % Done changed from 0 to 100
RS Updated by Roel Standaert over 4 years ago
- Status changed from Resolved to Closed
Actions