>> что если вы полагаете "а, ничего страшного, вряд ли когда-нибудь эта
>> переменная станет неопределенной", то рано или поздно: a) это произойдет; б)
>> вы потратите уйму времени, чтобы найти причину.
> Именно так - при том уповать на то что не описано в
> стандарте и/или "а вроде работает же" чревато тем что однажды работать
> таки перестанет. При том в самом неожиданном месте.
> Достаточно вспомнить про абобу, memcpy и флеш, где странные люди зачем-то полагались
> на конкретное поведение memcpy() хотя в стандарте ничего не говорится как
> именно должен работать memcpy кроме того что он скопирует что попросили
> куда попросили.

Всё такие вумные. Если уж вдаваться в абсолютизм, то
НЕЛЬЗЯ ОБЕСПЕЧИТЬ КОРРЕКТНОСТЬ КОДА СРЕДСТВАМИ ЭТОГО ЖЕ ЯЗЫКА,
более того - даже СРЕДСТВАМИ ЭТОГО АЛФАВИТА.

Можно до усрачки проверять результат работы

if ( a > b )
   if ( a - b > 0 )
      if ( -b + a > 0 )
        if  ( asm("test" "a" "b") == 0 )
....

В каждой из выше описанных строк, нужно проверять корректность операций if, >, <, ==, -, +, ...,  
а затем проверить корректность проверки,... :)

То есть, нельзя на компьютере написать программу проверки кода, который будет работать на этом же компьютере!!!

Первым приближением к истине может быть чекер написанный на LISP/Ada/Scala под OpenVMS на Alpha или Itanium 2