Исходное сообщение
"Оптимизация кода компилятором может привести к появлению про..." Отправлено pavlinux, 31-Окт-13 15:21
>> что если вы полагаете "а, ничего страшного, вряд ли когда-нибудь эта >> переменная станет неопределенной", то рано или поздно: 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