git.lizzy.rs Git - rust.git/commit

]> git.lizzy.rs Git - rust.git/commit

author	Albin Stjerna <albin.stjerna@gmail.com>
	Fri, 12 Jul 2019 20:48:02 +0000 (22:48 +0200)
committer	Albin Stjerna <albin.stjerna@gmail.com>
	Fri, 12 Jul 2019 20:48:02 +0000 (22:48 +0200)
commit	ac0a3d106bf33395da6251562800ab8df5e60d3a
tree	76517cc3a19faa2ba94be32c29e66583de42350c	tree \| snapshot
parent	e775bf33c0809550bf8036ead82c16d0b6e06c34	commit \| diff

polonius: add generation of liveneness-related facts

Notably contains an ugly hack to generate initialization information for
variables that will go away when we have that functionality in Polonius.

Empowering everyone to build reliable and efficient software.

RSS Atom

src/librustc/mir/mod.rs		diff \| blob \| history
src/librustc_mir/borrow_check/flows.rs		diff \| blob \| history
src/librustc_mir/borrow_check/nll/facts.rs		diff \| blob \| history
src/librustc_mir/borrow_check/nll/mod.rs		diff \| blob \| history
src/librustc_mir/borrow_check/nll/type_check/liveness/mod.rs		diff \| blob \| history
src/librustc_mir/borrow_check/nll/type_check/liveness/polonius.rs	[new file with mode: 0644]	blob
src/librustc_mir/borrow_check/nll/type_check/liveness/trace.rs		diff \| blob \| history