Add #[rustc_never_returns_null_ptr]

And look for it in the useless_ptr_null_checks lint
2023-08-05 04:54:23 +02:00 · 2023-08-05 04:54:23 +02:00 · 8cfa4fe6b2
commit 8cfa4fe6b2
parent e173a8e663
4 changed files with 9 additions and 1 deletions
--- a/compiler/rustc_span/src/symbol.rs
+++ b/compiler/rustc_span/src/symbol.rs
@ -1311,6 +1311,7 @@ symbols! {
        rustc_main,
        rustc_mir,
        rustc_must_implement_one_of,
+        rustc_never_returns_null_ptr,
        rustc_nonnull_optimization_guaranteed,
        rustc_nounwind,
        rustc_object_lifetime_default,