From: Ralf Jung Date: Sun, 16 Jul 2017 00:50:46 +0000 (-0700) Subject: typo X-Git-Url: https://git.ralfj.de/web.git/commitdiff_plain/cacb1e3d819081a19b31c0726d023f15cc34b5e2?hp=89cb4baba7a11d0d8dcbc05c587403e592355b88 typo --- diff --git a/personal/_posts/2017-07-14-undefined-behavior.md b/personal/_posts/2017-07-14-undefined-behavior.md index 732117a..1da732e 100644 --- a/personal/_posts/2017-07-14-undefined-behavior.md +++ b/personal/_posts/2017-07-14-undefined-behavior.md @@ -39,7 +39,7 @@ This could be the end of the game: No alias information, no way to verify our a ## Shifting responsibility -However, it turns out that compilers writers consider these optimizations important enough that they came up with an alternative solution: +However, it turns out that compiler writers consider these optimizations important enough that they came up with an alternative solution: Instead of having the compiler verify such assumptions, they declared the programmer responsible. For example, the C standard says that memory accesses have to happen with the right "effective type": If data was stored with a `float` pointer, it must not be read with an `int` pointer.