RFR: 8335274: SwitchBootstraps.ResolvedEnumLabels.resolvedEnum should be final

Jan Lahoda jlahoda at openjdk.org
Fri Jun 28 08:43:20 UTC 2024


On Thu, 27 Jun 2024 19:30:34 GMT, Aleksey Shipilev <shade at openjdk.org> wrote:

> I was auditing the current uses of `@Stable` before relaxing its barriers ([JDK-8333791](https://bugs.openjdk.org/browse/JDK-8333791)), and this is an easy spot. 
> 
> `resolvedEnum` is not `final`. So technically publishing the object via data race can show `resolvedEnum` as `null`, which would break `test()` that does not expect it. Currently not a practical problem since its safety is covered by adjacent `final` fields, but should be more precise.

Looks good to me.

Marked as reviewed by jlahoda (Reviewer).

-------------

PR Review: https://git.openjdk.org/jdk/pull/19933#pullrequestreview-2147390630
PR Review: https://git.openjdk.org/jdk/pull/19933#pullrequestreview-2147390890


More information about the core-libs-dev mailing list