about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/const_eval
AgeCommit message (Expand)AuthorLines
2024-10-19interpret errors: add map_err_kind, rename InterpError -> InterpErrorKindRalf Jung-5/+6
2024-10-12miri: avoid cloning AllocExtraRalf Jung-1/+1
2024-10-01make InterpResult a dedicated type to avoid accidentally discarding the errorRalf Jung-79/+77
2024-09-23fix unqualified_local_imports in rustc_const_evalRalf Jung-6/+6
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-18/+18
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-16layout computation: eagerly error for unexpected unsized fieldsLukas Markeffsky-1/+1
2024-09-14Auto merge of #128543 - RalfJung:const-interior-mut, r=fee1-deadbors-18/+31
2024-09-11clippy::useless_conversionMichael Goulet-6/+1
2024-09-10const-eval interning: accpt interior mutable pointers in final value (but kee...Ralf Jung-18/+31
2024-09-08interpret: reset padding during validationRalf Jung-5/+22
2024-09-08interpret: reset provenance on typed copiesRalf Jung-2/+2
2024-08-24Rollup merge of #129199 - RalfJung:writes_through_immutable_pointer, r=compil...Matthias Krüger-7/+10
2024-08-20ctfe: make CompileTimeInterpCx type alias publicRalf Jung-2/+5
2024-08-17make writes_through_immutable_pointer a hard errorRalf Jung-7/+10
2024-08-14Auto merge of #128812 - nnethercote:shrink-TyKind-FnPtr, r=compiler-errorsbors-2/+2
2024-08-11Remove struct_tail_no_normalizationMichael Goulet-1/+1
2024-08-11Rename normalization functions to rawMichael Goulet-1/+1
2024-08-09Shrink `TyKind::FnPtr`.Nicholas Nethercote-2/+2
2024-08-06interpret: refactor function call handling to be better-abstractedRalf Jung-10/+11
2024-08-05interpret: move nullary-op evaluation into operator.rsRalf Jung-1/+1
2024-08-03Miri: add a flag to do recursive validity checkingRalf 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-38/+29
2024-07-18valtree construction: keep track of which type was valtree-incompatibleRalf Jung-13/+13
2024-07-02Fix spansMichael Goulet-1/+1
2024-07-02Give Instance::expect_resolve a spanMichael Goulet-0/+1
2024-06-28implement new effects desugaringDeadbeef-4/+1
2024-06-22don't ICE when encountering an extern type field during validationRalf Jung-32/+44
2024-06-16Rename InstanceDef -> InstanceKindMichael Goulet-5/+5
2024-06-14Use is_lang_item more aggressivelyMichael Goulet-3/+3
2024-06-13const-eval: make lint scope computation consistentRalf Jung-13/+15
2024-06-13rename CompileTimeInterpreter -> CompileTimeMachine, CompileTimeEvalContext -...Ralf Jung-27/+27
2024-06-10ScalarInt: size mismatches are a bug, do not delay the panicRalf Jung-4/+4
2024-06-07Revert "Create const block DefIds in typeck instead of ast lowering"Oli Scherer-1/+1
2024-05-29Rollup merge of #125633 - RalfJung:miri-no-copy, r=saethlin许杰友 Jieyou Xu (Joe)-2/+2
2024-05-28Create const block DefIds in typeck instead of ast loweringOli Scherer-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-2/+2
2024-05-27interpret: get rid of 'mir lifetime everywhereRalf Jung-62/+56
2024-05-27interpret: the MIR is actually at lifetime 'tcxRalf Jung-28/+25
2024-05-24Run rustfmt on files that need it.Nicholas Nethercote-4/+3
2024-05-23Auto merge of #125434 - nnethercote:rm-more-extern-tracing, r=jackh726bors-0/+4
2024-05-23Allow const eval failures if the cause is a type layout issueOli Scherer-4/+5
2024-05-23Remove `#[macro_use] extern crate tracing` from `rustc_const_eval`.Nicholas Nethercote-0/+4
2024-05-23Auto merge of #125359 - RalfJung:interpret-overflowing-ops, r=oli-obkbors-3/+3
2024-05-22Auto merge of #117329 - RalfJung:offset-by-zero, r=oli-obk,scottmcmbors-5/+15
2024-05-21interpret: make overflowing binops just normal binopsRalf Jung-3/+3
2024-05-17Rename Unsafe to SafetySantiago Pastorino-2/+2