Auto merge of #61927 - RalfJung:miri, r=oli-obk · rust-lang/rust@44fb88d

Commit

Auto merge of #61927 - RalfJung:miri, r=oli-obk

update miri

Tests fail since #61885, this should fix that.

r? @oli-obk

bors committed Jun 18, 2019

2 parents 0376941 + 2987704 commit 44fb88d

+1 −1		rust-version
+43 −5		src/fn_call.rs
+23 −1		src/intrinsic.rs
+11 −0		tests/compile-fail/div-by-zero-3.rs
+5 −0		tests/compile-fail/exact_div1.rs
+5 −0		tests/compile-fail/exact_div2.rs
+5 −0		tests/compile-fail/exact_div3.rs
+5 −0		tests/compile-fail/exact_div4.rs
+5 −0		tests/compile-fail/unchecked_add1.rs
+5 −0		tests/compile-fail/unchecked_add2.rs
+5 −0		tests/compile-fail/unchecked_mul1.rs
+5 −0		tests/compile-fail/unchecked_mul2.rs
+5 −0		tests/compile-fail/unchecked_sub1.rs
+5 −0		tests/compile-fail/unchecked_sub2.rs
+26 −14		tests/run-pass/intrinsics-integer.rs
+18 −2		tests/run-pass/intrinsics-math.rs