Null reference as insta-UB
Null reference as insta-UB
Posted Aug 22, 2024 8:11 UTC (Thu) by farnz (subscriber, #17727)In reply to: Null reference as insta-UB by riking
Parent article: Standards for use of unsafe Rust in the kernel
That's why I said references must point to a valid place, not a valid instance. It's entirely permissible for the place that's pointed at to not be a valid instance, as long as it's a valid place for the referent type to live in.