Compiler an der Wirklichkeit vorbei gebaut?

Ganz ehrlich, mir sträubt sich da das Haupthaar. Warum kann ein
Compiler von dem Nichtvorhandensein von Überläufen ausgehen? Das hat
keinen Nutzen, sehr wohl aber Schaden->kriminell. Der C-Standard ist
kriminell.