Project

General

Profile

Actions
Copy link

Bug #9606

closed

wt-port: dynamic pointer cast is incorrectly translated

Added by Raf Pauwels almost 3 years ago. Updated almost 3 years ago.

Status:
Closed
Priority:
Normal
Assignee:
-
Category:
-
Target version:
4.6.2
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
Actions
Copy link
 #2

Updated by Roel Standaert almost 3 years ago

  • Target version set to 4.6.2
Actions
Copy link
 #3

Updated by Roel Standaert almost 3 years ago

  • Status changed from New to Resolved
Actions
Copy link
 #4

Updated by Roel Standaert almost 3 years ago

  • % Done changed from 0 to 100
Actions
Copy link
 #5

Updated by Roel Standaert almost 3 years ago

  • Status changed from Resolved to Closed
Actions
Copy link

Also available in: Atom PDF