diff options
| author | 许杰友 Jieyou Xu (Joe) <39484203+jieyouxu@users.noreply.github.com> | 2025-08-19 19:42:11 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-08-19 19:42:11 +0800 |
| commit | 5d37e8e707e74a0820e1171f200d45fd2b8fa13c (patch) | |
| tree | 73481ee1cdac2bab10cac6a59ae503983bfef724 /compiler/rustc_next_trait_solver | |
| parent | 5e979cbfc37c1d4d217e185a2496b1ec35b63973 (diff) | |
| parent | 7dfbc0ac1435b76bce4b6baf1ce1b3f7080538e1 (diff) | |
| download | rust-5d37e8e707e74a0820e1171f200d45fd2b8fa13c.tar.gz rust-5d37e8e707e74a0820e1171f200d45fd2b8fa13c.zip | |
Rollup merge of #145585 - RalfJung:miri-inplace-arg-checks, r=compiler-errors
Miri: fix handling of in-place argument and return place handling This fixes two separate bugs (in two separate commits): - If the return place is `_local` and not `*ptr`, we didn't always properly protect it if there were other pointers pointing to that return place. - If two in-place arguments are *the same* local variable, we didn't always detect that aliasing.
Diffstat (limited to 'compiler/rustc_next_trait_solver')
0 files changed, 0 insertions, 0 deletions