about summary refs log tree commit diff
path: root/compiler/rustc_const_eval
AgeCommit message (Expand)AuthorLines
2024-06-14Enable const evaluation for `f16` and `f128`Trevor Gross-2/+8
2024-06-14Rollup merge of #126426 - RalfJung:dangling-zst-ice, r=oli-obkMatthias Krüger-5/+11
2024-06-14MIR Shl/Shr: the offset can be computed with rem_euclidRalf Jung-12/+7
2024-06-14const validation: fix ICE on dangling ZST referenceRalf Jung-5/+11
2024-06-13const-eval: make lint scope computation consistentRalf Jung-30/+25
2024-06-13rename CompileTimeInterpreter -> CompileTimeMachine, CompileTimeEvalContext -...Ralf Jung-35/+35
2024-06-13Rollup merge of #126379 - RalfJung:find_closest_untracked_caller_location, r=...León Orell Valerian Liehr-3/+7
2024-06-13interpret: update doc comment for find_closest_untracked_caller_locationRalf Jung-3/+7
2024-06-12Rollup merge of #126358 - jswrenn:fix-125811, r=compiler-errorsJubilee-4/+1
2024-06-12Rollup merge of #126328 - RalfJung:is_none_or, r=workingjubileeJubilee-3/+4
2024-06-13safe transmute: support `Variants::Single` enumsJack Wrenn-4/+1
2024-06-12use is_none_or in some places in the compilerRalf Jung-3/+4
2024-06-12Rollup merge of #126232 - RalfJung:dyn-trait-equality, r=oli-obkGuillaume Gomez-116/+129
2024-06-12Use `tidy` to sort crate attributes for all compiler crates.Nicholas Nethercote-3/+5
2024-06-11interpret: ensure we check bool/char for validity when they are used in a castRalf Jung-26/+29
2024-06-11interpret: dyn trait metadata check: equate traits in a proper wayRalf Jung-4/+36
2024-06-11check for correct trait in size_and_align_ofRalf Jung-5/+8
2024-06-10Rollup merge of #126184 - RalfJung:interpret-simd-nonpow2, r=oli-obkMatthias Krüger-6/+9
2024-06-10interpret: refactor dyn trait handlingRalf Jung-112/+90
2024-06-10ScalarInt: size mismatches are a bug, do not delay the panicRalf Jung-29/+27
2024-06-09interpret: do not ICE on padded non-pow2 SIMD vectorsRalf Jung-6/+9
2024-06-08offset_of: allow (unstably) taking the offset of slice tail fieldsRalf Jung-1/+4
2024-06-08StorageLive: refresh storage (instead of UB) when local is already liveRalf Jung-7/+3
2024-06-07Revert "Create const block DefIds in typeck instead of ast lowering"Oli Scherer-1/+1
2024-06-06Auto merge of #124482 - spastorino:unsafe-extern-blocks, r=oli-obkbors-2/+4
2024-06-06Auto merge of #125958 - BoxyUwU:remove_const_ty, r=lcnrbors-3/+3
2024-06-05Add `Ty` to `mir::Const::Ty`Boxy-2/+2
2024-06-05Add `Ty` to `ConstKind::Value`Boxy-1/+1
2024-06-05Update the interpreter to handle the new casesBen Kimock-9/+22
2024-06-04Add safe/unsafe to static inside extern blocksSantiago Pastorino-2/+4
2024-06-03Opt-in diagnostics reporting to avoid doing extra work in the new solverMichael Goulet-1/+1
2024-06-03Auto merge of #125778 - estebank:issue-67100, r=compiler-errorsbors-1/+1
2024-06-01Uplift TypeRelation and RelateMichael Goulet-1/+1
2024-05-29Use parenthetical notation for `Fn` traitsEsteban Küber-1/+1
2024-05-29Rollup merge of #125633 - RalfJung:miri-no-copy, r=saethlin许杰友 Jieyou Xu (Joe)-26/+52
2024-05-28Add an intrinsic for `ptr::metadata`Scott McMurray-5/+25
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-26/+52
2024-05-27interpret: get rid of 'mir lifetime everywhereRalf Jung-255/+220
2024-05-27interpret: the MIR is actually at lifetime 'tcxRalf Jung-51/+46
2024-02-20Stabilize `LazyCell` and `LazyLock` (`lazy_cell`)Peter Jaszkowiak-1/+1
2024-05-24Rollup merge of #125483 - workingjubilee:move-transform-validate-to-mir-trans...Matthias Krüger-1409/+1
2024-05-24compiler: unnest rustc_const_eval::check_constsJubilee Young-2/+1
2024-05-24compiler: const_eval/transform/validate.rs -> mir_transform/validate.rsJubilee Young-1407/+0
2024-05-24Rollup merge of #125477 - nnethercote:missed-rustfmt, r=compiler-errorsMatthias Krüger-4/+3
2024-05-24Auto merge of #125479 - scottmcm:validate-vtable-projections, r=Nilstriebbors-0/+9
2024-05-23Validate the special layout restriction on DynMetadataScott McMurray-0/+9
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-3/+29