IAR: вопрос типа "глазам не верю" Опции

[ARV]

Неужели правда в IAR в результате такого кода

Код

volatile unsigned char v1 = 1;
volatile unsigned char  v2 = 255;
volatile unsigned char  v3 = 2;


if (v1 == (v2+v3))
   PORTB = 0;
else
   PORTB = 1;

в PORTB действительно будет выведен 0? наткнулся на тему на другом форуме - говорят, таки да...

[Rst7]

наткнулся на тему на другом форуме - говорят, таки да...

А проверить религия не позволила?

CODE

///////////////////////////////////////////////////////////////////////////////
// /
// IAR C/C++ Compiler V5.50.0.50277/W32 for Atmel AVR 20/Jan/2012 11:40:15 /
// Copyright © 1996-2010 IAR Systems AB. /
// /
// Source file = E:\AVR\TestVolatile\main.c /
// Command line = E:\AVR\TestVolatile\main.c --cpu=m128 -ms -o /
// E:\AVR\TestVolatile\Release\Obj\ -D NDEBUG -lCN /
// E:\AVR\TestVolatile\Release\List\ -lB /
// E:\AVR\TestVolatile\Release\List\ -y /
// --initializers_in_flash -s9 --no_clustering -e -I /
// D:\EWAVR-5501\avr\INC\ -I D:\EWAVR-5501\avr\INC\DLIB\ /
// --eeprom_size 4096 --dlib_config /
// D:\EWAVR-5501\avr\LIB\DLIB\dlAVR-3s-ec_mul-n.h /
// List file = E:\AVR\TestVolatile\Release\List\main.s90 /
// /
// /
///////////////////////////////////////////////////////////////////////////////

....

// 41 void foo(void)
foo:
// 42 {
// 43 if (v1 == (v2+v3))
LDS R20, v1
LDI R21, 0
LDS R18, v2
LDI R19, 0
LDS R16, v3
ADD R18, R16
ADC R19, R21
CP R20, R18
CPC R21, R19
BRNE ??foo_0
// 44 PORTB = 0;
OUT 0x18, R21
RET
// 45 else
// 46 PORTB = 1;
??foo_0:
LDI R16, 1
OUT 0x18, R16
// 47 }
RET

Integer Promotion в наличии, никаких отклонений.