about summary refs log tree commit diff
path: root/compiler/rustc_mir_dataflow/src
AgeCommit message (Expand)AuthorLines
2023-10-02have better explanation for `relate_types`ouz-a-4/+3
2023-10-02Add docs, remove code, change subtyper codeouz-a-4/+5
2023-10-02subtyping_projectionsouz-a-0/+4
2023-09-28Some tracing cleanupsOli Scherer-4/+3
2023-09-24Auto merge of #115794 - cjgillot:aggregate-no-box, r=davidtwcobors-1/+3
2023-09-23Remove GeneratorWitness and rename GeneratorWitnessMIR.Camille GILLOT-4/+2
2023-09-22Rollup merge of #115770 - ouz-a:match_elem_builder, r=lcnrMatthias Krüger-32/+113
2023-09-22match array for constantindex and subsliceouz-a-8/+9
2023-09-22better bug messageouz-a-3/+7
2023-09-22remove inner matchouz-a-6/+4
2023-09-21rename mir::Constant -> mir::ConstOperand, mir::ConstKind -> mir::ConstRalf Jung-5/+5
2023-09-20Do not create a DerefLen place for `Box<[T]>`.Camille GILLOT-1/+3
2023-09-12very verbose error handlingouz-a-20/+86
2023-09-12match on elem firstouz-a-33/+45
2023-09-11Support non-scalar constants.Camille GILLOT-1/+26
2023-09-07Correct comment and assumption.Camille GILLOT-6/+5
2023-09-06Support array length.Camille GILLOT-0/+36
2023-09-05Support non-trivial scalars in ConstProp.Camille GILLOT-45/+29
2023-09-02Take `&mut Results` in `ResultsVisitor`Jason Newcomb-12/+12
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