-
Notifications
You must be signed in to change notification settings - Fork 1.1k
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Propagate sideways conversions after an instance-of + if-eq/if-eqz
Previously, we only propagated the conversion if it was a narrowing conversion, to avoid problems that can occur with member access with widening conversions. However, it should be safe to do the conversion for a "sideways" conversion - one that is neither widening or narrowing. This can happen if we don't yet have full knowledge of the register types, or, less likely, if the "true" branch is impossible to reach. In the first case, we should get better type info as we continue to analyze the method, and we'll revisit the conversion once we have better type info. Or, if it really is an impossible conversion, we still want to propagate the type from the instance-of to the true branch.
- Loading branch information
1 parent
adb1235
commit 1a83d5a
Showing
2 changed files
with
16 additions
and
9 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters