about summary refs log tree commit diff
path: root/compiler/rustc_mir_dataflow/src
AgeCommit message (Collapse)AuthorLines
2022-12-16Auto merge of #103880 - b-naber:field-ty-mir, r=lcnrbors-3/+3
Use non-ascribed type as field's type in mir Fixes https://github.com/rust-lang/rust/issues/96514 r? `@lcnr`
2022-12-14Remove one more usage of `mk_substs_trait`Oli Scherer-2/+6
2022-12-13Don't require owned data in `MaybeStorageLive`Jakob Degen-6/+7
2022-12-13Auto merge of #105436 - ↵bors-51/+46
nnethercote:inline-place_contents_drop_state_cannot_differ, r=spastorino Inline and remove `place_contents_drop_state_cannot_differ`. It has a single call site and is hot enough to be worth inlining. And make sure `is_terminal_path` is inlined, too. r? `@ghost`
2022-12-11Rollup merge of #105537 - kadiwa4:remove_some_imports, r=fee1-deadMatthias Krüger-1/+1
compiler: remove unnecessary imports and qualified paths Some of these imports were necessary before Edition 2021, others were already in the prelude. I hope it's fine that this PR is so spread-out across files :/
2022-12-10compiler: remove unnecessary imports and qualified pathsKaDiWa-1/+1
2022-12-09Remove unneeded field from `SwitchTargets`Jakob Degen-6/+4
2022-12-08Inline and remove `place_contents_drop_state_cannot_differ`.Nicholas Nethercote-51/+46
It has a single call site and is hot enough to be worth inlining. And make sure `is_terminal_path` is inlined, too.
2022-12-05fix dupe word typosRageking8-1/+1
2022-12-01Create `format_args` as late as possibleOli Scherer-8/+1
2022-11-26Rewrite dest prop.Jakob Degen-124/+0
This fixes a number of correctness issues from the previous version. Additionally, we use a new strategy which has much better performance charactersitics and also finds more opportunities to apply the optimization.
2022-11-23use no type in ProjectionElem::Field for PlaceBuilder::UpVarb-naber-3/+3
2022-11-21Allow iterators instead of requiring slices that will get turned into iteratorsOli Scherer-1/+1
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/+41
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
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-27 01:45:16 +0000