diff options
| author | est31 <MTest31@outlook.com> | 2023-08-05 04:54:23 +0200 |
|---|---|---|
| committer | est31 <MTest31@outlook.com> | 2023-08-05 05:16:44 +0200 |
| commit | 8cfa4fe6b2268385480dc4a88ce3e6fdb06a3596 (patch) | |
| tree | 802035e9fd54a8db5096a87927ac62fdb05043a3 /compiler/rustc_span | |
| parent | e173a8e6634d787a1529ff6ec5dc63273425ca34 (diff) | |
| download | rust-8cfa4fe6b2268385480dc4a88ce3e6fdb06a3596.tar.gz rust-8cfa4fe6b2268385480dc4a88ce3e6fdb06a3596.zip | |
Add #[rustc_never_returns_null_ptr]
And look for it in the useless_ptr_null_checks lint
Diffstat (limited to 'compiler/rustc_span')
| -rw-r--r-- | compiler/rustc_span/src/symbol.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/compiler/rustc_span/src/symbol.rs b/compiler/rustc_span/src/symbol.rs index 44820ae6f72..07d48170add 100644 --- 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, |