summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/interpret/machine.rs
AgeCommit message (Expand)AuthorLines
2024-05-27miri: avoid making a full copy of all new allocationsRalf Jung-17/+41
2024-05-27interpret: get rid of 'mir lifetime everywhereRalf Jung-50/+47
2024-05-27interpret: the MIR is actually at lifetime 'tcxRalf Jung-7/+7
2024-05-21interpret: make overflowing binops just normal binopsRalf Jung-1/+1
2024-05-13Remove `extern crate rustc_middle` from `rustc_const_eval`.Nicholas Nethercote-3/+3
2024-05-03Let miri and const eval execute intrinsics' fallback bodiesOli Scherer-1/+4
2024-04-23properly fill a promoted's required_constsRalf Jung-1/+1
2024-04-23interpret: sanity-check that required_consts captures all consts that can failRalf Jung-2/+3
2024-04-17interpret: rename base_pointer -> root_pointerRalf Jung-6/+6
2024-04-17interpret: pass MemoryKind to adjust_alloc_base_pointerRalf Jung-9/+16
2024-04-16Rollup merge of #124024 - RalfJung:interpret-comment, r=oli-obkMatthias Krüger-2/+0
2024-04-16interpret: remove outdated commentRalf Jung-2/+0
2024-04-16interpret: pass MemoryKind to before_memory_deallocationRalf Jung-0/+1
2024-03-18Avoid various uses of `Option<Span>` in favor of using `DUMMY_SP` in the few ...Oli Scherer-2/+2
2024-03-14Auto merge of #122243 - RalfJung:local-place-sanity-check, r=oli-obkbors-19/+0
2024-03-13Auto merge of #122240 - RalfJung:miri-addr-reuse, r=oli-obkbors-1/+2
2024-03-10remove unnecessary frame parameter from after_local_allocatedRalf Jung-1/+0
2024-03-09interpret: do not call machine read hooks during validationRalf Jung-0/+4
2024-03-09remove a machine hook that is no longer usedRalf Jung-18/+0
2024-03-09interpret: pass Size and Align to before_memory_deallocationRalf Jung-1/+2
2024-03-08Tweak the way we protect in-place function arguments in interpretersMaybe Waffle-2/+2
2024-03-08Rollup merge of #119365 - nbdd0121:asm-goto, r=AmanieuMatthias Krüger-0/+6
2024-03-04consistently use MPlaceTy for return placesRalf Jung-4/+4
2024-02-24Change InlineAsm to allow multiple targets insteadGary Guo-0/+6
2024-02-15Do not allocate a second "background" alloc id for the main allocation of a s...Oli Scherer-0/+15
2024-01-23Add a doc comment for eval_mir_constantBen Kimock-0/+2
2024-01-06Sometimes return the same AllocId for a ConstAllocationBen Kimock-0/+20
2023-12-07compile-time evaluation: emit a lint when a write through an immutable pointe...Ralf Jung-7/+8
2023-12-07ctfe interpreter: extend provenance so that it can track whether a pointer is...Ralf Jung-11/+12
2023-12-03miri: support 'promising' alignment for symbolic alignment checkRalf Jung-14/+15
2023-11-19Expand Miri's BorTag GC to a Provenance GCBen Kimock-0/+8
2023-10-15don't UB on dangling ptr deref, instead check inbounds on projectionsRalf Jung-0/+1
2023-10-14Auto merge of #115524 - RalfJung:misalign, r=wesleywiserbors-11/+2
2023-10-09float-to-float casts also have non-deterministic NaN resultsRalf Jung-3/+6
2023-10-08miri: make NaN generation non-deterministicRalf Jung-0/+8
2023-09-26const-eval: make misalignment a hard errorRalf Jung-11/+2
2023-09-20interpret: more consistently use ImmTy in operators and castsRalf Jung-3/+3
2023-09-14make it more clear which functions create fresh AllocIdRalf Jung-1/+1
2023-09-12Introduce Machine::POST_MONO_CHECKS.Camille GILLOT-0/+3
2023-09-04interpret: make MemPlace, Place, Operand types private to the interpreterRalf Jung-9/+9
2023-08-25Auto merge of #115184 - saethlin:local-allocated-spans, r=RalfJungbors-1/+13
2023-08-25Add a doc comment for the new hookBen Kimock-0/+3
2023-08-25Record allocation spans inside force_allocationBen Kimock-1/+10
2023-08-24when terminating during unwinding, show the reason whyRalf Jung-2/+9
2023-08-20interpret: have assert_* intrinsics call the panic machinery instead of a dir...Ralf Jung-4/+2
2023-08-20interpret/miri: call panic_cannot_unwind lang item instead of hard-coding the...Ralf Jung-0/+8
2023-07-11miri: protect Move() function arguments during the callRalf Jung-5/+25
2023-04-16Report a backtrace for memory leaks under MiriBen Kimock-1/+1
2023-04-06Rename `Abort` terminator to `Terminate`Gary Guo-1/+1
2023-04-06Add `UnwindAction::Unreachable`Gary Guo-5/+5