about summary refs log tree commit diff
path: root/compiler/rustc_mir_dataflow
AgeCommit message (Collapse)AuthorLines
2022-11-07Only allow registration of scalars for nowJannis Christopher Köhl-18/+50
2022-11-07Handle StorageLiveJannis Christopher Köhl-4/+5
2022-11-07Add comment about downcast projection elementJannis Christopher Köhl-1/+4
2022-11-07Use StorageDead and Deinit to flood placeJannis Christopher Köhl-4/+8
2022-11-07Flood place on dropJannis Christopher Köhl-1/+5
2022-11-07Remove superfluous lineJannis Christopher Köhl-1/+0
2022-11-07Add more documentationJannis Christopher Köhl-2/+29
2022-11-07Add tracking of unreachabilityJannis Christopher Köhl-24/+74
2022-11-07Ignore terminators explicitlyJannis Christopher Köhl-5/+15
2022-11-07Reject registration of downcasts for nowJannis Christopher Köhl-2/+7
2022-11-07Move handling of references and simplify floodingJannis Christopher Köhl-44/+71
2022-11-07Clarify place expressions vs place objectsJannis Christopher Köhl-9/+16
2022-11-07Begin a semi-formal argument for correctnessJannis Christopher Köhl-0/+28
2022-11-07Add additional flooding when assigning a value and corresponding testJannis Christopher Köhl-1/+3
2022-11-07Clarify registration and tracking of referencesJannis Christopher Köhl-2/+8
2022-11-07Fix spellingJannis Christopher Köhl-1/+1
2022-11-07Try field type normalization instead of forcing itJannis Christopher Köhl-4/+4
2022-11-07Add initial version of value analysis and dataflow constant propagationJannis Christopher Köhl-1/+682
2022-11-04Some tracing and comment cleanupsOli Scherer-3/+2
2022-10-23Migrate all diagnosticsNilstrieb-10/+10
2022-10-08Rollup merge of #102675 - ouz-a:mir-technical-debt, r=oli-obkMatthias Krüger-1/+2
Remove `mir::CastKind::Misc` As discussed in #97649 `mir::CastKind::Misc` is not clear, this PR addresses that by creating a new enum variant for every valid cast. r? ````@oli-obk````
2022-10-06Remove `mir::CastKind::Misc`ouz-a-1/+2
2022-09-29Remove from compiler/ cratesreez12g-1/+0
2022-09-26remove cfg(bootstrap)Pietro Albini-1/+0
2022-09-21UPDATE - rename DiagnosticHandler macro to DiagnosticJhonny Bill Mena-11/+11
2022-09-21UPDATE - rename DiagnosticHandler trait to IntoDiagnosticJhonny Bill Mena-11/+11
2022-09-20Auto merge of #99806 - oli-obk:unconstrained_opaque_type, r=estebankbors-1/+2
Allow patterns to constrain the hidden type of opaque types fixes #96572 reverts a revert as original PR was a perf regression that was fixed by reverting it: https://github.com/rust-lang/rust/pull/99368#issuecomment-1186587864) TODO: * check if https://github.com/rust-lang/rust/issues/99685 is avoided
2022-09-16Only generate `OpaqueCast` for opaque typesOli Scherer-1/+1
2022-09-16Revert "Revert "Rollup merge of #98582 - oli-obk:unconstrained_opaque_type, ↵Oli Scherer-0/+1
r=estebank"" This reverts commit 4a742a691e7dd2522bad68b86fe2fd5a199d5561.
2022-09-15Only enable the let_else feature on bootstrapest31-1/+1
On later stages, the feature is already stable. Result of running: rg -l "feature.let_else" compiler/ src/librustdoc/ library/ | xargs sed -s -i "s#\\[feature.let_else#\\[cfg_attr\\(bootstrap, feature\\(let_else\\)#"
2022-09-06Generalize the Assume intrinsic statement to a general Intrinsic statementOli Scherer-6/+3
2022-09-06Lower the assume intrinsic to a MIR statementOli Scherer-0/+3
2022-08-29Rollup merge of #99027 - tmiasko:basic-blocks, r=oli-obkMatthias Krüger-17/+14
Replace `Body::basic_blocks()` with field access Since the refactoring in #98930, it is possible to borrow the basic blocks independently from other parts of MIR by accessing the `basic_blocks` field directly. Replace unnecessary `Body::basic_blocks()` method with a direct field access, which has an additional benefit of borrowing the basic blocks only.
2022-08-26Rollup merge of #100744 - 5225225:migrate-rustc-mir-dataflow, r=davidtwcoMichael Goulet-22/+96
Migrate rustc_mir_dataflow to diagnostic structs
2022-08-26Replace `Body::basic_blocks()` with field accessTomasz Miąsko-17/+14
2022-08-25Add method that applies DefUse effectTomasz Miąsko-15/+11
2022-08-25Fix liveness analysis for yield terminatorsTomasz Miąsko-32/+61
A resume place is evaluated and assigned to only after a yield terminator resumes. Ensure that locals used when evaluating the resume place are live across the yield.
2022-08-23Rename rustc_mir_dataflow diagnostic to mir_dataflow5225225-10/+10
2022-08-23Migrate rustc_mir_dataflow to diagnostic structs5225225-22/+96
2022-08-22use type alias impl trait in `outlives_bounds::InferCtxtExt`SparrowLii-1/+2
2022-08-01Remove redundant `TransferWrapper` structTomasz Miąsko-14/+2
2022-07-29Auto merge of #99667 - ouz-a:some_branch, r=oli-obkbors-22/+17
Optimize `UnDerefer` Addresses the performance [issues](https://github.com/rust-lang/rust/pull/98145#issuecomment-1183548597) faced here. r? `@oli-obk`
2022-07-28type alias covers whole returnouz-a-6/+7
2022-07-28create type aliasouz-a-16/+10
2022-07-25remove cloneouz-a-1/+1
2022-07-24fix import errorouz-a-1/+1
2022-07-24optimize un_dereferouz-a-21/+21
2022-07-20Auto merge of #99058 - michaelwoerister:remove-stable-set-and-map, r=nagisabors-1/+1
Remove the unused StableSet and StableMap types from rustc_data_structures. The current implementation is not "stable" in the same sense that `HashStable` and `StableHasher` are stable, i.e. across compilation sessions. So, in my opinion, it's better to remove those types (which are basically unused anyway) than to give the wrong impression that these are safe for incr. comp. I plan to provide new "stable" collection types soon that can be used to replace `FxHashMap` and `FxHashSet` in query results (see [draft](https://github.com/michaelwoerister/rust/commit/69d03ac7a7d651a397ab793e9d78f8fce3edf7a6)). It's unsound that `HashMap` and `HashSet` implement `HashStable` (see https://github.com/rust-lang/rust/issues/98890 for a recent P-critical bug caused by this) -- so we should make some progress there.
2022-07-20Remove unused StableMap and StableSet types from rustc_data_structuresMichael Woerister-1/+1
2022-07-20Revert "Rollup merge of #98582 - oli-obk:unconstrained_opaque_type, r=estebank"Oli Scherer-1/+0
This reverts commit 6f8fb911ad504b77549cf3256a09465621beab9d, reversing changes made to 7210e46dc69a4b197a313d093fe145722c248b7d.
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-27 06:43:05 +0000