diff options
| author | bors <bors@rust-lang.org> | 2024-10-29 00:24:07 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2024-10-29 00:24:07 +0000 |
| commit | 149665afbd16400faa23dde0f6037df8be9af092 (patch) | |
| tree | 54c7b5be6cfeaa92d6226289e47a6cb9b76fc231 /tests/codegen/patchable-function-entry | |
| parent | 303ab513d5148e60afee802e67fcf52b40280bd2 (diff) | |
| parent | f2861746902dfb3be9ef2a7bc929cb09d8f0ef3e (diff) | |
| download | rust-149665afbd16400faa23dde0f6037df8be9af092.tar.gz rust-149665afbd16400faa23dde0f6037df8be9af092.zip | |
Auto merge of #128985 - GrigorenkoPV:instantly-dangling-pointer, r=Urgau
Lint against getting pointers from immediately dropped temporaries
Fixes #123613
## Changes:
1. New lint: `dangling_pointers_from_temporaries`. Is a generalization of `temporary_cstring_as_ptr` for more types and more ways to get a temporary.
2. `temporary_cstring_as_ptr` is removed and marked as renamed to `dangling_pointers_from_temporaries`.
3. `clippy::temporary_cstring_as_ptr` is marked as renamed to `dangling_pointers_from_temporaries`.
4. Fixed a false positive[^fp] for when the pointer is not actually dangling because of lifetime extension for function/method call arguments.
5. `core::cell::Cell` is now `rustc_diagnostic_item = "Cell"`
## Questions:
- [ ] Instead of manually checking for a list of known methods and diagnostic items, maybe add some sort of annotation to those methods in library and check for the presence of that annotation? https://github.com/rust-lang/rust/pull/128985#issuecomment-2318714312
## Known limitations:
### False negatives[^fn]:
See the comments in `compiler/rustc_lint/src/dangling.rs`
1. Method calls that are not checked for:
- `temporary_unsafe_cell.get()`
- `temporary_sync_unsafe_cell.get()`
2. Ways to get a temporary that are not recognized:
- `owning_temporary.field`
- `owning_temporary[index]`
3. No checks for ref-to-ptr conversions:
- `&raw [mut] temporary`
- `&temporary as *(const|mut) _`
- `ptr::from_ref(&temporary)` and friends
[^fn]: lint **should** be emitted, but **is not**
[^fp]: lint **should not** be emitted, but **is**
Diffstat (limited to 'tests/codegen/patchable-function-entry')
0 files changed, 0 insertions, 0 deletions
