Уныленько. Попробуй потоньше.

https://github.com/rust-lang/rfcs/blob/master/text/0560-integer-overflow.md
> Implementations are permitted to check for overflow at any time (statically or dynamically). Implementations are required to at least check dynamically when debug_assert! assertions are enabled. Add a WrappingOps trait to the standard library with operations defined as wrapping on overflow for the limited number of cases where this is the desired semantics, such as hash functions.
>

Никто этого не проверяет, даже жаба которая исполняется а JVM потому как это оверхед. Это фишка ALU процессоров, некоторые умеют выставлять флаги при переполнении, некоторые нет, это все очень платформеннозависимо. И даже если процессор выставит флаг переполнения, то для его проверки нужны дополнительные инструкции с бранчингом (на случай ошибки) после каждой мат.операции. Если такую вальвацию сделать частью языка, то такой язык будет считать медленным и он с треском проиграет во всех бечмарках, даже той же java и .net.

А, это про туториал было? Вашу 20, чем они думали так туториал к "системному" языку писать?

> storage for the requested type, the execution environment shall print a diagnostic
> message and abort.

Ох, круто, так и представляю себе линуксный кернел упавший в панику с "can't allocate message for kernel". Агаблин, очень так системненько... хрустикам это дело в майнлайновой рассылке популярно объяснили, этому дону персональное объяснение требуется?

> aborting if sufficient storage cannot be provided.

Ога, в кернеле тебе это и сделать...

И еще там надо чтобы не было стандартной либы - где ей там файловую систему брать? Притащить еще либ и кода, весом в 20 раз больше основной части прошивки? Тогда и микроконтроллер придется брать дороже и навороченнее.

А чё не QNX? Тоже в своё время "влазим-на-дискетку" хвалились :)

:))) Вот и я подумал, зачем людям в 21 веке дискетка! Ну точно куда-то вставляют! :))))
Строго говоря, размер компилера не имеет значения. Если LLVM позволяет таргетить под целую кучу платформ, да путь он хоть терабайт ест!! Лишь бы выходящие программы были маленькие и шустрые.

Ой, типа мы с Вами порой клоунами не оказываемся.  Не мните шибко много :)

PS: в @e2k_chat нарисовался человек, отнёсший D на e2k, пока некоторые разглагольствовали.

Так то вернуть struct я и из сей могу, но вот элегантно вернуть парочку независимых int'ов или там чего еще? Или даже небольшой массив? Ну то-есть симметрирование входа и выхода функций, чтобы более-менее равноправно было. Типа return (u32) nread, (u16) errcode, extra[10]? В допушении что прототип заявлен на возврат вот этого. Некоторые что-то сравнимое вроде могут. На сях это при желании struct делается, но не очнь удобно.

Просто сишники имеют обыкновение использовать пойнтеры на ВХОД функции для возврата сложных конструкций. Это криво хотя-бы потому что из этой декларации не очевидно реальное намерение программера - использование входа для декларации выхода все же криво.

Но QBE, насколько я понял, умеет возвращать только int или указатель.

Т.е. классическое опеннетное "нельзя, но потому что уже и не очень нужно - не считается!".

> А адресонезависимый код - какого черта? Это все компилеры давно умеют, -fpic
> и сотоварищи и компилер сам его сделает. Хотя возможны нюансы, но все же.

Оно перестало требовать, как минимум, _валидную_ таблицу офсетов (global offset table) для "адресонезависимости"?

UEFI это 64 бита, где регистр стека называется RSP, а не ESP, как в IA32. При чём тут регистр стека? Точно, ни при чём, его ведь дядя настроил за более современного программиста. В каком месте оно на накопителе записано - вот это важно!

...что более чем вторая половина в этом аспекте: http://mjg59.dreamwidth.org/4957.html :]

Я душу лошадей, а не придумываю.
Хотите пример говнокода на Питоне?
ПО для 3D принтеров - Cura.
Ладно хоть исходник с прогой идет и читаем.
А то, ПО в бинарниках не всякое излечимо.

Вы-то как раз сидите крепко на пляшке non-free platforms. Чем дальше, тем глубже.