Sure it can. That code path has unconditional UB and thus it is not valid.
Only if there would be no side-effects. Which there are.
Only if there would be no side-effects. Which there are.