On Thu, 10 Oct 2024 08:23:42 GMT, Julian Waters <jwat...@openjdk.org> wrote:
> I do wonder why the header both here and inside HotSpot is named ub.h instead > of ubsan.h. Latter sounds better to me, but it doesn't really matter much I agree it would have probably been better from the start, but at this point consistency with hotspot is more important. ------------- PR Comment: https://git.openjdk.org/jdk/pull/21184#issuecomment-2407508806