about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/const_eval/machine.rs
AgeCommit message (Expand)AuthorLines
2025-08-12Revert "Partially outline code inside the panic! macro".Mara Bos-1/+1
2025-07-20fix handling of base address for TypeId allocationsRalf Jung-13/+5
2025-07-17parse `const trait Trait`Deadbeef-2/+2
2025-07-16simplfy memory kind handling during interningRalf Jung-2/+0
2025-07-16Comment more code and make tests clearerDeadbeef-1/+5
2025-07-16add `const_make_global`; err for `const_allocate` ptrs if didn't callDeadbeef-5/+14
2025-07-07make `Machine::load_mir` infallibleDeadbeef-3/+3
2025-07-02miri: improve errors for type validity assertion failuresRalf Jung-3/+41
2025-06-28Auto merge of #141759 - 1c3t3a:discriminants-query, r=saethlinbors-0/+1
2025-06-27const-eval: error when initializing a static writes to that staticRalf Jung-7/+15
2025-06-27Insert checks for enum discriminants when debug assertions are enabledBastian Kersting-0/+1
2025-06-05Replace some `Option<Span>` with `Span` and use DUMMY_SP instead of NoneOli Scherer-1/+1
2025-05-27Rollup merge of #141513 - nia-e:allocbytes-extend, r=RalfJung许杰友 Jieyou Xu (Joe)-0/+3
2025-05-26extend allocbytes with associated typeNia Espera-0/+3
2025-05-22interpret: do not force_allocate all return placesRalf Jung-4/+4
2025-04-28AsyncDrop implementation using shim codegen of async_drop_in_place::{closure}...Andrew Zhogin-0/+1
2025-04-03Make LevelAndSource a structOli Scherer-1/+1
2025-03-20interpret memory access hooks: also pass through the Pointer used for the accessRalf Jung-1/+2
2025-02-22Fix binding mode problemsMichael Goulet-6/+4
2025-01-31Insert null checks for pointer dereferences when debug assertions are enabledBastian Kersting-0/+1
2025-01-28miri: optimize zeroed allocSpecificProtagonist-3/+5
2025-01-15Methods of const traits are constOli Scherer-4/+1
2024-12-19Pass FnAbi to find_mir_or_eval_fntiif-2/+3
2024-12-18Re-export more `rustc_span::symbol` things from `rustc_span`.Nicholas Nethercote-2/+1
2024-12-13Rollup merge of #134058 - RalfJung:interpret-typing-env, r=lcnrMatthias Krüger-2/+1
2024-12-09fix ICE on type error in promotedRalf Jung-1/+2
2024-12-09interpret: reduce usage of TypingEnv::fully_monomorphizedRalf Jung-2/+1
2024-12-06Rollup merge of #133211 - Strophox:miri-correct-state-update-ffi, r=RalfJungMatthias Krüger-4/+6
2024-12-05extend Miri to correctly pass mutable pointers through FFIStrophox-4/+6
2024-11-20interpret: make typing_env field privateRalf Jung-2/+2
2024-11-19`InterpCx` store `TypingEnv` instead of a `ParamEnv`lcnr-1/+1
2024-11-19move `fn is_item_raw` to `TypingEnv`lcnr-1/+1
2024-11-18use `TypingEnv` when no `infcx` is availablelcnr-1/+2
2024-11-16stabilize const_ptr_is_nullRalf Jung-0/+6
2024-11-03Rollup merge of #132423 - RalfJung:const-eval-align-offset, r=dtolnayJubilee-82/+6
2024-11-03Rollup merge of #132574 - workingjubilee:abi-in-compiler, r=compiler-errorsJubilee-3/+2
2024-11-03compiler: Directly use rustc_abi in const_evalJubilee Young-3/+2
2024-11-03Rename the FIXMEs, remove a few that dont matter anymoreMichael Goulet-1/+1
2024-11-03remove const-support for align_offsetRalf Jung-82/+6
2024-10-28compiler: Add `is_uninhabited` and use LayoutS accessorsJubilee Young-1/+1
2024-10-25tcx.is_const_fn doesn't work the way it is described, remove itRalf Jung-2/+2
2024-10-25Re-do recursive const stability checksRalf Jung-1/+1
2024-10-12miri: avoid cloning AllocExtraRalf Jung-1/+1
2024-10-01make InterpResult a dedicated type to avoid accidentally discarding the errorRalf Jung-34/+34
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-7/+7
2024-09-21Rollup merge of #130665 - veera-sivarajan:fix-118612, r=compiler-errorsJubilee-1/+8
2024-09-21Prevent Deduplication of `LongRunningWarn`Veera-1/+8
2024-09-10const-eval interning: accpt interior mutable pointers in final value (but kee...Ralf Jung-5/+18
2024-09-08interpret: reset padding during validationRalf Jung-5/+22
2024-08-24Rollup merge of #129199 - RalfJung:writes_through_immutable_pointer, r=compil...Matthias Krüger-6/+3