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.
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)
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.