about summary refs log tree commit diff
path: root/compiler/rustc_mir_dataflow/src
AgeCommit message (Expand)AuthorLines
2023-08-24when terminating during unwinding, show the reason whyRalf Jung-10/+10
2023-08-20give some unwind-related terminators a more clear nameRalf Jung-10/+10
2023-08-16Use Terminator::edges for backward analysis too.Camille GILLOT-1/+1
2023-08-16Only evaluate yield place after resume in liveness.Camille GILLOT-15/+31
2023-08-16Specify that method only applies statement effects.Camille GILLOT-9/+14
2023-08-16Rename YieldResumeEffect.Camille GILLOT-6/+6
2023-08-16Make TerminatorEdge plural.Camille GILLOT-39/+39
2023-08-16Rename MaybeUnreachable.Camille GILLOT-47/+53
2023-08-16Use TerminatorEdge for dataflow-const-prop.Camille GILLOT-18/+31
2023-08-16Only run MaybeInitializedPlaces once for drop elaboration.Camille GILLOT-9/+63
2023-08-16Allow apply_terminator_effect to customize edges.Camille GILLOT-295/+177
2023-08-16Introduce MaybeUnreachable.Camille GILLOT-3/+136
2023-08-16Move domain_size to GenKillAnalysis.Camille GILLOT-14/+39
2023-08-16Move initialization dataflow impls into their own module.Camille GILLOT-749/+756
2023-08-16Create bottom on-the-fly instead of cloning it.Camille GILLOT-3/+4
2023-08-16Simplify for_each_mut_borrow.Camille GILLOT-58/+9
2023-08-06Rollup merge of #114505 - ouz-a:cleanup_mir, r=RalfJungMatthias Krüger-1/+1
2023-08-06cleanup misinformation regarding has_derefouz-a-1/+1
2023-08-01Use upvar_tys in more places, make it a listMichael Goulet-8/+2
2023-07-30inline format!() args up to and including rustc_codegen_llvmMatthias Krüger-2/+2
2023-07-19Turn copy into moves during DSE.Camille GILLOT-1/+2
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-28/+32
2023-07-12Re-format let-else per rustfmt updateMark Rousskov-2/+6
2023-07-11Auto merge of #113316 - DrMeepster:underefer_perf, r=oli-obkbors-122/+184
2023-07-10optimization round 2DrMeepster-34/+96
2023-07-05Move `TyCtxt::mk_x` to `Ty::new_x` where applicableBoxy-5/+8
2023-07-04bring back un_derefer and rewrite it againDrMeepster-105/+105
2023-06-29Merge `un_derefer` into `MovePathLookup`DrMeepster-115/+129
2023-06-27Export AnalysisResults trait in rustc_mir_dataflowFlorian Groult-5/+5
2023-06-27Auto merge of #112693 - ericmarkmartin:use-more-placeref, r=spastorinobors-14/+5
2023-06-25use PlaceRef abstractions more consistentlyEric Mark Martin-14/+5
2023-06-20merge `BorrowKind::Unique` into `BorrowKind::Mut`Ziru Niu-1/+1
2023-06-19Rollup merge of #112232 - fee1-dead-contrib:match-eq-const-msg, r=b-naberMichael Goulet-13/+5
2023-06-19Auto merge of #112617 - lqd:dump-mir-dataflow, r=tmiaskobors-7/+7
2023-06-18Better error for non const `PartialEq` call generated by `match`Deadbeef-13/+5
2023-06-16remove box_free and replace with drop implDrMeepster-74/+26
2023-06-14make mir dataflow graphviz dumps opt-inRémy Rakic-7/+7
2023-06-08Auto merge of #108293 - Jarcho:mut_analyses, r=eholkbors-241/+426
2023-05-29unique borrows are mutating useslcnr-2/+1
2023-05-25Remove DesugaringKind::Replace.Camille GILLOT-3/+9
2023-05-18Take MIR dataflow analyses by mutable reference.Jason Newcomb-241/+426
2023-05-17Rollup merge of #110930 - b-naber:normalize-elaborate-drops, r=cjgillotDylan DPC-0/+1
2023-05-10Auto merge of #110820 - cjgillot:faster-dcp, r=oli-obkbors-124/+166
2023-05-10don't inline polymorphic adt instances whose fields contain projectionsb-naber-8/+3
2023-05-09Explicitly skip arguments.Camille GILLOT-0/+1
2023-05-09Implement SSA-based reference propagation.Camille GILLOT-1/+67
2023-05-09Prevent stack overflow.Camille GILLOT-1/+2
2023-05-09Add a few comments.Camille GILLOT-6/+12
2023-05-09Do not flood on copy_nonoverlapping.Camille GILLOT-5/+7
2023-05-09Extract handle_set_discriminant.Camille GILLOT-2/+20