←back to thread

The provenance memory model for C

(gustedt.wordpress.com)
224 points HexDecOctBin | 1 comments | 30 Jun 25 09:25 UTC | HN request time: 0.441s | source
Show context
gavinray ◴[30 Jun 25 12:25 UTC] No.44422412[source]▶
Also of interest to folks looking at this might be TySan, the recently-merged LLVM Type-Based Aliasing sanitizer:

https://clang.llvm.org/docs/TypeSanitizer.html

https://www.phoronix.com/news/LLVM-Merge-TySan-Type-Sanitize...

replies(2): >>44426467 #>>44430826 #
1. uecker ◴[01 Jul 25 05:21 UTC] No.44430826[source]▶
The problem might be that Clang does not even implement type-based aliasing correctly. So I assume it checks its broken rules, instead of the one specified in the C standard.