From: Sergey Matveev <stargrave@stargrave.org>
Date: Tue, 4 Jan 2022 10:24:08 +0000 (+0300)
Subject: Про strict aliasing в Си
X-Git-Url: http://www.git.stargrave.org/?a=commitdiff_plain;h=3f2f2ebd3ca7c13eaa4f4bdb0043032d0daeac03;p=stargrave-blog.git

Про strict aliasing в Си

https://lkml.org/lkml/2009/1/12/369
https://lkml.org/lkml/2018/6/5/769
https://danso.ca/blog/strict-aliasing/
https://habr.com/ru/post/114117/
https://bugzilla.kernel.org/show_bug.cgi?id=12597
https://bugzilla.mozilla.org/show_bug.cgi?id=1031653
https://stackoverflow.com/questions/47232954/what-does-fwrapv-do
В 153271e2a5ebe0450329c630e19ab92022d9966f упоминал про strict aliasing
и корректность использования char-ов. Торвальдс критикует в своём духе
всю эту идею aliasing-а.

А ещё они используют -fwrapv, предполагая что все архитектуры где они
собираются используют 2's complement signed числа, иначе переполнение
будет считаться UB и компилятор волен творить любую неожиданную дичь.
Только в будущих стандартах 2's complement будет стандартом и
переполнение в нём уже штатным поведением.
---