summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/const_eval/machine.rs
AgeCommit message (Expand)AuthorLines
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
2024-08-20ctfe: make CompileTimeInterpCx type alias publicRalf Jung-2/+5
2024-08-17make writes_through_immutable_pointer a hard errorRalf Jung-6/+3
2024-08-06interpret: refactor function call handling to be better-abstractedRalf Jung-9/+8
2024-08-05interpret: move nullary-op evaluation into operator.rsRalf Jung-1/+1
2024-08-01on a signed deref check, mention the right pointer in the errorRalf Jung-2/+2
2024-07-29Reformat `use` declarations.Nicholas Nethercote-11/+7
2024-07-02Fix spansMichael Goulet-1/+1
2024-07-02Give Instance::expect_resolve a spanMichael Goulet-0/+1
2024-06-16Rename InstanceDef -> InstanceKindMichael Goulet-4/+4
2024-06-14Use is_lang_item more aggressivelyMichael Goulet-3/+3
2024-06-13const-eval: make lint scope computation consistentRalf Jung-2/+12
2024-06-13rename CompileTimeInterpreter -> CompileTimeMachine, CompileTimeEvalContext -...Ralf Jung-6/+6
2024-05-29Rollup merge of #125633 - RalfJung:miri-no-copy, r=saethlin许杰友 Jieyou Xu (Joe)-1/+1
2024-05-28Remove a CTFE check that was only ever used to ICEOli Scherer-13/+1
2024-05-27miri: avoid making a full copy of all new allocationsRalf Jung-1/+1
2024-05-27interpret: get rid of 'mir lifetime everywhereRalf Jung-23/+19
2024-05-27interpret: the MIR is actually at lifetime 'tcxRalf Jung-10/+10
2024-05-23Remove `#[macro_use] extern crate tracing` from `rustc_const_eval`.Nicholas Nethercote-0/+1
2024-05-23Auto merge of #125359 - RalfJung:interpret-overflowing-ops, r=oli-obkbors-1/+1
2024-05-21interpret: make overflowing binops just normal binopsRalf Jung-1/+1
2024-05-13offset, offset_from: allow zero-byte offset on arbitrary pointersRalf Jung-5/+15
2024-05-13Remove `extern crate rustc_middle` from `rustc_const_eval`.Nicholas Nethercote-2/+4
2024-05-04interpret, miri: uniform treatments of intrinsics/functions with and without ...Ralf Jung-14/+2
2024-05-03Ensure miri only uses fallback bodies that have manually been vetted to prese...Oli Scherer-1/+2
2024-05-03Let miri and const eval execute intrinsics' fallback bodiesOli Scherer-7/+23
2024-03-12Ensure nested allocations in statics do not get deduplicatedOli Scherer-4/+7
2024-03-10use Instance::expect_resolve() instead of unwraping Instance::resolve()Ralf Jung-4/+2
2024-03-08Tweak the way we protect in-place function arguments in interpretersMaybe Waffle-2/+2
2024-03-04consistently use MPlaceTy for return placesRalf Jung-5/+5
2024-02-21Convert `bug`s back to `delayed_bug`s.Nicholas Nethercote-1/+1
2024-02-21Convert `delayed_bug`s to `bug`s.Nicholas Nethercote-6/+2
2024-02-15Do not allocate a second "background" alloc id for the main allocation of a s...Oli Scherer-0/+15
2024-02-13Bump `indexmap`clubby789-1/+2
2024-02-10unstably allow constants to refer to statics and read from immutable staticsRalf Jung-24/+14
2024-01-25Auto merge of #119911 - NCGThompson:is-statically-known, r=oli-obkbors-0/+5
2024-01-23Auto merge of #119044 - RalfJung:intern-without-types, r=oli-obkbors-1/+1
2024-01-23Rename `TyCtxt::emit_spanned_lint` as `TyCtxt::emit_node_span_lint`.Nicholas Nethercote-1/+1
2024-01-22const-eval interner: from-scratch rewrite using mutability information from p...Ralf Jung-1/+1
2024-01-19Add new intrinsic `is_constant` and optimize `pow`Catherine Flores-0/+5
2024-01-10Add `DiagCtxt::delayed_bug`.Nicholas Nethercote-4/+4
2024-01-10Rename `{create,emit}_warning` as `{create,emit}_warn`.Nicholas Nethercote-1/+1
2023-12-24Remove `Session` methods that duplicate `DiagCtxt` methods.Nicholas Nethercote-3/+3
2023-12-07avoid marking as immutable what is already immutableRalf Jung-1/+4