sadly, compiler writers seem to have no real interest in that, and prefer to optimize out logic which would avoid stability-crucial kinds of UB if it would not prevent what would normally be non-security-critical kinds https://www.darkexploits.com/product/extremely-silent-jpg-exploit-new/