Remix.run Logo
▲ Pointer Provenance in Rust vs. C++: Pointers Are Not Just Glorified Ints(sofiabelen.github.io)
35 points by sofiabelenlopez 7 days ago | 4 comments
▲afdbcreid 3 days ago | parent | next [-]

Ralf Jung's series (one of the prominent developers behind Rust's memory model and author of RustBelt) about pointers is very recommended:

https://www.ralfj.de/blog/2018/07/24/pointers-and-bytes.html

https://www.ralfj.de/blog/2020/12/14/provenance.html

https://www.ralfj.de/blog/2022/04/11/provenance-exposed.html

▲jayd16 3 days ago | parent | prev | next [-]

Does C++ pointer arithmetic invalidate this post or is there some other magic there?

▲uecker 3 days ago | parent | prev | next [-]

As far as I know, provenance is still a mess both on LLVM and GCC.

▲zkxjzmswkwl1 3 days ago | parent | prev [-]

ok but like

    int** justanint = *(int**)(some_pointer);