Right, because you can get to the end of a non-void function without producing a value. The pointer comparison isn't necessarily UB.