sadly, compiler writers seem to have no real interest in that, and prefer to optimize out logic which might protect against stability-essential kinds of UB if it would not avoid what would or else be non-stability-vital sorts of UB read more from developing in those same circumstances. Oracle has not commented on claims from a reputable researcher