about summary refs log tree commit diff
path: root/compiler/rustc_mir_dataflow/src/framework
AgeCommit message (Expand)AuthorLines
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
2022-05-08Use sparse representation of switch sourcesTomasz Miąsko-1/+1
2022-05-08Avoid constructing switch sources unless necessaryTomasz Miąsko-3/+4
2022-04-30Fix -Zdump-mir-dataflow by implementing DebugWithContext for ChunkedBitSetTomasz Miąsko-36/+62
2022-03-27NitDylan MacKenzie-3/+1
2022-03-26Address review commentsSamuel E. Moelius III-7/+11
2022-03-24Implement `apply_switch_int_edge_effects` for backward analysesSamuel E. Moelius III-7/+55
2022-02-23Introduce `ChunkedBitSet` and use it for some dataflow analyses.Nicholas Nethercote-22/+111
2022-02-19Adopt let else in more placesest31-7/+4
2021-12-16Remove `in_band_lifetimes` from `rustc_mir_dataflow`LegionMammal978-46/+57
2021-12-03Add initial AST and MIR support for unwinding from inline assemblyAmanieu d'Antras-31/+110
2021-10-23Ignore errors re: unreachable blocks in dataflow cursor unit testsDylan MacKenzie-0/+9
2021-09-07Rename rustc_mir to rustc_const_eval.Camille GILLOT-1/+1
2021-09-07Move the dataflow framework to its own crate.Camille GILLOT-0/+3304