[Sitkin]

Действительно, при повторном вызове процедуры Val с фактическими параметрами Val(Edit2.Text, m, Cod) в параметре Cod будет
записано новое значение, которое затрёт старое. И, если в Edit1.Text была допущена синтаксическая ошибка в числе,
а в Edit2.Text нет ошибки, то Cod будет равен в конце концов нулю и логический операнд Cod<>0 будет принимать значение
"Ложь". Но в логическом выражении (Cod<>0)or(m<2)or(n<2) есть ещё два операнда. И вот они как раз оказывают влияние на значение
всего выражения. Ведь процедура Val в Вашем случае записывает преобразованные из строки числа в параметры n и m, а они как раз
фигурируют в двух других логических операндах.Так вот пусть в Edit1.Text введено fignya, а в в Edit2.Text - 5.После двух
вызовов процедуры Val на момент вычисления значения логического выражения (Cod<>0)or(m<2)or(n<2) Cod будет равен нулю, т.к.
5 - съедобное для Val значение и оно вводится вторым. Но! Во время вызова Val(Edit1.Text, n, Cod) ошибка преобразования
произошла, но параметр n НЕ останется никаким, там будет записан 0. А поскольку 0<2, то (n<2) будет иметь значение "Истина",
а значит "Истиной" будет и всё выражение (Cod<>0)or(m<2)or(n<2), т.к. связка "или". Это и заставит выполняться ветвь then.
Но! Не всё так просто. Процедура Val преобразует строковое представление числа в "обычное" число посимвольно до первого
ошибочного символа, позиция первого ошибочного символа записывается в параметр Cod. Ранее успешно записанные цифры до
первого ошибочного символа не пропадают, сохраняются в данном случае в параметре n или m. Если Edit1.Text=5к, а Edit2.Text=5,
то по Вашему коду на момент вычисления логического выражения (Cod<>0)or(m<2)or(n<2) будет: n=5, m=5, Cod=0, что даст значение
"Ложь" логическому выражению, и ветвь then выполнена не будет, т.е. сообщение не выведется, досрочного выхода не будет.
Вот почему будет возникать разное развитие событий при различных комбинациях ошибок. Замечание: если Edit1.Text=-3к, то
будет n=3. Вот такие дела). С уважением для KSN