Интересный глюк в CodeVisionAVR Опции

[DMD]

Обнаружил интересный глюк в CodeVision, целый день вчера просидел - думал во мне дело, оказалось, что нет.
Если мы делаем сдвиг и результирующее число выходит из размера 1 байта, то, почему-то, компилятор не преобразует его к int (хотя обязан по стандарту). То есть вот такой код работает непрявильно:

Код

unisigned char s = 243;
//...
unsigned int d = (unsigned int)(s << 4);  // d != 3888

а надо так делать, что глупо...

Код

unisigned char s = 243;
//...
unsigned int d = (unsigned int)(((unsigned int)s) << 4);  // d = 3888

Интересно, зачем это надо или это просто баг??..

[prottoss]

Обнаружил интересный глюк в CodeVision, целый день вчера просидел - думал во мне дело, оказалось, что нет.

Код

unisigned char s = 243;
//...
unsigned int d = (unsigned int)(s << 4);  // d != 3888

А по моему - все правилно делает компилятор:

1. Выполняется выражение в скобках - 8-бит переменная сдвигается на четыре бита влево

2. Результат преобразуется к беззнаковому целому.



А вот так:

Код

unisigned char s = 243;
//...
unsigned int d = (unsigned int)(((unsigned int)s) << 4);  // d = 3888

1. Выполняется выражение во внутренних скобках - s преобразуется к беззнаковому целому.

2. Выполняется выражение во внешних скобках - 16-бит беззнаковое целое сдвигается на четыре бита влево

3. Результат преобразуется к беззнаковому целому



Все правильно