19 Commits

Author	SHA1	Message	Date
Jannis Christopher Köhl	c56e99cdba	Fix typo	2022-11-07 10:35:18 +01:00
Jannis Christopher Köhl	13b70599c1	Only allow registration of scalars for now	2022-11-07 10:35:16 +01:00
Jannis Christopher Köhl	817c27744d	Handle StorageLive	2022-11-07 10:35:16 +01:00
Jannis Christopher Köhl	e2ddf8a6e5	Add comment about downcast projection element	2022-11-07 10:35:15 +01:00
Jannis Christopher Köhl	1e5ca57014	Use StorageDead and Deinit to flood place	2022-11-07 10:35:15 +01:00
Jannis Christopher Köhl	904adcac0f	Flood place on drop	2022-11-07 10:35:15 +01:00
Jannis Christopher Köhl	2113e45488	Remove superfluous line	2022-11-07 10:35:14 +01:00
Jannis Christopher Köhl	2e4d0820d2	Add more documentation	2022-11-07 10:35:14 +01:00
Jannis Christopher Köhl	fe84bbf844	Add tracking of unreachability	2022-11-07 10:35:13 +01:00
Jannis Christopher Köhl	16dedba1c8	Ignore terminators explicitly	2022-11-07 10:35:13 +01:00
Jannis Christopher Köhl	8a789ce009	Reject registration of downcasts for now	2022-11-07 10:35:12 +01:00
Jannis Christopher Köhl	ad99d2e15d	Move handling of references and simplify flooding	2022-11-07 10:35:11 +01:00
Jannis Christopher Köhl	3f98dc7838	Clarify place expressions vs place objects	2022-11-07 10:35:11 +01:00
Jannis Christopher Köhl	e75ad93d95	Begin a semi-formal argument for correctness	2022-11-07 10:35:10 +01:00
Jannis Christopher Köhl	292869493c	Add additional flooding when assigning a value and corresponding test	2022-11-07 10:35:10 +01:00
Jannis Christopher Köhl	bb1639769e	Clarify registration and tracking of references	2022-11-07 10:35:10 +01:00
Jannis Christopher Köhl	56ff16d19f	Fix spelling	2022-11-07 10:35:09 +01:00
Jannis Christopher Köhl	d0afe6833d	Try field type normalization instead of forcing it	2022-11-07 10:35:08 +01:00
Jannis Christopher Köhl	4f9c30fb67	Add initial version of value analysis and dataflow constant propagation	2022-11-07 10:35:08 +01:00