]> git.lizzy.rs Git - rust.git/commit
projects / rust.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(merge: f5caaea b5523e3)
Auto merge of #104054 - RalfJung:byte-provenance, r=oli-obk
authorbors <bors@rust-lang.org>
Tue, 15 Nov 2022 17:37:15 +0000 (17:37 +0000)
committerbors <bors@rust-lang.org>
Tue, 15 Nov 2022 17:37:15 +0000 (17:37 +0000)
commit03e3cc5b77ac403e68c0dba25c7e4ad92f3a2da6
treea3300f3be6008a6c9d64251e0cd9a0e69405f15dtree | snapshot
parentf5caaea98a394f5186b6dbf99fcf1b2ad9ad78a0commit | diff
parentb5523e3e7a197bcb204cacf27097bffc2123e9fdcommit | 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`
src/constant.rs diff1 | diff2 | blob | history
Empowering everyone to build reliable and efficient software.