summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/interpret
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-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-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
2025-07-16const heap: fix ICE on forgotten make_globalRalf Jung-41/+45
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-14/+15
2025-07-16format pointer later instead of eagerly converting to stringDeadbeef-9/+9
2025-07-16add `const_make_global`; err for `const_allocate` ptrs if didn't callDeadbeef-6/+96
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-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-36/+143
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
2025-07-08Replace TRACING_ENABLED with enter_trace_span()Stypox-20/+24
2025-07-08Always inline InterpCx::layout_of after perf regressionStypox-1/+1
2025-07-07Auto merge of #143601 - matthiaskrgr:rollup-9iw2sqk, r=matthiaskrgrbors-3/+3
2025-07-07Rollup merge of #143584 - fee1-dead-contrib:push-skswvrwsrmll, r=RalfJungMatthias Krüger-3/+3
2025-07-07Auto merge of #143182 - xdoardo:more-addrspace, r=workingjubileebors-2/+2
2025-07-07make `Machine::load_mir` infallibleDeadbeef-3/+3
2025-07-07compiler: Parse `p-` specs in datalayout string, allow definition of custom d...Edoardo Marangoni-2/+2