summary refs log tree commit diff
path: root/compiler/rustc_const_eval
AgeCommit message (Expand)AuthorLines
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-31Rollup merge of #144726 - jdonszelmann:move-attr-data-structures, r=lcnrJana Dönszelmann-11/+10
2025-07-31Make Miri's enter_trace_span! call const_eval'sStypox-4/+4
2025-07-31remove rustc_attr_data_structuresJana Dönszelmann-11/+10
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-28Rename trait_of_item -> trait_of_assocCameron Steffen-3/+3
2025-07-28Auto merge of #144469 - Kivooeo:chains-cleanup, r=SparrowLiibors-35/+32
2025-07-28use let chains in ast, borrowck, codegen, const_evalKivooeo-35/+32
2025-07-27miri: for ABI mismatch errors, say which argument is the problemRalf Jung-12/+20
2025-07-23Remove const deduplication from the interpreter.Camille GILLOT-27/+3
2025-07-23Remove useless lifetime parameter.Camille GILLOT-11/+10
2025-07-23Give an AllocId to ConstValue::Slice.Camille GILLOT-13/+13
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-16/+18
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-8/+23
2025-07-18Generalize `unsize` and `unsize_into` destinationsOli Scherer-3/+4
2025-07-18Show the memory of uninit readsOli Scherer-7/+22
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-17Auto merge of #143879 - fee1-dead-contrib:push-lrlpoouyqqry, r=fmeasebors-3/+3
2025-07-17parse `const trait Trait`Deadbeef-3/+3
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-64/+194
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-16Rollup merge of #143692 - RalfJung:miri-oob, r=oli-obkSamuel Tardieu-12/+15
2025-07-16simplfy memory kind handling during interningRalf Jung-42/+11
2025-07-16const heap: fix ICE on forgotten make_globalRalf Jung-44/+53
2025-07-16Make frame spans appear on a separate trace lineStypox-1/+6
2025-07-16type_id_eq: check that the hash fully matches the typeRalf Jung-48/+57
2025-07-16Comment more code and make tests clearerDeadbeef-21/+25
2025-07-16format pointer later instead of eagerly converting to stringDeadbeef-15/+15
2025-07-16add `const_make_global`; err for `const_allocate` ptrs if didn't callDeadbeef-18/+166
2025-07-15Add InterpCx::fn_abi_of_instance/_fn_ptr with tracing, shadowing FnAbiOfStypox-18/+40
2025-07-14Give all bytes of TypeId provenanceOli Scherer-31/+37
2025-07-13Rollup merge of #143634 - nia-e:init-and-wildcards, r=RalfJungMatthias Krüger-1/+1
2025-07-10interpret/allocation: expose init + write_wildcards on a rangeNia Espera-1/+1
2025-07-09miri: fix out-of-bounds error for ptrs with negative offsetsRalf Jung-12/+15
2025-07-09Avoid creating a helper allocation for creating new `TypeId` values in the in...Oli Scherer-38/+29
2025-07-09Add opaque TypeId handles for CTFEOli Scherer-37/+150
2025-07-08Make enter_trace_span take a closure for better optimizationStypox-2/+2
2025-07-08Add inline(always) to Machine::enter_trace_spanStypox-0/+1