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

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

projects / rust.git / history

summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next

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

2022-11-07	Jannis Christopher...	Only allow registration of scalars for now	blob \| commitdiff \| raw
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.