You‘re also missing that there is a chance of UB in your code base for which your compiler just assumes your original intention and will then go on to correct it