about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src
AgeCommit message (Expand)AuthorLines
2025-07-07Auto merge of #143601 - matthiaskrgr:rollup-9iw2sqk, r=matthiaskrgrbors-6/+6
2025-07-07Rollup merge of #143584 - fee1-dead-contrib:push-skswvrwsrmll, r=RalfJungMatthias Krüger-6/+6
2025-07-07Auto merge of #143182 - xdoardo:more-addrspace, r=workingjubileebors-2/+2
2025-07-07make `Machine::load_mir` infallibleDeadbeef-6/+6
2025-07-07compiler: Parse `p-` specs in datalayout string, allow definition of custom d...Edoardo Marangoni-2/+2
2025-07-06interpret: rename StackPopCleanupRalf Jung-40/+40
2025-07-06Rollup merge of #143477 - folkertdev:use-is-multiple-of, r=joshtriplettMatthias Krüger-2/+2
2025-07-05Stop using Key trait randomlyMichael Goulet-3/+2
2025-07-05use `is_multiple_of` instead of manual moduloFolkert de Vries-2/+2
2025-07-03Rollup merge of #142876 - JonathanBrouwer:target_feature_parser, r=oli-obkJana Dönszelmann-1/+1
2025-07-03Rollup merge of #134006 - klensy:typos, r=nnethercoteJana Dönszelmann-3/+3
2025-07-03setup CI and tidy to use typos for spellchecking and fix few typosklensy-3/+3
2025-07-03Port `#[target_feature]` to the new attribute parsing infrastructureJonathan Brouwer-1/+1
2025-07-03Rollup merge of #143327 - RalfJung:miri-type-validity-error, r=oli-obkMatthias Krüger-41/+44
2025-07-02miri: improve errors for type validity assertion failuresRalf Jung-41/+44
2025-07-02interpret: move the native call preparation logic into MiriRalf Jung-34/+27
2025-07-01Remove support for dyn*Michael Goulet-108/+15
2025-06-30Rollup merge of #143140 - RalfJung:ptr-into-parts, r=oli-obkMatthias Krüger-16/+19
2025-06-30Remove the nullary intrinsic const eval logic and treat them like other intri...Oli Scherer-116/+73
2025-06-29rename Pointer::from_addr_invalid to match strict provenance APIRalf Jung-4/+4
2025-06-29give Pointer::into_parts a more scary name and offer a safer alternativeRalf Jung-12/+15
2025-06-28Rollup merge of #142708 - Darksonn:location-len-without-nul, r=Mark-SimulacrumMatthias Krüger-7/+5
2025-06-28Auto merge of #141759 - 1c3t3a:discriminants-query, r=saethlinbors-0/+1
2025-06-27Rollup merge of #143096 - RalfJung:tag_for_variant, r=compiler-errorsMatthias Krüger-9/+4
2025-06-27Rollup merge of #143092 - RalfJung:const-check-lifetime-ext, r=oli-obkMatthias Krüger-17/+9
2025-06-27Rollup merge of #143046 - RalfJung:zst-unsafe-cell, r=lcnr,oli-obkMatthias Krüger-17/+22
2025-06-27Rollup merge of #139858 - oli-obk:new-const-traits-syntax, r=fee1-deadMatthias Krüger-8/+8
2025-06-27tag_for_variant: properly pass TypingEnvRalf Jung-9/+4
2025-06-27const checks: avoid 'top-level scope' terminologyRalf Jung-17/+9
2025-06-27Rollup merge of #143084 - RalfJung:const-eval-recursive-static-write, r=oli-obkGuillaume Gomez-18/+40
2025-06-27Rollup merge of #143051 - Stypox:tracing-validity, r=RalfJungGuillaume Gomez-4/+11
2025-06-27const-eval: error when initializing a static writes to that staticRalf Jung-18/+40
2025-06-27Add InterpCx::layout_of with tracing, shadowing LayoutOfStypox-17/+28
2025-06-27Insert checks for enum discriminants when debug assertions are enabledBastian Kersting-0/+1
2025-06-27Add tracing for instantiate_from_frame_and_normalize_erasing_regionsStypox-1/+7
2025-06-27Add tracing to validate_operandStypox-0/+7
2025-06-27Auto merge of #143074 - compiler-errors:rollup-cv64hdh, r=compiler-errorsbors-92/+34
2025-06-26clarify and unify 'transient mutable borrow' errorsRalf Jung-34/+12
2025-06-26const-eval: allow constants to refer to mutable/external memory, but reject s...Ralf Jung-58/+22
2025-06-26Rollup merge of #141311 - folkertdev:tidy-natural-sort, r=jieyouxuMatthias Krüger-3/+3
2025-06-26Change const trait bound syntax from ~const to [const]Oli Scherer-8/+8
2025-06-26Fix documentation of validate_operandStypox-4/+4
2025-06-26make size_and_align_of_mplace work on all projectableRalf Jung-22/+16
2025-06-26const validation: properly ignore zero-sized UnsafeCellRalf Jung-3/+14
2025-06-25make `tidy-alphabetical` use a natural sortFolkert de Vries-3/+3
2025-06-25Rollup merge of #142724 - xizheyin:avoid_overwrite_args, r=oli-obkJana Dönszelmann-0/+3
2025-06-25Add runtime check to avoid overwrite arg easily in diag and store and restore...xizheyin-0/+3
2025-06-24Rollup merge of #135731 - frank-king:feature/pin-borrow, r=eholk,traviscrossJubilee-5/+7
2025-06-22centralize `-Zmin-function-alignment` logicFolkert de Vries-6/+1
2025-06-20Rollup merge of #142575 - oli-obk:sneaky-self-init, r=RalfJungTrevor Gross-1/+6