rust/compiler/rustc_mir/src/interpret
Yuki Okushi 2b43980ef4
Rollup merge of #79942 - JCTyblaidd:static-mem-init, r=RalfJung
Add post-init hook for static memory for miri.

Adds a post-initialization hook to treat memory initialized using the interpreter as if it was initialized in a static context.

See: https://github.com/rust-lang/miri/pull/1644 & https://github.com/rust-lang/miri/issues/1643
2020-12-13 11:05:38 +09:00
..
intrinsics rustc_mir: support MIR-inlining #[track_caller] functions. 2020-10-21 04:43:56 +03:00
cast.rs u128 truncation and sign extension are not just interpreter related 2020-11-04 13:41:58 +00:00
eval_context.rs make redundant StorageLive UB 2020-12-11 13:18:44 +01:00
intern.rs move interpret::MemoryKind::Heap to const eval 2020-12-03 21:42:11 +05:30
intrinsics.rs CTFE: tweak abort-on-uninhabited message 2020-12-10 19:59:31 +01:00
machine.rs Fix rustfmt failure 2020-12-11 19:11:39 +00:00
memory.rs move interpret::MemoryKind::Heap to const eval 2020-12-03 21:42:11 +05:30
mod.rs interning cleanup: we no longer need to distinguish Const and ConstInner; we no longer need the ignore_interior_mut_in_const hack 2020-10-26 08:56:54 +01:00
operand.rs Rollup merge of #78742 - vn-ki:fix-issue-78655, r=oli-obk 2020-11-05 10:29:59 +01:00
operator.rs Change ty.kind to a method 2020-09-04 17:47:51 +02:00
place.rs u128 truncation and sign extension are not just interpreter related 2020-11-04 13:41:58 +00:00
step.rs make redundant StorageLive UB 2020-12-11 13:18:44 +01:00
terminator.rs Fix comments related to abort() 2020-12-06 20:25:13 +01:00
traits.rs Rustfmt 2020-12-11 19:28:20 +00:00
util.rs small TypeVisitor refactor 2020-12-07 15:52:59 +01:00
validity.rs Rollup merge of #78475 - RalfJung:validity-comment, r=oli-obk 2020-10-29 12:08:55 +09:00
visitor.rs Change ty.kind to a method 2020-09-04 17:47:51 +02:00