summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/interpret/machine.rs
AgeCommit message (Expand)AuthorLines
2024-10-06various fixes for `naked_asm!` implementationFolkert de Vries-1/+1
2024-10-01make InterpResult a dedicated type to avoid accidentally discarding the errorRalf Jung-24/+25
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-5/+5
2024-09-10miri: treat non-memory local variables properly for data race detectionRalf Jung-1/+20
2024-09-08interpret: reset padding during validationRalf Jung-1/+11
2024-08-31Rollup merge of #129684 - Strophox:miri-pass-pointer-to-ffi, r=RalfJungMatthias Krüger-11/+1
2024-08-30enable Miri to pass const pointers through FFIStrophox-11/+1
2024-08-28Rollup merge of #129613 - RalfJung:interpret-target-feat, r=saethlinMatthias Krüger-5/+17
2024-08-26interpret: do not make const-eval query result depend on tcx.sessRalf Jung-5/+17
2024-08-26const-eval: do not make UbChecks behavior depend on current crate's flagsRalf Jung-0/+10
2024-08-13Auto merge of #128742 - RalfJung:miri-vtable-uniqueness, r=saethlinbors-1/+17
2024-08-06miri: make vtable addresses not globally uniqueRalf Jung-1/+17
2024-08-06interpret: refactor function call handling to be better-abstractedRalf Jung-1/+1
2024-08-03Miri: add a flag to do recursive validity checkingRalf Jung-0/+7
2024-08-01on a signed deref check, mention the right pointer in the errorRalf Jung-3/+10
2024-07-29Reformat `use` declarations.Nicholas Nethercote-2/+1
2024-07-07make `StackPop` field names less confusingMaybe Waffle-5/+6
2024-07-07Refactor & fixup interpreter implementation of tail callsMaybe Waffle-0/+3
2024-06-16Rename InstanceDef -> InstanceKindMichael Goulet-1/+1
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-22 23:52:23 +0000