Глюки с char-ами в MSPGCC, то ли руки кривые... Опции

[MrYuran]

Столкнулся (уже не первый раз) с неприятной особенностью MSPGCC в части работы с переменными типа char. при подсчёте контрольной суммы пакета иногда возникают сбои.

Код

static char volatile Uart0Buffer[8];
static unsigned char Csumm;
...
Csumm=1;    
for (i=0;i<6;i++)    
{        
  Csumm += ~Uart0Buffer[i];           // вычисление контр. суммы    
}    
if(!((Uart0Buffer[6]-Csumm) & 0xff))           // контр. сумма верна и вообще

Последнее условие раньше выглядело if(Uart0Buffer[6] == Csumm) и работало через раз, пока не наложил байтовую маску. Такие вот дела.

[MrYuran]

Попробовал сделать листинг objdump-ом, херь какая-то. Сплошной листинг без меток и разбивки на секции...
А ведь раньше нормально всё было...
Может, elf неправильно делается, ключи там какие добавить или чё

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

А ведь раньше нормально всё было...
Может, elf неправильно делается, ключи там какие добавить или чё

Если это под виндой, то вероятнее всего причина в этом: avr-objdump.exe -S switch not working. Мне помогло.

[MrYuran]

Мне помогло.

Не совсем понял, что помогло: поменять концы файлов или пересобрать GCC с заплаткой?
Самое интересное, что раньше-то всё было.
Взял для интереса давнишний elf, сделал листинг - всё есть. (ну кроме строк исходника).
Причём размер того эльфа превышает размер бинарника раза в 4, а мой теперешний эльф почти совпадает с бинарником. Похоже, чего-то туда недопаковалось

Может стоило так:

Да, как-то упустил unsigned... Вполне возможно, что из-за этого... То есть без старшего бита проходит, а со старшим - нет. 0хFF не проходил 100%. Тогда странно, почему маска помогла?

[msalov]

Да, как-то упустил unsigned... Вполне возможно, что из-за этого... То есть без старшего бита проходит, а со старшим - нет. 0хFF не проходил 100%. Тогда странно, почему маска помогла?

Возможно тут имеет место приведение к int при операции сравнения двух разных типов
То есть имемм

Код

(int)((signed char)0xFF) == 0xFFFF
(int)((unsigned char)0xFF) == 0x00FF

отсюда получаем что не равны. Наложение маски даёт ((0xFFFF - 0x00FF) = 0xFF00) & 0x00FF -> 0
Статья в тему: A sign of confusion, By Dan Saks

Если ошибаюсь - поправте пожалуйста.

[diper]

Возможно тут имеет место приведение к int при операции сравнения двух разных типов
То есть имемм

Код

(int)((signed char)0xFF) == 0xFFFF
(int)((unsigned char)0xFF) == 0x00FF

отсюда получаем что не равны. Наложение маски даёт ((0xFFFF - 0x00FF) = 0xFF00) & 0x00FF -> 0
Статья в тему: A sign of confusion, By Dan Saks

Если ошибаюсь - поправте пожалуйста.

Вычитание должно быть сделано в unsigned char, а уже потом быть преобразовано в int.
Что будет если убрать volatile ? Имхо компилятор при виде volatile впадает в истерику и наровит все преобразовать в int...