diff options
| author | bors <bors@rust-lang.org> | 2023-08-02 09:12:32 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2023-08-02 09:12:32 +0000 |
| commit | 64ad036307727d21070a46f1a5e323cd442229da (patch) | |
| tree | 393ed0412c52947a3304d0b4dc5923d378c47581 /compiler/rustc_parse/src | |
| parent | 5cbfee545543a8e3d91c54997c6bcd24d2054321 (diff) | |
| parent | 8496292ddaec7696fa924d86cdea9ee26c1539b7 (diff) | |
| download | rust-64ad036307727d21070a46f1a5e323cd442229da.tar.gz rust-64ad036307727d21070a46f1a5e323cd442229da.zip | |
Auto merge of #114333 - RalfJung:dangling-ptr-offset, r=oli-obk
Miri: fix error on dangling pointer inbounds offset We used to claim that the pointer was "dereferenced", but that is just not true. Can be reviewed commit-by-commit. The first commit is an unrelated rename that didn't seem worth splitting into its own PR. r? `@oli-obk`
Diffstat (limited to 'compiler/rustc_parse/src')
0 files changed, 0 insertions, 0 deletions