Project

General

Profile

Bug #9606

wt-port: dynamic pointer cast is incorrectly translated

Added by Raf Pauwels 4 months ago. Updated 2 months ago.

Status:
Closed
Priority:
Normal
Assignee:
-
Category:
-
Target version:
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

0001-Proper-dynamic-cast.patch (2.82 KB) 0001-Proper-dynamic-cast.patch Raf Pauwels, 01/11/2022 01:38 PM

Also available in: Atom PDF