about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/interpret
AgeCommit message (Expand)AuthorLines
2025-08-19Rollup merge of #145585 - RalfJung:miri-inplace-arg-checks, r=compiler-errors许杰友 Jieyou Xu (Joe)-22/+56
2025-08-19Rollup merge of #145306 - Stypox:tracing-misc, r=RalfJung许杰友 Jieyou Xu (Joe)-5/+13
2025-08-19miri: detect passing the same local twice as an in-place argumentRalf Jung-20/+41
2025-08-18Add tracing to various miscellaneous functionsStypox-5/+13
2025-08-18interpret: fix in-place return place semantics when the return place expressi...Ralf Jung-3/+16
2025-08-18interpret: avoid forcing all integer newtypes into memory during clear_proven...Ralf Jung-0/+17
2025-08-17Auto merge of #144081 - RalfJung:const-ptr-fragments, r=oli-obkbors-77/+76
2025-08-14Rollup merge of #145266 - camsteffen:reduce-queries, r=petrochenkovGuillaume Gomez-1/+1
2025-08-14Rollup merge of #144727 - Stypox:add-tracing-to-resolve, r=RalfJungGuillaume Gomez-23/+41
2025-08-13Cleanup assoc parent utilsCameron Steffen-1/+1
2025-08-11Turn _span into _trace as trace span nameStypox-19/+19
2025-08-11Add tracing to resolve-related functionsStypox-23/+41
2025-08-09rename `TraitRef::from_method` to `from_assoc`Deadbeef-1/+1
2025-08-05Rollup merge of #144890 - WaffleLapkin:project_fields, r=lcnrSamuel Tardieu-8/+16
2025-08-05Rollup merge of #144776 - nnethercote:Printer-cleanups, r=cjgillotSamuel Tardieu-6/+7
2025-08-04add `project_fields` helper functionWaffle Lapkin-8/+16
2025-08-04Rollup merge of #144706 - zachs18:fix-144661, r=RalfJungStuart Cook-2/+6
2025-08-03Rename `Printer` variables.Nicholas Nethercote-6/+7
2025-08-01Update compiler/rustc_const_eval/src/interpret/memory.rs zachs18-1/+1
2025-07-31Add EnteredTraceSpan::or_if_tracing_disabledStypox-10/+39
2025-07-31Add tracing to more functions related to step.rsStypox-1/+23
2025-07-31Add tracing calls to eval_statement/terminatorStypox-3/+18
2025-07-31Do not give function allocations alignment in consteval or miri.Zachary S-2/+6
2025-07-31Make Miri's enter_trace_span! call const_eval'sStypox-4/+4
2025-07-31Use specific name for "frame" span fieldStypox-1/+1
2025-07-31Use new enter_trace_span! syntax for layout_of & friendsStypox-3/+3
2025-07-31Uniform enter_trace_span! and add documentationStypox-4/+63
2025-07-30const-eval: full support for pointer fragmentsRalf Jung-77/+76
2025-07-28Rename trait_of_item -> trait_of_assocCameron Steffen-1/+1
2025-07-28Auto merge of #144469 - Kivooeo:chains-cleanup, r=SparrowLiibors-8/+8
2025-07-28use let chains in ast, borrowck, codegen, const_evalKivooeo-8/+8
2025-07-27miri: for ABI mismatch errors, say which argument is the problemRalf Jung-3/+7
2025-07-23Remove const deduplication from the interpreter.Camille GILLOT-27/+3
2025-07-23Remove useless lifetime parameter.Camille GILLOT-4/+3
2025-07-23Give an AllocId to ConstValue::Slice.Camille GILLOT-11/+12
2025-07-23Rollup merge of #144256 - oli-obk:type-id-ice, r=RalfJungMatthias Krüger-1/+1
2025-07-21Don't ICE on non-TypeId metadata within TypeIdOli Scherer-1/+1
2025-07-20fix handling of base address for TypeId allocationsRalf Jung-3/+13
2025-07-19interpret: fix TypeId pointers being considered data pointersRalf Jung-6/+4
2025-07-18Rollup merge of #144123 - oli-obk:ctfe-unsize, r=RalfJungMatthias Krüger-3/+4
2025-07-18Rollup merge of #142673 - oli-obk:uninit-read-mem, r=RalfJungMatthias Krüger-1/+1
2025-07-18Generalize `unsize` and `unsize_into` destinationsOli Scherer-3/+4
2025-07-18Rollup merge of #143293 - folkertdev:naked-function-kcfi, r=compiler-errorsMatthias Krüger-1/+1
2025-07-17Report the range of uninit bytes in CTFE errorsOli Scherer-1/+1
2025-07-17Rollup merge of #143975 - RalfJung:type-id-eq, r=oli-obkMatthias Krüger-48/+57
2025-07-17Rollup merge of #143955 - Stypox:tracing-frame-filter, r=RalfJungMatthias Krüger-1/+6
2025-07-17Rollup merge of #143595 - fee1-dead-contrib:push-sylpykzkmynr, r=RalfJung,fee...León Orell Valerian Liehr-42/+109
2025-07-16use `codegen_instance_attrs` where an instance is (easily) availableFolkert de Vries-1/+1
2025-07-16Rollup merge of #143968 - Stypox:tracing-FnAbiOf, r=RalfJungSamuel Tardieu-18/+40
2025-07-16simplfy memory kind handling during interningRalf Jung-39/+11