Project

General

Profile

Bug #9606

wt-port: dynamic pointer cast is incorrectly translated

Added by Raf Pauwels 5 days ago. Updated 5 days ago.

Status:
New
Priority:
Normal
Assignee:
-
Category:
-
Target version:
Start date:
01/11/2022
Due date:
% Done:

0%

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
#2

Updated by Roel Standaert 5 days ago

  • Target version set to 4.6.2

Also available in: Atom PDF