about summary refs log tree commit diff
path: root/compiler/rustc_mir_transform/src/coverage/debug.rs
diff options
context:
space:
mode:
authorbors <bors@rust-lang.org>2023-09-16 03:40:20 +0000
committerbors <bors@rust-lang.org>2023-09-16 03:40:20 +0000
commit635c4a5e612b0ee8af6615635599702d3dce9906 (patch)
treee6e5f854126129a3d5ea0b07379053aed15a83b4 /compiler/rustc_mir_transform/src/coverage/debug.rs
parente81f85fe9eebf8a5ba21438fb188a59d54095697 (diff)
parent4b1bc2701067d7b340d102d40227091c00447f48 (diff)
downloadrust-635c4a5e612b0ee8af6615635599702d3dce9906.tar.gz
rust-635c4a5e612b0ee8af6615635599702d3dce9906.zip
Auto merge of #114494 - est31:extend_useless_ptr_null_checks, r=jackh726
Make useless_ptr_null_checks smarter about some std functions

This teaches the `useless_ptr_null_checks` lint that some std functions can't ever return null pointers, because they need to point to valid data, get references as input, etc.

This is achieved by introducing an `#[rustc_never_returns_null_ptr]` attribute and adding it to these std functions (gated behind bootstrap `cfg_attr`).

Later on, the attribute could maybe be used to tell LLVM that the returned pointer is never null. I don't expect much impact of that though, as the functions are pretty shallow and usually the input data is already never null.

Follow-up of PR #113657

Fixes #114442
Diffstat (limited to 'compiler/rustc_mir_transform/src/coverage/debug.rs')
0 files changed, 0 insertions, 0 deletions