Effective Type: Part 1
Summary
The article dives into ISO C99 effective type rules and type-based aliasing (TBAA), exploring how stores can alter the effective type and what that means for subsequent reads. It contrasts GCC and Clang behavior, discusses historical miscompilations, and highlights the ongoing tension between optimization and type safety in C compilers.