Предупреждение от IAR Опции

[DVF]

Почему в данной ситуации получаю предупреждение: Warning[Pa082]: undefined behavior: the order of volatile accesses is undefined in this statement?

Код

#pragma vector = TIMER1_COMPA_vect
__interrupt void TIMER1_COMPA(void)
{
  unsigned short data = (unsigned short)( (PIND & 0xF3) | ((PINB & 0x06)<<1) )
}

[Xenia]

О чем спор? Запретить выдавать Warning[Pa082] и дело с концом! Тем более что средства для блокировки нежелательных варнингов у компилятора имеются.

Кстати, старые версии IAR на такие вещи не ругались. Да и здравый смысл протестует против такого варнинга, поскольку порядок выполнения операций (precedence) в выражениях жестко определен не только в C, но и в остальных языках программирования. А раз порядок выполнения операций в выражениях определен, то как может быть так, чтобы "accesses is undefined"? Очевидно, что accesses тут тот же самый, что и у порядка выполнения операций.

Вот если бы я так написала:
if( PIND < PINB) {}
то дело другое, тут бы я, пожалуй, не стала протестовать против данного варнинга.

[Сергей Борщ]

порядок выполнения операций (precedence) в выражениях жестко определен не только в C, но и в остальных языках программирования.

Приоритет операций - да. Порядок вычисления подвыражений - нет.

то как может быть так, чтобы "accesses is undefined"?

Обращение к одной переменной может вызвать изменение другой. Например, чтение/запись UDR в любимых вами AVR сбразывает/устанавливает флаг RXC/UDRE. Не стоит огульно обвинять авторов компиляторов в глупости - часто они знают то, что вам и в голову не приходило.

Очевидно, что accesses тут тот же самый, что и у порядка выполнения операций.

Как раз таки очевидно, что access order может быть любым.