RFR: 8328536: javac - crash on unknown type referenced in yield statement [v4]
Hannes Greule
hgreule at openjdk.org
Thu Jun 6 16:56:53 UTC 2024
> Pasting e.g.
>
> I m(I i, int x) {
> return switch (x) {
> default -> i;
> };
> }
>
> in jshell will cause a crash if `I` is not declared already. This comes down to javac not creating an error type for the value of the (implicit) yield from the switch.
>
> Javac will not crash but swallow the exception, and create a file containing the command line options.
>
> I first thought about just checking for null of the type here https://github.com/openjdk/jdk/blob/9ca4ae3d3b746f1d75036d189ff98f02b73b948f/src/jdk.compiler/share/classes/com/sun/tools/javac/comp/Attr.java#L1640 but after a closer look, the `checkIdInternal` method seems a better fit, as it also updates the type normally.
Hannes Greule has updated the pull request with a new target base due to a merge or a rebase. The pull request now contains eight commits:
- Merge branch 'master' into fix/switch-yield-unknown-type-crash
# Conflicts:
# test/langtools/tools/javac/recovery/AttrRecovery.java
- add testcase
- Don't bail out early on erroneous type, adjust tests
- Merge branch 'master' into fix/switch-yield-unknown-type-crash
- Merge branch 'master' into fix/switch-yield-unknown-type-crash
- Merge branch 'refs/heads/master' into fix/switch-yield-unknown-type-crash
- add bug id
- Fix jshell crash on unknown type in switch yield
-------------
Changes: https://git.openjdk.org/jdk/pull/18383/files
Webrev: https://webrevs.openjdk.org/?repo=jdk&pr=18383&range=03
Stats: 54 lines in 6 files changed: 47 ins; 3 del; 4 mod
Patch: https://git.openjdk.org/jdk/pull/18383.diff
Fetch: git fetch https://git.openjdk.org/jdk.git pull/18383/head:pull/18383
PR: https://git.openjdk.org/jdk/pull/18383
More information about the kulla-dev
mailing list