Skip to content

Avoid dynamic_cast<> if we already know the type#3610

Closed
hzeller wants to merge 1 commit intoantlr:devfrom
hzeller:20220329-avoid-dynamic-cast-when-knowing-type
Closed

Avoid dynamic_cast<> if we already know the type#3610
hzeller wants to merge 1 commit intoantlr:devfrom
hzeller:20220329-avoid-dynamic-cast-when-knowing-type

Conversation

@hzeller
Copy link
Contributor

@hzeller hzeller commented Mar 30, 2022

In that case, downCast() is sufficient.

In that case, downCast() is sufficient.

Signed-off-by: Henner Zeller <h.zeller@acm.org>
@hzeller hzeller force-pushed the 20220329-avoid-dynamic-cast-when-knowing-type branch from abadea8 to 08a3933 Compare March 30, 2022 04:42
@@ -1,11 +1,12 @@
/* Copyright (c) 2012-2017 The ANTLR Project. All rights reserved.
/* Copyright (c) 2012-2017 The ANTLR Project. All rights reserved.
Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

FYI: This is the superfluous and Byte Order Mark, that was removed while editing. This is UTF-8, not UTF-16.

@hzeller
Copy link
Contributor Author

hzeller commented Mar 30, 2022

This will be covered by #3612, closing this one.

@hzeller hzeller closed this Mar 30, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant