Auto merge of #68930 - RalfJung:miri, r=RalfJung · Dylan-DPC-zz/rust@fb29dfc

Commit

Auto merge of rust-lang#68930 - RalfJung:miri, r=RalfJung

update miri

Cc @oli-obk r? @ghost

Fixes rust-lang#68878

bors committed Feb 7, 2020

2 parents b5e21db + 4eeaa92 commit fb29dfc

+1 −1		rust-version
+0 −40		src/shims/intrinsics.rs
+1 −3		tests/compile-fail/div-by-zero-1.rs
+9 −0		tests/compile-fail/div-by-zero-2.rs
+0 −11		tests/compile-fail/div-by-zero-3.rs
+1 −1		tests/compile-fail/generator-pinned-moved.rs
+1 −1		tests/compile-fail/unchecked_add1.rs
+1 −1		tests/compile-fail/unchecked_add2.rs
+5 −0		tests/compile-fail/unchecked_div1.rs
+1 −1		tests/compile-fail/unchecked_mul1.rs
+1 −1		tests/compile-fail/unchecked_mul2.rs
+1 −1		tests/compile-fail/unchecked_sub1.rs
+1 −1		tests/compile-fail/unchecked_sub2.rs
+110 −18		tests/run-pass/generator.rs