git.lizzy.rs Git - rust.git/commit

]> git.lizzy.rs Git - rust.git/commit

author	bors <bors@rust-lang.org>
	Tue, 15 Nov 2022 17:37:15 +0000 (17:37 +0000)
committer	bors <bors@rust-lang.org>
	Tue, 15 Nov 2022 17:37:15 +0000 (17:37 +0000)
commit	a00f8ba7fcac1b27341679c51bf5a3271fa82df3
tree	155672e116c8913192ba36b4a9e0f668e387c3ad	tree \| snapshot
parent	6d651a295e0e0c331153288b10b78344a4ede20b	commit \| diff
parent	68af46c1121d14a3d89ec56cd4ed2fef829bae75	commit \| diff

Auto merge of #104054 - RalfJung:byte-provenance, r=oli-obk

interpret: support for per-byte provenance

Also factors the provenance map into its own module.

The third commit does the same for the init mask. I can move it in a separate PR if you prefer.

Fixes https://github.com/rust-lang/miri/issues/2181

r? `@oli-obk`

Empowering everyone to build reliable and efficient software.

RSS Atom

compiler/rustc_codegen_cranelift/src/constant.rs	diff1 \|	diff2 \|	blob \| history
compiler/rustc_codegen_llvm/src/consts.rs	diff1 \|	diff2 \|	blob \| history
compiler/rustc_const_eval/src/interpret/memory.rs	diff1 \|	diff2 \|	blob \| history
compiler/rustc_middle/src/mir/interpret/mod.rs	diff1 \|	diff2 \|	blob \| history
compiler/rustc_mir_transform/src/const_prop.rs	diff1 \|	diff2 \|	blob \| history
library/core/src/mem/mod.rs	diff1 \|	diff2 \|	blob \| history
library/core/src/ptr/mod.rs	diff1 \|	diff2 \|	blob \| history