Интересный глюк в 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

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

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

Да, выходит, это еще одно несоответствие стандарту этого компилятора.
Можно написать проще:

Код

unsigned int d = (unsigned int)s << 4;

[defunct]

Можно написать проще:

Код

unsigned int d = (unsigned int)s << 4;

Можно написать еще проще

Код

unsigned int d = s << 4;

зачем делать приведение типа в правой части, если в левой части и так unsigned int.

к тому же

Все операнды типа unsigned char или unsigned short преобразуются в тип unsigned int.

разумеется, такой:

Неочевидно, потому что ваш пример вообще неоткомилируется, неизвестно что такое rus

Очень странно как вы использовали этот код и не наткнулись на проблему раньше, ведь 3/4 символов, в т.ч. и цифры, были недоступными!

По теме CV согласен - фтопку этот недоинструмент.

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

Можно написать еще проще

Код

unsigned int d = s << 4;

зачем делать приведение типа в правой части, если в левой части и так unsigned int.

Если опустить integer promotion rules, которые CV не соблюдает, то в остальном в этом выражении он действует по стандарту: сначала вычисляется правая часть, потом ее результат приводится к левой части. То, что вы написали другими словами можно представить примерно так:

Код

unsigned int s = 0x1234;
unsigned long d = s << 4;

зачем делать приведение типа в правой части, если в левой части и так unsigned long.

Но меня другое плющит -- Codevision эту ошибку в упор не видит. Пф-ф!

gcc без -Wall тоже пропускает такое. В свое время тоже был удивлен, когда старые проекты, писаные в оболочке Dev-C++ стал собирать со своим рукописным makefile. Тоже решил тогда для себя "нафиг оболочку, теперь makefiles только руками".
А с -Wall gcc выдает не ошибку, а предупреждение.