> -- budden писал(а):
> И только одна ошибка, на d:=bОчевидно, что количество ошибок будет зависеть от архитектуры и у меня здесь 5 ошибок.
Очевидно, что, в соответстии с репортом, беззнаковый тип address поглощает знаковые и беззнаковые типы меньшей и равной размерности (без потери точности ), обратное  поглощение возможно, естественно, только некоторыми типами  в соотвествии с табличкой, указанной в этом же репорте. Так для 64 битного адреса это тип size и unsigned64.
Проблема ещё в том, что на одной и той же архитектуре в разных режимах адрес может быть разной размерности и, в общем случае, вероятно, не получится сделать жесткое ограничерие без привлечения конверсии типов