[jstimpfle]

Btw. you literally said "If a compiler determines that some statement has undefined behavior, it can treat it as unreachable".