The user must know about overflows and act accordingly. Compiler behavior may naturally change based on optimisations since it is undefined territory.