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

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

projects / rust.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 04e69e4) | patch

author	Ralf Jung <post@ralfj.de>
	Thu, 28 Nov 2019 08:03:00 +0000 (09:03 +0100)
committer	Ralf Jung <post@ralfj.de>
	Thu, 28 Nov 2019 08:03:00 +0000 (09:03 +0100)
commit	5d23518a12548fdbbca74fcc3171fdc2f3888334
tree	f8c816d122a3b0495980440659b27e2029b95850	tree \| snapshot
parent	04e69e4f4234beb4f12cc76dcc53e2cc4247a9be	commit \| diff

const_prop: detect and avoid catching Miri errors that require allocation

src/librustc/mir/interpret/error.rs		diff \| blob \| history
src/librustc_mir/transform/const_prop.rs		diff \| blob \| history

Empowering everyone to build reliable and efficient software.