None of the examples in the article would cause UB in analogous C code. A C compiler could still optimize away the useless check itself, but that's true for eve

None of the examples in the article would cause UB in analogous C code. A C compiler could still optimize away the useless check itself, but that's true for every language.