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