diff options
| author | bors <bors@rust-lang.org> | 2023-09-08 04:10:14 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2023-09-08 04:10:14 +0000 |
| commit | 3d249706aa8b0167dd49efa1b3ce7cc0e9cbba08 (patch) | |
| tree | c2f7d903b055b7321cfb82598195c57cdce17406 /compiler/rustc_mir_dataflow/src | |
| parent | 69ec43001afd14bac506c519b47f2a17595086e7 (diff) | |
| parent | 73d8dcb803aad67df31abe99f573a2320282bc60 (diff) | |
| download | rust-3d249706aa8b0167dd49efa1b3ce7cc0e9cbba08.tar.gz rust-3d249706aa8b0167dd49efa1b3ce7cc0e9cbba08.zip | |
Auto merge of #115608 - RalfJung:fn-arg-validity, r=oli-obk
miri: catch function calls where the argument is caller-invalid / the return value callee-invalid When doing a type-changing copy, we must validate the data both at the old and new type. Fixes https://github.com/rust-lang/miri/issues/3017
Diffstat (limited to 'compiler/rustc_mir_dataflow/src')
0 files changed, 0 insertions, 0 deletions