about summary refs log tree commit diff
path: root/compiler/rustc_const_eval
AgeCommit message (Expand)AuthorLines
2025-02-13Auto merge of #136593 - lukas-code:ty-value-perf, r=oli-obkbors-27/+21
2025-02-13simplify valtree branches constructionLukas Markeffsky-15/+12
2025-02-13intern valtreesLukas Markeffsky-14/+11
2025-02-12Auto merge of #135994 - 1c3t3a:rename-unsafe-ptr, r=oli-obkbors-4/+4
2025-02-11Rollup merge of #136833 - workingjubilee:let-the-impossible-be-impossible, r=...Matthias Krüger-13/+0
2025-02-11fix ensure_monomorphic_enoughLukas Markeffsky-41/+3
2025-02-10compiler: die immediately instead of handling unknown target codegenJubilee Young-13/+0
2025-02-10Rename rustc_middle::Ty::is_unsafe_ptr to is_raw_ptrBastian Kersting-4/+4
2025-02-08Rustfmtbjorn3-36/+46
2025-02-06Rollup merge of #136235 - oli-obk:transmuty-pat-tys, r=RalfJungMatthias Krüger-13/+44
2025-02-05Pretty print pattern type values with `transmute` if they don't satisfy their...Oli Scherer-13/+44
2025-02-05Rollup merge of #128045 - pnkfelix:rustc-contracts, r=oli-obkLeón Orell Valerian Liehr-1/+16
2025-02-03Contracts core intrinsics.Felix S. Klock II-1/+16
2025-02-03Rollup merge of #136430 - FedericoBruzzone:follow-up-136180, r=oli-obkMatthias Krüger-27/+25
2025-02-03Refactor using the type-level constant value `ty::Value`FedericoBruzzone-27/+25
2025-02-03Rollup merge of #136464 - nnethercote:rm-TyCtxtAt-for-hooks, r=oli-obk许杰友 Jieyou Xu (Joe)-9/+9
2025-02-03Rollup merge of #136438 - RalfJung:offset_from_ub_errors, r=oli-obk许杰友 Jieyou Xu (Joe)-2/+22
2025-02-03Remove hook calling via `TyCtxtAt`.Nicholas Nethercote-9/+9
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-2/+22
2025-02-01Rollup merge of #130514 - compiler-errors:unsafe-binders, r=oli-obkMatthias Krüger-2/+18
2025-02-01Rollup merge of #136348 - RalfJung:miri-float-min-max, r=oli-obkMatthias Krüger-2/+20
2025-01-31Auto merge of #136350 - matthiaskrgr:rollup-6eqfyvh, r=matthiaskrgrbors-1/+6
2025-01-31ValidationMichael Goulet-0/+2
2025-01-31Implement MIR, CTFE, and codegen for unsafe bindersMichael Goulet-2/+16
2025-01-31interpret: adjust vtable validity check for higher-ranked typesLukas Markeffsky-56/+14
2025-01-31Auto merge of #134424 - 1c3t3a:null-checks, r=saethlinbors-0/+1
2025-01-31Rollup merge of #136325 - compiler-errors:indirectly, r=RalfJungMatthias Krüger-1/+6
2025-01-31Insert null checks for pointer dereferences when debug assertions are enabledBastian Kersting-0/+1
2025-01-31miri: make float min/max non-deterministicRalf Jung-2/+20
2025-01-31Auto merge of #135318 - compiler-errors:vtable-fixes, r=lcnrbors-48/+53
2025-01-31Delay a bug when indexing unsized slicesMichael Goulet-1/+6
2025-01-30More assertions, tests, and miri coverageMichael Goulet-47/+52
2025-01-30add commentsLukas Markeffsky-1/+2
2025-01-30introduce `ty::Value`Lukas Markeffsky-3/+8
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-16/+25
2025-01-29Rollup merge of #136166 - RalfJung:interpet-is-alloc-live, r=compiler-errorsLeón Orell Valerian Liehr-2/+4
2025-01-28Auto merge of #136203 - matthiaskrgr:rollup-1k0f44l, r=matthiaskrgrbors-110/+120
2025-01-28Rollup merge of #136055 - fee1-dead-contrib:push-ovmyztlkptmk, r=RalfJungMatthias Krüger-110/+120
2025-01-28miri: optimize zeroed allocSpecificProtagonist-16/+25
2025-01-28Implement MIR const trait stability checksDeadbeef-110/+120
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-21/+15
2025-01-27Reapply "Auto merge of #133734 - scottmcm:lower-indexing-to-ptrmetadata, r=da...Michael Goulet-7/+31
2025-01-27Add `TooGeneric` variant to `LayoutError` and emit `Unknown` oneFedericoBruzzone-1/+1
2025-01-25Fix typo in const stability error messageDeadbeef-1/+1
2025-01-19Rollup merge of #134858 - estebank:issue-81370, r=NoratriebGuillaume Gomez-5/+34