git.lizzy.rs Git - rust.git/history - compiler/rustc_mir_dataflow/src/value

]> git.lizzy.rs Git - rust.git/history - compiler/rustc_mir_dataflow/src/value_analysis.rs

[rust.git] / compiler / rustc_mir_dataflow / src / value_analysis.rs

2022-11-19	bors	Auto merge of #97870 - eggyal:inplace_fold_spec, r...	blob \| commitdiff \| raw
2022-11-18	Manish Goregaokar	Rollup merge of #103701 - WaffleLapkin:__points-at...	blob \| commitdiff \| raw
2022-11-18	Manish Goregaokar	Rollup merge of #103456 - scottmcm:fix-unchecked-shifts...	blob \| commitdiff \| raw
2022-11-18	Manish Goregaokar	Rollup merge of #103378 - nagisa:fix-infinite-offset...	blob \| commitdiff \| raw
2022-11-18	Manish Goregaokar	Rollup merge of #102977 - lukas-code:is-sorted-hrtb...	blob \| commitdiff \| raw
2022-11-18	Matthias Krüger	Rollup merge of #104494 - GuillaumeGomez:migrate-gui...	blob \| commitdiff \| raw
2022-11-18	Matthias Krüger	Rollup merge of #103594 - maniwani:fix-issue-91417...	blob \| commitdiff \| raw
2022-11-18	Matthias Krüger	Rollup merge of #103405 - chenyukang:yukang/fix-103381...	blob \| commitdiff \| raw
2022-11-18	Matthias Krüger	Rollup merge of #103386 - compiler-errors:no-coerceunsi...	blob \| commitdiff \| raw
2022-11-18	Matthias Krüger	Rollup merge of #101162 - rajputrajat:master, r=davidtwco	blob \| commitdiff \| raw
2022-11-17	Matthias Krüger	Rollup merge of #104433 - TaKO8Ki:fix-104392, r=estebank	blob \| commitdiff \| raw
2022-11-17	Matthias Krüger	Rollup merge of #104366 - GuillaumeGomez:simplify-setti...	blob \| commitdiff \| raw
2022-11-17	Matthias Krüger	Rollup merge of #103852 - compiler-errors:rpitit-early...	blob \| commitdiff \| raw
2022-11-17	bors	Auto merge of #104361 - vladimir-ea:watchos_fix_linking...	blob \| commitdiff \| raw
2022-11-17	bors	Auto merge of #104219 - bryangarza:async-track-caller...	blob \| commitdiff \| raw
2022-11-17	bors	Auto merge of #104205 - clubby789:grow-rc, r=thomcc	blob \| commitdiff \| raw
2022-11-17	bors	Auto merge of #104170 - cjgillot:hir-def-id, r=fee1...	blob \| commitdiff \| raw
2022-11-17	bors	Auto merge of #103779 - the8472:simd-str-contains,...	blob \| commitdiff \| raw
2022-11-16	bors	Auto merge of #104456 - RalfJung:miri, r=RalfJung	blob \| commitdiff \| raw
2022-11-16	Matthias Krüger	Rollup merge of #104394 - oli-obk:suggest_method_call...	blob \| commitdiff \| raw
2022-11-16	Matthias Krüger	Rollup merge of #104137 - StackDoubleFlow:err-lsc-unsup...	blob \| commitdiff \| raw
2022-11-16	Matthias Krüger	Rollup merge of #103750 - calebzulawski:master, r=worki...	blob \| commitdiff \| raw
2022-11-16	Matthias Krüger	Rollup merge of #104425 - notriddle:notriddle/main...	blob \| commitdiff \| raw
2022-11-16	Matthias Krüger	Rollup merge of #104424 - notriddle:notriddle/popover...	blob \| commitdiff \| raw
2022-11-16	Matthias Krüger	Rollup merge of #104419 - Ayush1325:test-issue-30490...	blob \| commitdiff \| raw
2022-11-16	Matthias Krüger	Rollup merge of #104401 - RalfJung:mpsc-leak, r=Amanieu	blob \| commitdiff \| raw
2022-11-16	Matthias Krüger	Rollup merge of #104348 - fmease:iat-vis-stab, r=cjgillot	blob \| commitdiff \| raw
2022-11-16	Matthias Krüger	Rollup merge of #104193 - TaKO8Ki:fix-104142, r=cjgillot	blob \| commitdiff \| raw
2022-11-16	Matthias Krüger	Rollup merge of #103489 - WaffleLapkin:byte_offset_from...	blob \| commitdiff \| raw
2022-11-16	bors	Auto merge of #102935 - ajtribick:display-float-0.5...	blob \| commitdiff \| raw
2022-11-15	Kagami Sascha Rosy...	Merge branch 'master' into patch-2	blob \| commitdiff \| raw
2022-11-15	bors	Auto merge of #104054 - RalfJung:byte-provenance, r...	blob \| commitdiff \| raw
2022-11-15	bors	Auto merge of #104437 - matthiaskrgr:rollup-n5jdg9v...	blob \| commitdiff \| raw
2022-11-15	bors	Auto merge of #101168 - jachris:dataflow-const-prop...	blob \| commitdiff \| raw
2022-11-12	Jannis Christopher...	Remove log statement that was commented out	blob \| commitdiff \| raw
2022-11-12	Jannis Christopher...	Exclude locals completely, instead of individual places	blob \| commitdiff \| raw \| diff to current
2022-11-11	Jannis Christopher...	Add test for repr(transparent) with scalar	blob \| commitdiff \| raw \| diff to current
2022-11-10	Jannis Christopher...	Simplify creation of map	blob \| commitdiff \| raw \| diff to current
2022-11-09	Jannis Christopher...	Fix struct field tracking and add tests for it	blob \| commitdiff \| raw \| diff to current
2022-11-09	Jannis Christopher...	Completely remove tracking of references for now	blob \| commitdiff \| raw \| diff to current
2022-11-07	Jannis Christopher...	Fix rebase	blob \| commitdiff \| raw \| diff to current
2022-11-07	Jannis Christopher...	Small corrections of documentation	blob \| commitdiff \| raw \| diff to current
2022-11-07	Jannis Christopher...	Limit number of tracked places, and some other perf...	blob \| commitdiff \| raw \| diff to current
2022-11-07	Jannis Christopher...	Move HasTop and HasBottom into lattice.rs	blob \| commitdiff \| raw \| diff to current
2022-11-07	Jannis Christopher...	Explicitly match all terminators	blob \| commitdiff \| raw \| diff to current
2022-11-07	Jannis Christopher...	Improve documentation of assumptions	blob \| commitdiff \| raw \| diff to current
2022-11-07	Jannis Christopher...	Improve documentation, plus some small changes	blob \| commitdiff \| raw \| diff to current
2022-11-07	Jannis Christopher...	Add comment for the current retag situation	blob \| commitdiff \| raw \| diff to current
2022-11-07	Jannis Christopher...	Only assume Stacked Borrows if -Zunsound-mir-opts is...	blob \| commitdiff \| raw \| diff to current
2022-11-07	Jannis Christopher...	Prevent registration inside references if target is...	blob \| commitdiff \| raw \| diff to current
2022-11-07	Jannis Christopher...	Fix formatting	blob \| commitdiff \| raw \| diff to current
2022-11-07	Jannis Christopher...	Remove `Unknown` state in favor of `Value(Top)`	blob \| commitdiff \| raw \| diff to current
2022-11-07	Jannis Christopher...	Only track (trivially) freeze types	blob \| commitdiff \| raw \| diff to current
2022-11-07	Jannis Christopher...	Make more assumptions explicit	blob \| commitdiff \| raw \| diff to current
2022-11-07	Jannis Christopher...	Flood with bottom for Deinit, StorageLive and StorageDead	blob \| commitdiff \| raw \| diff to current
2022-11-07	Jannis Christopher...	Handle NonDivergingIntrinsic and CopyNonOverlapping	blob \| commitdiff \| raw \| diff to current
2022-11-07	Jannis Christopher...	Update test results after rebase	blob \| commitdiff \| raw \| diff to current
2022-11-07	Jannis Christopher...	Fix typo	blob \| commitdiff \| raw \| diff to current
2022-11-07	Jannis Christopher...	Only allow registration of scalars for now	blob \| commitdiff \| raw \| diff to current
2022-11-07	Jannis Christopher...	Handle StorageLive	blob \| commitdiff \| raw \| diff to current
2022-11-07	Jannis Christopher...	Add comment about downcast projection element	blob \| commitdiff \| raw \| diff to current
2022-11-07	Jannis Christopher...	Use StorageDead and Deinit to flood place	blob \| commitdiff \| raw \| diff to current
2022-11-07	Jannis Christopher...	Flood place on drop	blob \| commitdiff \| raw \| diff to current
2022-11-07	Jannis Christopher...	Remove superfluous line	blob \| commitdiff \| raw \| diff to current
2022-11-07	Jannis Christopher...	Add more documentation	blob \| commitdiff \| raw \| diff to current
2022-11-07	Jannis Christopher...	Add tracking of unreachability	blob \| commitdiff \| raw \| diff to current
2022-11-07	Jannis Christopher...	Ignore terminators explicitly	blob \| commitdiff \| raw \| diff to current
2022-11-07	Jannis Christopher...	Reject registration of downcasts for now	blob \| commitdiff \| raw \| diff to current
2022-11-07	Jannis Christopher...	Move handling of references and simplify flooding	blob \| commitdiff \| raw \| diff to current
2022-11-07	Jannis Christopher...	Clarify place expressions vs place objects	blob \| commitdiff \| raw \| diff to current
2022-11-07	Jannis Christopher...	Begin a semi-formal argument for correctness	blob \| commitdiff \| raw \| diff to current
2022-11-07	Jannis Christopher...	Add additional flooding when assigning a value and...	blob \| commitdiff \| raw \| diff to current
2022-11-07	Jannis Christopher...	Clarify registration and tracking of references	blob \| commitdiff \| raw \| diff to current
2022-11-07	Jannis Christopher...	Fix spelling	blob \| commitdiff \| raw \| diff to current
2022-11-07	Jannis Christopher...	Try field type normalization instead of forcing it	blob \| commitdiff \| raw \| diff to current
2022-11-07	Jannis Christopher...	Add initial version of value analysis and dataflow...	blob \| commitdiff \| raw \| diff to current

Empowering everyone to build reliable and efficient software.

RSS Atom