bors
|
c388361cc2
|
Auto merge of #1097 - RalfJung:rustup, r=RalfJung
bump Rust for exact_div fix
|
2019-12-03 16:38:20 +00:00 |
|
Ralf Jung
|
6d8e87111b
|
bump Rust for exact_div fix
|
2019-12-03 17:37:42 +01:00 |
|
bors
|
3f27d8cad6
|
Auto merge of #1096 - RalfJung:rustup, r=RalfJung
Rustup
bump Rust to latest HEAD
|
2019-12-03 07:48:28 +00:00 |
|
Ralf Jung
|
ebe5a51336
|
bump Rust to HEAD
|
2019-12-03 08:22:09 +01:00 |
|
bors
|
95f80403bf
|
Auto merge of #1094 - Aaron1011:rustup-body, r=RalfJung
Rustup for `BodyCache` changes
|
2019-12-03 07:20:20 +00:00 |
|
Aaron Hill
|
a418fe9826
|
Rustup for BodyCache changes
|
2019-12-02 20:21:03 -05:00 |
|
bors
|
913226a174
|
Auto merge of #1084 - RalfJung:assert-panic, r=RalfJung
proper support for `Assert` MIR terminators
Fixes https://github.com/rust-lang/miri/issues/1070
Blocked on https://github.com/rust-lang/rust/pull/66874
|
2019-12-02 15:48:42 +00:00 |
|
Ralf Jung
|
ce7b44b048
|
ignore another panicking test on Windows
|
2019-12-02 16:48:18 +01:00 |
|
Ralf Jung
|
2ef5ac17cc
|
rustup
|
2019-12-02 16:04:51 +01:00 |
|
Ralf Jung
|
8e3c3eccc4
|
panic errors are actually still possible
|
2019-12-02 16:04:31 +01:00 |
|
Ralf Jung
|
d43e394c46
|
fix init_allocation_extra
|
2019-12-02 16:04:31 +01:00 |
|
Ralf Jung
|
e77258322c
|
some error classes should be impossible
|
2019-12-02 16:04:31 +01:00 |
|
Ralf Jung
|
f1cde6d80b
|
also test built-in panics via should_panic
|
2019-12-02 16:04:31 +01:00 |
|
Ralf Jung
|
1b3434c67d
|
adjust for init_allocation_extra
|
2019-12-02 16:04:31 +01:00 |
|
Ralf Jung
|
ae53b1222a
|
fix and expand panic tests
|
2019-12-02 16:04:31 +01:00 |
|
Ralf Jung
|
b2cddd27bd
|
better span for functions whose frame we push 'manually'
|
2019-12-02 16:04:31 +01:00 |
|
Ralf Jung
|
4cf83433b1
|
test built-in panic catching
|
2019-12-02 16:04:31 +01:00 |
|
Ralf Jung
|
b91383b068
|
implement proper panicking for other MIR assertions
Requires generalizing the call_function helper to arbitrary Immediate arguments
|
2019-12-02 16:04:31 +01:00 |
|
Ralf Jung
|
8a36d12d36
|
implement proper panicking for failed index check
|
2019-12-02 16:04:31 +01:00 |
|
bors
|
3c0d3439ee
|
Auto merge of #1079 - RalfJung:coercion-error, r=RalfJung
Test diverging closure coercion
Adds a test for https://github.com/rust-lang/miri/issues/1075. Depends on https://github.com/rust-lang/rust/pull/66827.
|
2019-12-02 14:43:08 +00:00 |
|
Ralf Jung
|
42732cc9bb
|
rustup
|
2019-12-02 15:42:38 +01:00 |
|
Ralf Jung
|
9f9e547d79
|
test diverging closure fn ptr coercion
|
2019-12-02 15:42:33 +01:00 |
|
Ralf Jung
|
bba9359256
|
expand coerce fn test
|
2019-12-02 15:42:33 +01:00 |
|
bors
|
ae38f4866a
|
Auto merge of #1092 - RalfJung:rustup, r=RalfJung
Rustup
|
2019-12-02 08:14:57 +00:00 |
|
Ralf Jung
|
dcdd68b936
|
also indicate abort via new MachineStop variant
|
2019-12-02 09:13:58 +01:00 |
|
Ralf Jung
|
1c420b0b55
|
improve style in catch_panic test
|
2019-12-02 09:11:33 +01:00 |
|
Ralf Jung
|
f3c00a447c
|
use new MachineStop error variant
|
2019-12-02 09:05:35 +01:00 |
|
bors
|
cde718f083
|
Auto merge of #1087 - RalfJung:toolchain, r=oli-obk
add toolchain mgmt script
I've been using a variant of this script for some time now, and figured others might find it useful as well.
|
2019-12-01 14:25:08 +00:00 |
|
Ralf Jung
|
9501d044c1
|
don't assume a nightly toolchain is installed
|
2019-12-01 15:17:52 +01:00 |
|
bors
|
41df5021bd
|
Auto merge of #1091 - RalfJung:run-test, r=RalfJung
run-test: make sure the sysroot building output does not distort our tests
|
2019-12-01 11:57:57 +00:00 |
|
Ralf Jung
|
3de5bd7dec
|
run-test: make sure the sysroot building output does not distort our tests
|
2019-12-01 12:57:09 +01:00 |
|
bors
|
fbe907683a
|
Auto merge of #1082 - RalfJung:panic, r=RalfJung
test more panics
Add some tests for https://github.com/rust-lang/miri/issues/1071.
Blocked on https://github.com/rust-lang/rust/pull/66844.
|
2019-12-01 10:05:53 +00:00 |
|
Ralf Jung
|
f7efe238f3
|
fix catch_panic.stderr
|
2019-12-01 11:04:51 +01:00 |
|
Ralf Jung
|
2789e72e18
|
test more panics
|
2019-12-01 11:04:32 +01:00 |
|
bors
|
33fe904547
|
Auto merge of #1088 - RalfJung:globalctxt, r=RalfJung
fix for GlobalCtxt changes
Blocked on https://github.com/rust-lang/rust/pull/66896
|
2019-12-01 09:30:00 +00:00 |
|
Ralf Jung
|
c39482b203
|
rustup
|
2019-12-01 10:29:19 +01:00 |
|
Ralf Jung
|
0a4ec5d34e
|
test for rustup-toolchain-install-master
|
2019-12-01 10:22:16 +01:00 |
|
Ralf Jung
|
f838410f49
|
toolchain -> rustup-toolchain
|
2019-12-01 10:20:16 +01:00 |
|
Ralf Jung
|
a971b8a2ae
|
fix for GlobalCtxt changes
|
2019-11-30 12:05:35 +01:00 |
|
bors
|
392d745699
|
Auto merge of #1089 - RalfJung:should-panic, r=RalfJung
test should_panic checking the panic string
|
2019-11-30 09:32:34 +00:00 |
|
Ralf Jung
|
6363bc4975
|
test should_panic checking the panic string
|
2019-11-30 10:31:53 +01:00 |
|
Ralf Jung
|
c9b3b688d5
|
add toolchain mgmt script
|
2019-11-30 10:08:41 +01:00 |
|
bors
|
e1b639afca
|
Auto merge of #1085 - RalfJung:panic-runtime, r=RalfJung
avoid injected_panic_runtime which is going away
Thanks @petrochenkov for suggesting this!
|
2019-11-29 20:39:05 +00:00 |
|
Ralf Jung
|
4a4886c0f0
|
avoid injected_panic_runtime which is going away
|
2019-11-29 21:37:59 +01:00 |
|
bors
|
59eee1a4c8
|
Auto merge of #1083 - RalfJung:fn-call-helper, r=oli-obk
Add and use helper function for calling a machine function and passing it some arguments
|
2019-11-29 10:27:40 +00:00 |
|
Ralf Jung
|
e5a81c6a2d
|
fix comment
|
2019-11-29 11:08:27 +01:00 |
|
Ralf Jung
|
fe76d33506
|
Add and use helper function for calling a machine function and passing it some arguments
|
2019-11-29 09:23:29 +01:00 |
|
bors
|
3bf51f591f
|
Auto merge of #1077 - RalfJung:unwind_to_block, r=RalfJung
adjust for goto_block refactoring
The Miri side of https://github.com/rust-lang/rust/pull/66646
|
2019-11-27 08:13:59 +00:00 |
|
Ralf Jung
|
a04620eb69
|
only run leak test on clean platforms
|
2019-11-27 09:13:37 +01:00 |
|
Ralf Jung
|
fbc1fb20ac
|
bump Rust version
|
2019-11-27 08:45:24 +01:00 |
|