Pointers Are Complicated II, or: We need better language specs

Hi LLVM community,

I have written a blog post on pointer provenance that you might find interesting: Pointers Are Complicated II, or: We need better language specs. It explains the deeper problems behind LLVM issues such as #34548 or #35229. I am curious what your thoughts on this topic are. :slight_smile:

The post is also being discussed on the Rust Internals forum (link is in the post), on Reddit, and on HN (news.ycombinator DOT com/item?id=25419740)

Kind regards,
Ralf

PS: I’d put in more proper links, also for the LLVM issue tracker, but the forum won’t let me since I am a new user.