about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/interpret
AgeCommit message (Expand)AuthorLines
2025-03-11miri native_calls: ensure we actually expose *mutable* provenance to the memo...Ralf Jung-0/+4
2025-03-07Pass `Option<Symbol>` to `def_path_data`/`create_def` methods.Nicholas Nethercote-1/+1
2025-03-06Rollup merge of #137802 - RalfJung:miri-native-call-exposed, r=oli-obkMichael Goulet-10/+5
2025-03-01Rollup merge of #137804 - RalfJung:backend-repr-simd-vector, r=workingjubileeMatthias Krüger-1/+1
2025-02-28Shorten span of panic failures in const contextEsteban Küber-2/+8
2025-02-28rename BackendRepr::Vector → SimdVectorRalf Jung-1/+1
2025-02-28miri native-call support: all previously exposed provenance is accessible to ...Ralf Jung-10/+5
2025-02-22Greatly simplify lifetime captures in edition 2024Michael Goulet-2/+2
2025-02-20fine-tune commentRalf Jung-6/+5
2025-02-20Remove `BackendRepr::Uninhabited`, replaced with an `uninhabited: bool` field...Zachary S-5/+5
2025-02-20Rollup merge of #135296 - lukas-code:dyn-leak-check, r=compiler-errorsMatthias Krüger-56/+14
2025-02-15add a doc commentRalf Jung-0/+1
2025-02-15made check_argument_compat publicgeetanshjuneja-1/+1
2025-02-12Auto merge of #135994 - 1c3t3a:rename-unsafe-ptr, r=oli-obkbors-3/+3
2025-02-11Rollup merge of #136833 - workingjubilee:let-the-impossible-be-impossible, r=...Matthias Krüger-3/+0
2025-02-11fix ensure_monomorphic_enoughLukas Markeffsky-41/+3
2025-02-10compiler: die immediately instead of handling unknown target codegenJubilee Young-3/+0
2025-02-10Rename rustc_middle::Ty::is_unsafe_ptr to is_raw_ptrBastian Kersting-3/+3
2025-02-08Rustfmtbjorn3-26/+31
2025-02-03Contracts core intrinsics.Felix S. Klock II-0/+11
2025-02-03Rollup merge of #136438 - RalfJung:offset_from_ub_errors, r=oli-obk许杰友 Jieyou Xu (Joe)-1/+19
2025-02-02Check the base type of pattern types for validity firstOli Scherer-5/+4
2025-02-02Test validity of pattern typesOli Scherer-0/+12
2025-02-02miri: improve error when offset_from preconditions are violatedRalf Jung-1/+19
2025-02-01Rollup merge of #130514 - compiler-errors:unsafe-binders, r=oli-obkMatthias Krüger-0/+8
2025-01-31ValidationMichael Goulet-0/+2
2025-01-31Implement MIR, CTFE, and codegen for unsafe bindersMichael Goulet-0/+6
2025-01-31interpret: adjust vtable validity check for higher-ranked typesLukas Markeffsky-56/+14
2025-01-31miri: make float min/max non-deterministicRalf Jung-2/+20
2025-01-30More assertions, tests, and miri coverageMichael Goulet-47/+52
2025-01-30Normalize vtable entries before walking and deduplicating themMichael Goulet-1/+8
2025-01-30Do not treat vtable supertraits as distinct when bound with different bound varsMichael Goulet-10/+3
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