Comment by SleepyMyroslav
3 months ago
if you plan to look at pointer provenance please check recent HN discussions like this one ( https://doc.rust-lang.org/std/ptr/index.html#exposed-provena.... What is relevant for C3 is that it is likely to be exposed to open issues from LLVM and people will need practical ways to solve them.
ps Don't take my word for it. My tldr might be wrong because of my gamedev experience (like we dont ship products with GCC).
In C casting a pointer to an int and back again used to be fine. Except later people want to track the pointer to do optimizations and things went... poorly.
I feel that this is a mess better addressed once there are actual implementations that you have to use, rather than the current state where people are still working out the details.