about summary refs log tree commit diff
path: root/compiler/rustc_mir_dataflow/src/framework
AgeCommit message (Expand)AuthorLines
2023-08-24when terminating during unwinding, show the reason whyRalf Jung-4/+4
2023-08-16Specify that method only applies statement effects.Camille GILLOT-9/+14
2023-08-16Make TerminatorEdge plural.Camille GILLOT-17/+17
2023-08-16Rename MaybeUnreachable.Camille GILLOT-39/+46
2023-08-16Allow apply_terminator_effect to customize edges.Camille GILLOT-187/+90
2023-08-16Introduce MaybeUnreachable.Camille GILLOT-1/+134
2023-08-16Move domain_size to GenKillAnalysis.Camille GILLOT-14/+3
2023-08-16Create bottom on-the-fly instead of cloning it.Camille GILLOT-3/+4
2023-06-27Export AnalysisResults trait in rustc_mir_dataflowFlorian Groult-1/+1
2023-06-19Rollup merge of #112232 - fee1-dead-contrib:match-eq-const-msg, r=b-naberMichael Goulet-11/+3
2023-06-18Better error for non const `PartialEq` call generated by `match`Deadbeef-11/+3
2023-06-14make mir dataflow graphviz dumps opt-inRémy Rakic-7/+7
2023-06-08Auto merge of #108293 - Jarcho:mut_analyses, r=eholkbors-156/+335
2023-05-25Remove DesugaringKind::Replace.Camille GILLOT-1/+1
2023-05-18Take MIR dataflow analyses by mutable reference.Jason Newcomb-156/+335
2023-05-09Make HasTop and HasBottom consts.Camille GILLOT-14/+6
2023-04-24Split `{Idx, IndexVec, IndexSlice}` into their own modulesMaybe Waffle-5/+5
2023-04-10Fix typos in compilerDaniPopes-8/+8
2023-04-06Rename `Abort` terminator to `Terminate`Gary Guo-1/+1
2023-04-06Refactor unwind from Option to a new enumGary Guo-9/+9
2023-04-05Rollup merge of #109847 - clubby789:graphviz-reachable, r=oli-obkYuki Okushi-2/+10
2023-04-05Disable path trimming during graphviz outputclubby789-1/+2
2023-04-01Only create graphviz nodes for reachable MIR bb'sclubby789-2/+10
2023-03-07Remove DropAndReplace terminatorGiacomo Pasini-1/+0
2023-02-23Remove dead unwinds before drop elaborationTomasz Miąsko-58/+5
2023-01-05Fix `uninlined_format_args` for some compiler cratesnils-11/+11
2023-01-02Fix handling of dead unwinds in backward analysesTomasz Miąsko-1/+1
2022-12-11Rollup merge of #105537 - kadiwa4:remove_some_imports, r=fee1-deadMatthias Krüger-1/+1
2022-12-10compiler: remove unnecessary imports and qualified pathsKaDiWa-1/+1
2022-12-09Remove unneeded field from `SwitchTargets`Jakob Degen-2/+2
2022-12-01Create `format_args` as late as possibleOli Scherer-8/+1
2022-11-07Move HasTop and HasBottom into lattice.rsJannis Christopher Köhl-0/+34
2022-11-07Add initial version of value analysis and dataflow constant propagationJannis Christopher Köhl-1/+4
2022-08-29Rollup merge of #99027 - tmiasko:basic-blocks, r=oli-obkMatthias Krüger-13/+10
2022-08-26Replace `Body::basic_blocks()` with field accessTomasz Miąsko-13/+10
2022-08-23Migrate rustc_mir_dataflow to diagnostic structs5225225-6/+7
2022-08-22use type alias impl trait in `outlives_bounds::InferCtxtExt`SparrowLii-1/+2
2022-07-13Rename `debugging_opts` to `unstable_opts`Joshua Nelson-3/+3
2022-07-07Rollup merge of #98981 - pierwill:pierwill/dataflow-docs-edits, r=Dylan-DPCDylan DPC-8/+8
2022-07-07Move `switch_sources` from Body to BasicBlocksTomasz Miąsko-1/+1
2022-07-07Move `predecessors` from Body to BasicBlocksTomasz Miąsko-1/+1
2022-07-07Move `is_cfg_cyclic` from Body to BasicBlocksTomasz Miąsko-1/+1
2022-07-06Edit `rustc_mir_dataflow::framework` documentationpierwill-8/+8
2022-07-05Edit `rustc_mir_dataflow::framework::lattice::FlatSet` docspierwill-5/+7
2022-06-16Move/rename `lazy::Sync{OnceCell,Lazy}` to `sync::{Once,Lazy}Lock`Maybe Waffle-2/+2
2022-06-07Change `Direction::{is_forward,is_backward}` functions into constantsTomasz Miąsko-22/+16
2022-05-23Refactor call terminator to always hold a destination placeJakob Degen-12/+20
2022-05-22Lifetime variance fixes for rustcMichael Goulet-4/+4
2022-05-17Change `Successors` to `impl Iterator<Item = BasicBlock>`SparrowLii-1/+1
2022-05-10only_local: always check for misuselcnr-5/+2