Podle standardu C není výsledek po přetečení definován, což většinou nevadí, protože to dopadne tak, jak to spočítá železo. Problém je, že překladač může eventualitu přetečení ignorovat a některé konstrukce vynechat.
unsigned a, b;
if (a + b < a) {
// tato větev byla eliminována, protože podmínka nemůže být true.
panic();
}