Comment by leni536

No, it isn't. The line with UB has to be reached in the execution for the execution to be undefined.