С арифмметика. Запутался приведениях типов

[AndryG]

Доброго.
Есть макрос, который генерит значение байта для 7-сегментного индикатора.

// Это уже результат его работы
buf = ((~((0‹‹0)|(0‹‹1)|(0‹‹2)|(0‹‹3)|(0‹‹4)|(0‹‹5)|(1‹‹6)|(0‹‹7))));

Пока всё работает отлично.
Теперь мне нужно 4 таких байта запихнуть в "видеопамять" unsigned long
В голове выстраивается примерно такое:

#define screen_code(a,b,c,d)  ((a‹‹24)+(b‹‹16)+(c‹‹8)+d)

И тут начинается капут. "out of range"

Доупрощал до такого куска и туплю ... как компилятор заставить собрать правильно четыре байта в длинное целое?

//ZG7_minus дает строку с примера выше (buf)

// ТУТ ВСЁ РАБОТАЕТ
  #define screen_code(a,b,c,d)  ((a‹‹24)|(b‹‹16)|(c‹‹8)|d)  
  #define SCREEN_MINUS          screen_code(255,255,255,255)

//ТУТ ПОЛУЧИЛОСЬ ЗАСТАВИТЬ РАБОТАТЬ С ПРИВЕДЕНИЕМ ТИПА
  #define screen_code(a,b,c,d)  ((a‹‹24)|(b‹‹16)|(c‹‹8)|(unsigned char)d)  
  #define SCREEN_MINUS          screen_code(255,255,255,ZG7_minus)

//А ТУТ УЖЕ НЕТ - переполнение и полный бред
  #define screen_code(a,b,c,d)  ((a‹‹24)|(b‹‹16)|(c‹‹8)|(unsigned char)d)  
  #define SCREEN_MINUS          screen_code(255,255,ZG7_minus,ZG7_minus)

[AndryG]

Научный тык показал, что при отключении инвентирования (убрать ~ в начале макроса) всё начинает работать. Как же быть!?

[testerplus]

Здесь ответ

[AndryG]

Ответ находится в приложении "преобразования типов" у К&R.

((~((0‹‹0)|(0‹‹1)|(0‹‹2)|(0‹‹3)|(0‹‹4)|(0‹‹5)|(1‹‹ 6)|(0‹‹7))))

Если убрать "~", то всё начинает работать, ибо тип результата будет char, который благополучно потом сдвигается на свое место.

При добавлении "~", результат этой строки расширяется до unsigned long и мы получаем проблему при сдвиге.

Но почему происходит расширение типа?! Ведь операнд у ~ один и не длинное целое.

Принудительное приведение типа решило проблему:
//Макрос "сборки" байта знакогенератора из определдений "бит-сегмент" и "полярность поджига" (1/0-зажечь/потушить).

#define ZG7_compile(xA,xB,xC,xD,xE,xF,xG,xP) ((unsigned char)(ZG7_inv((unsigned char)((xA‹‹ZG7_A)|(xB‹‹ZG7_B)|(xC‹‹ZG7_C)|(xD‹‹ZG7_D)|( xE‹‹ZG7_E)|(xF‹‹ZG7_F)|(xG‹‹ZG7_G)|(xP‹‹ZG7_P)))))