about summary refs log tree commit diff
path: root/compiler/rustc_mir_dataflow
AgeCommit message (Expand)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
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
2022-09-16Only generate `OpaqueCast` for opaque typesOli Scherer-1/+1
2022-09-16Revert "Revert "Rollup merge of #98582 - oli-obk:unconstrained_opaque_type, r...Oli Scherer-0/+1
2022-09-15Only enable the let_else feature on bootstrapest31-1/+1
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
2022-08-26Rollup merge of #100744 - 5225225:migrate-rustc-mir-dataflow, r=davidtwcoMichael Goulet-22/+96
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
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
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
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