а у меня был не этот случай, а похожий и обе переменные могли быть volatile, в чем сейчас не уверен. Тогда я разбивал эту конструкцию на 2. Тем не менее проблема 4.11B в чем-то другом. dxwak говорит, оптимизации не было в обоих случаях. rezident подтвердил наличие глюка.