about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/interpret
AgeCommit message (Expand)AuthorLines
2025-01-30Auto merge of #136035 - SpecificProtagonist:miri-zeroed-alloc, r=oli-obkbors-13/+20
2025-01-29Rollup merge of #136166 - RalfJung:interpet-is-alloc-live, r=compiler-errorsLeón Orell Valerian Liehr-2/+4
2025-01-28miri: optimize zeroed allocSpecificProtagonist-13/+20
2025-01-28interpret: is_alloc_live: check global allocs lastRalf Jung-2/+4
2025-01-28Represent the raw pointer for a array length check as a new kind of fake borrowMichael Goulet-13/+5
2025-01-27Reapply "Auto merge of #133734 - scottmcm:lower-indexing-to-ptrmetadata, r=da...Michael Goulet-2/+11
2025-01-19Auto merge of #135709 - lqd:bring-back-len, r=compiler-errorsbors-12/+9
2025-01-18Revert "Auto merge of #133734 - scottmcm:lower-indexing-to-ptrmetadata, r=dav...Rémy Rakic-11/+2
2025-01-18Revert "Auto merge of #134330 - scottmcm:no-more-rvalue-len, r=matthewjasper"Rémy Rakic-1/+7
2025-01-18const-eval: detect more pointers as definitely not-nullRalf Jung-8/+17
2025-01-07Avoid naming variables `str`Josh Triplett-4/+4
2025-01-04rustc_intrinsic: support functions without body; they are implicitly marked a...Ralf Jung-1/+2
2024-12-30Auto merge of #134757 - RalfJung:const_swap, r=scottmcmbors-46/+29
2024-12-27Rollup merge of #134606 - RalfJung:ptr-copy-docs, r=Mark-Simulacrum许杰友 Jieyou Xu (Joe)-0/+2
2024-12-25swap_typed_nonoverlapping: properly detect overlap even when swapping scalar ...Ralf Jung-45/+28
2024-12-25rename typed_swap → typed_swap_nonoverlappingRalf Jung-1/+1
2024-12-25miri: add test for overlapping typed_swapRalf Jung-1/+1
2024-12-24Auto merge of #134625 - compiler-errors:unsafe-binders-ty, r=oli-obkbors-0/+4
2024-12-22Begin to implement type system layer of unsafe bindersMichael Goulet-0/+4
2024-12-22Delete `Rvalue::Len`Scott McMurray-7/+1
2024-12-21ptr::copy: fix docs for the overlapping caseRalf Jung-0/+2
2024-12-20Rollup merge of #133103 - tiif:fnabi, r=RalfJungJacob Pratt-6/+7
2024-12-19Pass FnAbi to find_mir_or_eval_fntiif-6/+7
2024-12-19Rollup merge of #133702 - RalfJung:single-variant, r=oli-obk许杰友 Jieyou Xu (Joe)-17/+17
2024-12-18Auto merge of #134443 - joshtriplett:use-field-init-shorthand, r=lqd,tgross35...bors-1/+1
2024-12-18make no-variant types a dedicated Variants variantRalf Jung-9/+12
2024-12-18Variants::Single: do not use invalid VariantIdx for uninhabited enumsRalf Jung-15/+12
2024-12-18Re-export more `rustc_span::symbol` things from `rustc_span`.Nicholas Nethercote-3/+3
2024-12-17Use field init shorthand where possibleJosh Triplett-1/+1
2024-12-14Auto merge of #133734 - scottmcm:lower-indexing-to-ptrmetadata, r=davidtwco,R...bors-2/+11
2024-12-14Rollup merge of #134191 - willcrichton:dev, r=RalfJung,lqdMatthias Krüger-12/+27
2024-12-13Update compiler/rustc_const_eval/src/interpret/step.rsscottmcm-1/+3
2024-12-13Rollup merge of #134058 - RalfJung:interpret-typing-env, r=lcnrMatthias Krüger-6/+8
2024-12-13Don't retag the `PtrMetadata(&raw const *_n)` in slice indexingScott McMurray-2/+9
2024-12-12Make BorrowSet/BorrowData fields accessible via public gettersWill Crichton-6/+9
2024-12-11Make some types and methods related to Polonius + Miri public.Will Crichton-8/+20
2024-12-10Rollup merge of #134010 - RalfJung:promoted-type-error-ice, r=oli-obkLeón Orell Valerian Liehr-2/+4
2024-12-09fix ICE on type error in promotedRalf Jung-2/+4
2024-12-09interpret: clean up deduplicating allocation functionsRalf Jung-27/+17
2024-12-09interpret: reduce usage of TypingEnv::fully_monomorphizedRalf Jung-6/+8
2024-12-07Add allocate_bytes and refactor allocate_str in InterpCx for raw byte allocationshamb0-13/+32
2024-12-06Remove polymorphizationBen Kimock-28/+6
2024-12-06Rollup merge of #133211 - Strophox:miri-correct-state-update-ffi, r=RalfJungMatthias Krüger-5/+51
2024-12-05extend Miri to correctly pass mutable pointers through FFIStrophox-5/+51
2024-12-03Rollup merge of #133681 - RalfJung:niches, r=wesleywiserMatthias Krüger-20/+25
2024-12-01fix ICE when promoted has layout size overflowRalf Jung-7/+4
2024-12-01fix safe-transmute handling of enumsRalf Jung-1/+1
2024-11-30report UB when the niche value refers to the untagged variantRalf Jung-19/+24
2024-11-26Move `always_storage_live_locals`.Nicholas Nethercote-1/+1
2024-11-20Auto merge of #131326 - dingxiangfei2009:issue-130836-attempt-2, r=nikomatsakisbors-0/+3