about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/mir
AgeCommit message (Expand)AuthorLines
2025-10-02mir-opt: Eliminate dead statements even if they are used by debuginfosdianqk-0/+25
2025-10-02mir-opt: Eliminate trivial unnecessary storage annotationsdianqk-10/+4
2025-10-02simplifycfg: Preserve debuginfos when merging bbsdianqk-0/+8
2025-10-02mir-opt: Eliminate dead ref statementsdianqk-8/+199
2025-10-02Auto merge of #147055 - beepster4096:subtype_is_not_a_projection, r=lcnrbors-28/+14
2025-09-29more renameBoxy Uwu-1/+1
2025-09-27Rename various "concrete opaque type" terminology to say "hidden type"Boxy Uwu-4/+3
2025-09-26ProjectionElem::Subtype -> CastKind::Subtypebeepster4096-28/+14
2025-09-24const validation: better error for maybe-null referencesRalf Jung-0/+2
2025-09-24const-eval: improve and actually test the errors when pointers might be outsi...Ralf Jung-4/+1
2025-09-18Rollup merge of #146566 - cjgillot:mir-overlap-lint, r=saethlinStuart Cook-0/+17
2025-09-17Lint overlapping assignments in MIR.Camille Gillot-0/+17
2025-09-17Auto merge of #146331 - RalfJung:copy-prov-repeat, r=oli-obkbors-60/+60
2025-09-17Rollup merge of #146564 - cjgillot:mir-nolen, r=scottmcmStuart Cook-21/+0
2025-09-16Add test.Camille Gillot-2/+2
2025-09-16Remove Rvalue::Len.Camille Gillot-21/+0
2025-09-16Rollup merge of #146402 - RalfJung:aggregate-init, r=saethlinStuart Cook-3/+5
2025-09-10clarify current MIR semantics re: overlapping assignmentRalf Jung-3/+5
2025-09-10Rollup merge of #146391 - beepster4096:trimnt, r=saethlinMatthias Krüger-5/+7
2025-09-10Rollup merge of #146178 - folkertdev:static-align, r=jdonszelmann,ralfjung,tr...Matthias Krüger-1/+10
2025-09-10avoid calling insert_presorted more than onceRalf Jung-10/+16
2025-09-10interpret: copy_provenance: avoid large intermediate buffer for large repeat ...Ralf Jung-60/+54
2025-09-09don't trim paths in mir dumping when filtering and at the top of the filebeepster4096-5/+7
2025-09-09allow `#[rustc_align_static(N)]` on `static`sFolkert de Vries-1/+10
2025-09-09Auto merge of #145717 - BoxyUwU:erase_regions_rename, r=lcnrbors-5/+7
2025-09-09erase_regions to erase_and_anonymize_regionsBoxy-5/+7
2025-09-09Rollup merge of #146324 - RalfJung:no-ptr-fragment, r=oli-obkStuart Cook-2/+19
2025-09-08const-eval: disable pointer fragment supportRalf Jung-2/+19
2025-09-07Rollup merge of #146297 - cjgillot:may-observe-address, r=saethlinMatthias Krüger-0/+18
2025-09-07Introduce PlaceContext::may_observe_address.Camille GILLOT-0/+18
2025-09-05rustc_middle: clippy fixesMarijn Schouten-12/+12
2025-09-01Introduce `MirDumper` and `MirWriter`.Nicholas Nethercote-142/+144
2025-09-01Indent some functions.Nicholas Nethercote-322/+322
2025-09-01Use trait object references for closures.Nicholas Nethercote-41/+21
2025-09-01Avoid unnecessary `mut`-ness for various closures.Nicholas Nethercote-14/+14
2025-09-01Inline and remove `dump_matched_mir_node`.Nicholas Nethercote-25/+11
2025-08-27Auto merge of #140737 - amandasystems:revised-constraint-search, r=lcnrbors-2/+9
2025-08-26add a flag to codegen fn attrs for foreign itemsJana Dönszelmann-1/+1
2025-08-25Remove bug comments from Repeat variantRyan Lee-5/+0
2025-08-23Rollup merge of #145540 - nia-e:prov-map-range, r=RalfJungSamuel Tardieu-0/+11
2025-08-22Rollup merge of #145695 - cjgillot:place-elem-map, r=oli-obk,lcnrJacob Pratt-1/+35
2025-08-22interpret/allocation: get_range on ProvenanceMapNia Espera-0/+11
2025-08-22Region inference: Use outlives-static constraints in constraint searchAmanda Stjerna-2/+9
2025-08-22Auto merge of #145358 - Kobzol:symbol-name-sort, r=nnethercotebors-3/+20
2025-08-21Introduce ProjectionElem::try_map.Camille GILLOT-1/+35
2025-08-19Rollup merge of #145510 - cjgillot:visit-async-drop, r=davidtwco许杰友 Jieyou Xu (Joe)-2/+12
2025-08-18Rollup merge of #145206 - scrabsha:push-uxovoqzrxnlx, r=jdonszelmannStuart Cook-42/+0
2025-08-17Auto merge of #144081 - RalfJung:const-ptr-fragments, r=oli-obkbors-116/+129
2025-08-16Visit and print async_fut local for async drop.Camille Gillot-2/+12
2025-08-15Sort mono items by symbol nameJakub Beránek-3/+20