Доброго дня!
Подскажите пожалуйста, как добиться от этого зверя корректной оптимизации? Что происходит - блок типа:

while(!(Key == OK)) {
...}
полностью выбрасывается компиллятором, т.к. переменная Key модифицируется в другом модуле, а тут объявлена, как external. ОК - константа.
помогает только полное отключение оптимизации.
Может быть есть какая-то хитрость, чтобы обмануть хитрого оптимизатора?

надо описать как volatile
extern volatile тип K

Как сказал KRS - надо объявить переменную Key как volatile - это говорит компилятору, что эта переменная может изменяться "неведомым" ему способом, например в другом модуле/прерывании.
И еще, может проще написать
while(Key != OK) {
...}
А то как-то сразу без поллитры не понять что хочешь...

А что, компилятор тоже без пол-литры не может понять, чего я хочу, и потому выбрасывает весь блок?
Да, кстати, действительно, объявление volatile решило проблему.

Компилятор как раз делает правильно! так и должно быть. Вот если бы вы вызывали внутри цикла функцию тогда все ок! а если в прерывании переменная меняется она должна быть volatile

А весь цикл выбросился скорее из-за того, что начальное значение перед ним присваивалось, а потом функции не вызывались и модификации не было.
Иначе бы всетки остался бесконечный цикл

Например
A=0
while (A) {
....
}
выбрасыватеся

A=1
while (A) {
....
}
делается бесконечным

но вот если вызвать не инлайн функцию
A=0
f();
while (A) {
f();
....
}
то тогда выкидывать ничего компилер не будет

или надо объявлять volatile