summary refs log tree commit diff
path: root/compiler/rustc_mir_dataflow/src/value_analysis.rs
AgeCommit message (Expand)AuthorLines
2023-02-15Rollup merge of #107411 - cjgillot:dataflow-discriminant, r=oli-obkDylan DPC-61/+214
2023-02-08Rollup merge of #107271 - Zeegomo:drop-rmw, r=oli-obkMatthias Krüger-3/+3
2023-02-06Rename assign_idx methods.Camille GILLOT-23/+32
2023-02-06Complete for_each_aliasing_place.Camille GILLOT-0/+7
2023-02-06Improve value_analysis API.Camille GILLOT-7/+18
2023-02-06Limit creation of tracked place directly.Camille GILLOT-4/+18
2023-02-06Handle discriminants in dataflow-const-prop.Camille GILLOT-31/+142
2023-02-06Only exclude locals if the place is not indirect.Camille GILLOT-9/+11
2023-02-06Remove redundant test.Camille GILLOT-2/+1
2023-02-05Run SROA to fixpoint.Camille GILLOT-1/+1
2023-02-05Simplify construction of replacement map.Camille GILLOT-1/+1
2023-01-30Treat Drop as a rmw operationGiacomo Pasini-3/+3
2023-01-23Create stable metric to measure long computation in Const EvalBryan Garza-1/+2
2023-01-05Fix `uninlined_format_args` for some compiler cratesnils-1/+1
2022-12-20rustc: Remove needless lifetimesJeremy Stucki-1/+1
2022-12-19Revert "Auto merge of #103880 - b-naber:field-ty-mir, r=lcnr"Rémy Rakic-2/+2
2022-12-16Auto merge of #103880 - b-naber:field-ty-mir, r=lcnrbors-2/+2
2022-12-05fix dupe word typosRageking8-1/+1
2022-11-23use no type in ProjectionElem::Field for PlaceBuilder::UpVarb-naber-2/+2
2022-11-18couple of clippy::perf fixesMatthias Krüger-1/+1
2022-11-12Remove log statement that was commented outJannis Christopher Köhl-2/+0
2022-11-12Exclude locals completely, instead of individual placesJannis Christopher Köhl-29/+18
2022-11-11Add test for repr(transparent) with scalarJannis Christopher Köhl-2/+5
2022-11-10Simplify creation of mapJannis Christopher Köhl-52/+25
2022-11-09Fix struct field tracking and add tests for itJannis Christopher Köhl-7/+7
2022-11-09Completely remove tracking of references for nowJannis Christopher Köhl-135/+37
2022-11-07Fix rebaseJannis Christopher Köhl-2/+1
2022-11-07Small corrections of documentationJannis Christopher Köhl-3/+3
2022-11-07Limit number of tracked places, and some other perf improvementsJannis Christopher Köhl-11/+46
2022-11-07Move HasTop and HasBottom into lattice.rsJannis Christopher Köhl-26/+7
2022-11-07Explicitly match all terminatorsJannis Christopher Köhl-2/+11
2022-11-07Improve documentation of assumptionsJannis Christopher Köhl-65/+51
2022-11-07Improve documentation, plus some small changesJannis Christopher Köhl-76/+126
2022-11-07Add comment for the current retag situationJannis Christopher Köhl-1/+6
2022-11-07Only assume Stacked Borrows if -Zunsound-mir-opts is givenJannis Christopher Köhl-2/+42
2022-11-07Prevent registration inside references if target is !FreezeJannis Christopher Köhl-17/+39
2022-11-07Fix formattingJannis Christopher Köhl-2/+1
2022-11-07Remove `Unknown` state in favor of `Value(Top)`Jannis Christopher Köhl-13/+18
2022-11-07Only track (trivially) freeze typesJannis Christopher Köhl-1/+5
2022-11-07Make more assumptions explicitJannis Christopher Köhl-7/+26
2022-11-07Flood with bottom for Deinit, StorageLive and StorageDeadJannis Christopher Köhl-4/+5
2022-11-07Handle NonDivergingIntrinsic and CopyNonOverlappingJannis Christopher Köhl-3/+12
2022-11-07Update test results after rebaseJannis Christopher Köhl-2/+18
2022-11-07Fix typoJannis Christopher Köhl-1/+1
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-03-01 09:13:35 +0000