Yes, but there is more to it: The compiler may assume that UB will never happen intentionally and optimize out the branch containing UB.