/explore

Click through on any links that interest you or select the planets on the right to continue exploring the Outer Web.
You are here

 stefansf.de
Type-Based Alias Analysis in C
| | gustedt.wordpress.com
The provenance memory model for C - Jens Gustedt's Blog
3.1 parsecs away

Travel
| | [The wordpress markdown inclusion does a very bad job, it seems, there have been some idiotic formatting errors. I hope that these are fixed, now.] A years-long effort led by Kayvan Memarian and Peter Sewell from Cambridge University, UK, Martin Uecker from Graz University of Technology, Austria, and myself (from ICube/Inria, France) has guided the...
| | gist.github.com
What is Strict Aliasing and Why do we Care? ยท GitHub
1.2 parsecs away

Travel
| | What is Strict Aliasing and Why do we Care? GitHub Gist: instantly share code, notes, and snippets.
| | cellperformance.beyond3d.com
Understanding Strict Aliasing - CellPerformance
1.5 parsecs away

Travel
| | [AI summary] The provided text discusses strict aliasing in C programming, particularly in the context of the C99 standard. It explains how strict aliasing rules prevent different types from referring to the same memory location, and how this affects compiler optimizations. The text also covers the use of standard integer types like uint64_t and uint32_t from the C99 stdint.h header, and emphasizes the importance of enabling strict aliasing with GCC's -fstrict-aliasing flag for performance and correctness.
| | kristerw.blogspot.com
Krister Walfridsson's old blog: C pointers are not hardware pointers
21.5 parsecs away

Travel
| Pointers in the C language are more abstract than pointers in the hardware, and the compiler may surprise developers that think that pointe...