Beingessner: Rust's Unsafe Pointer Types Need An Overhaul

Posted Mar 23, 2022 4:11 UTC (Wed) by marcH (subscriber, #57642)
In reply to: Beingessner: Rust's Unsafe Pointer Types Need An Overhaul by wtarreau
Parent article: Beingessner: Rust's Unsafe Pointer Types Need An Overhaul

I don't see much in this thread that wasn't already on https://en.wikipedia.org/wiki/Restrict (and probably elsewhere) but if you do then please go and edit that page.

Beingessner: Rust's Unsafe Pointer Types Need An Overhaul

Posted Mar 23, 2022 10:34 UTC (Wed) by wtarreau (subscriber, #51152) [Link]

It just turns out that wikipedia is not exactly the first place that comes to my mind when searching for the definition of a language keyword :-) But indeed it seems clear enough there as well.

What I previously found was this: https://gcc.gnu.org/onlinedocs/gcc-11.2.0/gcc/Restricted-... but it wasn't very clear to me. Of course there's nothing wrong in it, it's just that when the use cases are unclear to you they can remain unclear after reading the doc.