Код был от MSP430 - он не 8-и-битник. Как выполнять атомарные операции мы не обсуждали. Вы попытались нарисовать тупое __enable_interrupt/__disable_interrupt, но я Вам ни слова о том, как и в каких случаях оформляю критические секции не написал - это не было предметом обсуждения.
Выбранный Вами компилятор сделал продвижение (integer promotions), а не разрядную сетку померял и решение принял. И то, что же нужно учитывать, а что нет, это не особенности алгоритма. Мне, может и (помотрел стандарт насчёт продвижения из-за Ваших предостережений) повезло с MSP - у IAR для него unsigned int и unsigned short по сайзу равны. В AVR и ARM у меня используются unsigned int и unsigned long соответственно, потому трабла с продвижением не замечалась за невозможностью, а для MSP я просто пожадничал - типы те у меня через typedef прописаны - поправлю легко.
Предостережение насчёт продвижения принято. Остальное - нет. И линукс, и Monodevelop с компилятором тут точно ни при чём;)