Classification of undefined behavior that is not demonstrably unreachable in production:
Classes of "technically undefined" behavior that a lot of software depends on, so the supported toolchain/platform combinations wouldn't be able to get away with breaking it.
Examples: Out-of-bounds pointer created, but not dereferenced