Modern C compilers do some very tricky things with undefined behavior. See https://blogs.msdn.microsoft.com/oldnewthing/20140627-00/?p=633 https://blogs.msdn.m

Modern C compilers do some very tricky things with undefined behavior. See https://blogs.msdn.microsoft.com/oldnewthing/20140627-00/?p=633 https://blogs.msdn.microsoft.com/oldnewthing/20140627-00/?p=... for a very detailed example. See https://blog.regehr.org/archives/1307 https://blog.regehr.org/archives/1307 for some strict aliasing examples.