summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/interpret/machine.rs
AgeCommit message (Expand)AuthorLines
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
2023-04-06Refactor unwind from Option to a new enumGary Guo-1/+1
2023-03-21Add a layout argument to `enforce_validity`.Oli Scherer-2/+3
2023-03-16Tweak implementation of overflow checking assertionsTomasz Miąsko-2/+2
2023-02-20Minimal changes to make miri workRune Tynan-3/+6
2023-02-20Allow non-`Box` allocations in preparation for aligned const allocations for ...Rune Tynan-3/+7
2023-02-18Rename checked_binop_checks_overflow.Camille GILLOT-4/+5
2023-02-14interpret: rename Pointer::from_addr → from_addr_invalidRalf Jung-1/+1
2023-02-07miri: fix ICE when running out of address spaceRalf Jung-3/+3
2023-01-23Add back Machine::before_terminator(...) methodBryan Garza-0/+6
2023-01-23Replace terminator-based const eval limitBryan Garza-3/+3
2023-01-17Remove double spaces after dots in commentsMaybe Waffle-2/+2
2022-12-15Move alignment failure error reporting to machineOli Scherer-1/+8
2022-12-15Make alignment checks a future incompat lintOli Scherer-1/+3
2022-12-06make retagging work even with 'unstable' placesRalf Jung-2/+14
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-26 09:39:15 +0000