summary refs log tree commit diff
path: root/compiler/rustc_mir_dataflow/src
AgeCommit message (Collapse)AuthorLines
2023-01-17Remove double spaces after dots in commentsMaybe Waffle-1/+1
2023-01-05Fix `uninlined_format_args` for some compiler cratesnils-15/+15
Convert all the crates that have had their diagnostic migration completed (except save_analysis because that will be deleted soon and apfloat because of the licensing problem).
2023-01-02Fix handling of dead unwinds in backward analysesTomasz Miąsko-1/+1
Dead unwinds set contains a head of an unreachable unwind edge.
2022-12-20rustc: Remove needless lifetimesJeremy Stucki-3/+3
2022-12-20Auto merge of #105880 - Nilstrieb:make-newtypes-less-not-rust, r=oli-obkbors-9/+6
Improve syntax of `newtype_index` This makes it more like proper Rust and also makes the implementation a lot simpler. Mostly just turns weird flags in the body into proper attributes. It should probably also be converted to an attribute macro instead of function-like, but that can be done in a future PR.
2022-12-19Revert "Auto merge of #103880 - b-naber:field-ty-mir, r=lcnr"Rémy Rakic-3/+3
This reverts commit 03770f0e2b60c02db8fcf52fed5fb36aac70cedc, reversing changes made to 01ef4b21dc5251b58bd9c6fd6face2ae95d56da1.
2022-12-18A few small cleanups for `newtype_index`Nilstrieb-6/+3
Remove the `..` from the body, only a few invocations used it and it's inconsistent with rust syntax. Use `;` instead of `,` between consts. As the Rust syntax gods inteded.
2022-12-18Make `#[debug_format]` an attribute in `newtype_index`Nilstrieb-3/+3
This removes the `custom` format functionality as its only user was trivially migrated to using a normal format. If a new use case for a custom formatting impl pops up, you can add it back.
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