]>
git.lizzy.rs Git - rust.git/log
Christian Poveda [Sat, 30 Nov 2019 20:09:52 +0000 (15:09 -0500)]
add `statx` shim for linux
bors [Wed, 4 Dec 2019 09:44:29 +0000 (09:44 +0000)]
Auto merge of #1100 - RalfJung:os_str, r=RalfJung
rename helper methods a bit
Ralf Jung [Wed, 4 Dec 2019 09:43:36 +0000 (10:43 +0100)]
rename helper methods a bit
bors [Wed, 4 Dec 2019 09:17:03 +0000 (09:17 +0000)]
Auto merge of #1099 - RalfJung:os_str, r=RalfJung
tweak and use OsStr interfaces
Ralf Jung [Wed, 4 Dec 2019 09:16:08 +0000 (10:16 +0100)]
avoid allocation in read_os_string_from_c_string
Ralf Jung [Wed, 4 Dec 2019 08:55:36 +0000 (09:55 +0100)]
use write_os_str_to_c_string for unix arg passing
bors [Tue, 3 Dec 2019 22:39:19 +0000 (22:39 +0000)]
Auto merge of #1093 - RalfJung:throw-machine-stop, r=RalfJung
use throw_machine_stop macro
Blocked on https://github.com/rust-lang/rust/pull/66951
Ralf Jung [Tue, 3 Dec 2019 22:38:41 +0000 (23:38 +0100)]
rustup
Ralf Jung [Mon, 2 Dec 2019 10:02:11 +0000 (11:02 +0100)]
use throw_machine_stop macro
bors [Tue, 3 Dec 2019 16:38:20 +0000 (16:38 +0000)]
Auto merge of #1097 - RalfJung:rustup, r=RalfJung
bump Rust for exact_div fix
Ralf Jung [Tue, 3 Dec 2019 16:37:42 +0000 (17:37 +0100)]
bump Rust for exact_div fix
bors [Tue, 3 Dec 2019 07:48:28 +0000 (07:48 +0000)]
Auto merge of #1096 - RalfJung:rustup, r=RalfJung
Rustup
bump Rust to latest HEAD
Ralf Jung [Tue, 3 Dec 2019 07:21:52 +0000 (08:21 +0100)]
bump Rust to HEAD
bors [Tue, 3 Dec 2019 07:20:20 +0000 (07:20 +0000)]
Auto merge of #1094 - Aaron1011:rustup-body, r=RalfJung
Rustup for `BodyCache` changes
Aaron Hill [Tue, 3 Dec 2019 01:20:11 +0000 (20:20 -0500)]
Rustup for `BodyCache` changes
bors [Mon, 2 Dec 2019 15:48:42 +0000 (15:48 +0000)]
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
Ralf Jung [Mon, 2 Dec 2019 15:48:18 +0000 (16:48 +0100)]
ignore another panicking test on Windows
Ralf Jung [Mon, 2 Dec 2019 15:04:51 +0000 (16:04 +0100)]
rustup
Ralf Jung [Sun, 1 Dec 2019 09:19:01 +0000 (10:19 +0100)]
panic errors are actually still possible
Ralf Jung [Sun, 1 Dec 2019 09:18:41 +0000 (10:18 +0100)]
fix init_allocation_extra
Ralf Jung [Sat, 30 Nov 2019 10:48:34 +0000 (11:48 +0100)]
some error classes should be impossible
Ralf Jung [Sat, 30 Nov 2019 09:37:14 +0000 (10:37 +0100)]
also test built-in panics via should_panic
Ralf Jung [Fri, 29 Nov 2019 18:50:37 +0000 (19:50 +0100)]
adjust for init_allocation_extra
Ralf Jung [Fri, 29 Nov 2019 12:18:54 +0000 (13:18 +0100)]
fix and expand panic tests
Ralf Jung [Fri, 29 Nov 2019 10:52:53 +0000 (11:52 +0100)]
better span for functions whose frame we push 'manually'
Ralf Jung [Fri, 29 Nov 2019 10:19:15 +0000 (11:19 +0100)]
test built-in panic catching
Ralf Jung [Fri, 29 Nov 2019 10:17:44 +0000 (11:17 +0100)]
implement proper panicking for other MIR assertions
Requires generalizing the call_function helper to arbitrary Immediate arguments
Ralf Jung [Fri, 29 Nov 2019 09:16:03 +0000 (10:16 +0100)]
implement proper panicking for failed index check
bors [Mon, 2 Dec 2019 14:43:08 +0000 (14:43 +0000)]
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.
Ralf Jung [Mon, 2 Dec 2019 14:42:38 +0000 (15:42 +0100)]
rustup
Ralf Jung [Wed, 27 Nov 2019 22:28:59 +0000 (23:28 +0100)]
test diverging closure fn ptr coercion
Ralf Jung [Wed, 27 Nov 2019 20:50:20 +0000 (21:50 +0100)]
expand coerce fn test
bors [Mon, 2 Dec 2019 08:14:57 +0000 (08:14 +0000)]
Auto merge of #1092 - RalfJung:rustup, r=RalfJung
Rustup
Ralf Jung [Mon, 2 Dec 2019 08:13:58 +0000 (09:13 +0100)]
also indicate abort via new MachineStop variant
Ralf Jung [Mon, 2 Dec 2019 08:11:33 +0000 (09:11 +0100)]
improve style in catch_panic test
Ralf Jung [Mon, 2 Dec 2019 08:05:35 +0000 (09:05 +0100)]
use new MachineStop error variant
bors [Sun, 1 Dec 2019 14:25:08 +0000 (14:25 +0000)]
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.
Ralf Jung [Sun, 1 Dec 2019 14:16:55 +0000 (15:16 +0100)]
don't assume a nightly toolchain is installed
bors [Sun, 1 Dec 2019 11:57:57 +0000 (11:57 +0000)]
Auto merge of #1091 - RalfJung:run-test, r=RalfJung
run-test: make sure the sysroot building output does not distort our tests
Ralf Jung [Sun, 1 Dec 2019 11:57:09 +0000 (12:57 +0100)]
run-test: make sure the sysroot building output does not distort our tests
bors [Sun, 1 Dec 2019 10:05:53 +0000 (10:05 +0000)]
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.
Ralf Jung [Sun, 1 Dec 2019 10:04:51 +0000 (11:04 +0100)]
fix catch_panic.stderr
Ralf Jung [Thu, 28 Nov 2019 18:17:43 +0000 (19:17 +0100)]
test more panics
bors [Sun, 1 Dec 2019 09:30:00 +0000 (09:30 +0000)]
Auto merge of #1088 - RalfJung:globalctxt, r=RalfJung
fix for GlobalCtxt changes
Blocked on https://github.com/rust-lang/rust/pull/66896
Ralf Jung [Sun, 1 Dec 2019 09:29:19 +0000 (10:29 +0100)]
rustup
Ralf Jung [Sun, 1 Dec 2019 09:22:16 +0000 (10:22 +0100)]
test for rustup-toolchain-install-master
Ralf Jung [Sun, 1 Dec 2019 09:20:16 +0000 (10:20 +0100)]
toolchain -> rustup-toolchain
Ralf Jung [Sat, 30 Nov 2019 09:19:00 +0000 (10:19 +0100)]
fix for GlobalCtxt changes
bors [Sat, 30 Nov 2019 09:32:34 +0000 (09:32 +0000)]
Auto merge of #1089 - RalfJung:should-panic, r=RalfJung
test should_panic checking the panic string
Ralf Jung [Sat, 30 Nov 2019 09:31:53 +0000 (10:31 +0100)]
test should_panic checking the panic string
Ralf Jung [Sat, 30 Nov 2019 09:06:12 +0000 (10:06 +0100)]
add toolchain mgmt script
bors [Fri, 29 Nov 2019 20:39:05 +0000 (20:39 +0000)]
Auto merge of #1085 - RalfJung:panic-runtime, r=RalfJung
avoid injected_panic_runtime which is going away
Thanks @petrochenkov for suggesting this!
Ralf Jung [Fri, 29 Nov 2019 20:37:59 +0000 (21:37 +0100)]
avoid injected_panic_runtime which is going away
bors [Fri, 29 Nov 2019 10:27:40 +0000 (10:27 +0000)]
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
Ralf Jung [Fri, 29 Nov 2019 10:08:27 +0000 (11:08 +0100)]
fix comment
Ralf Jung [Thu, 28 Nov 2019 22:42:10 +0000 (23:42 +0100)]
Add and use helper function for calling a machine function and passing it some arguments
bors [Wed, 27 Nov 2019 08:13:59 +0000 (08:13 +0000)]
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
Ralf Jung [Wed, 27 Nov 2019 08:13:37 +0000 (09:13 +0100)]
only run leak test on clean platforms
Ralf Jung [Wed, 27 Nov 2019 07:45:24 +0000 (08:45 +0100)]
bump Rust version
Ralf Jung [Mon, 25 Nov 2019 21:48:31 +0000 (22:48 +0100)]
adjust for goto_block refactoring
bors [Tue, 26 Nov 2019 13:29:38 +0000 (13:29 +0000)]
Auto merge of #1078 - RalfJung:uprust, r=RalfJung
cargo update
Ralf Jung [Tue, 26 Nov 2019 13:28:56 +0000 (14:28 +0100)]
cargo update
bors [Mon, 25 Nov 2019 14:12:15 +0000 (14:12 +0000)]
Auto merge of #1076 - RalfJung:coercion-test, r=RalfJung
test closure-to-fn-ptr coercions a bit more
Also add some commented-out failing tests, Cc https://github.com/rust-lang/rust/issues/66738 https://github.com/rust-lang/miri/issues/1075
Ralf Jung [Mon, 25 Nov 2019 14:10:39 +0000 (15:10 +0100)]
and another reference
Ralf Jung [Mon, 25 Nov 2019 14:08:47 +0000 (15:08 +0100)]
rename some more tests
Ralf Jung [Mon, 25 Nov 2019 14:08:24 +0000 (15:08 +0100)]
rename test and add some references
Ralf Jung [Mon, 25 Nov 2019 14:01:05 +0000 (15:01 +0100)]
test closure-to-fn-ptr coercions a bit more
bors [Sun, 24 Nov 2019 17:55:16 +0000 (17:55 +0000)]
Auto merge of #1072 - RalfJung:locally-built-rustc, r=oli-obk
cargo-miri: support locally built rustc
This also removes an odd hack from our `./miri` script.
bors [Sun, 24 Nov 2019 09:52:44 +0000 (09:52 +0000)]
Auto merge of #1073 - RalfJung:catch_panic, r=RalfJung
beef up catch_panic test
Do not silence panic msg printing (so we subsume the tests checking those), and check a few different ways of raising a panic.
Ralf Jung [Sun, 24 Nov 2019 09:51:48 +0000 (10:51 +0100)]
also test non-string panic payload
Ralf Jung [Sun, 24 Nov 2019 09:24:41 +0000 (10:24 +0100)]
beef up catch_panic test
Ralf Jung [Sat, 23 Nov 2019 09:36:23 +0000 (10:36 +0100)]
miri script does not need to handle locally built rustc any more
Ralf Jung [Sat, 23 Nov 2019 09:33:49 +0000 (10:33 +0100)]
cargo-miri: also find Rust sources when being run in a locally built, linked toolchain
bors [Fri, 22 Nov 2019 17:12:47 +0000 (17:12 +0000)]
Auto merge of #1069 - RalfJung:typo, r=RalfJung
typo
Ralf Jung [Fri, 22 Nov 2019 17:12:10 +0000 (18:12 +0100)]
typo
bors [Fri, 22 Nov 2019 09:23:24 +0000 (09:23 +0000)]
Auto merge of #1067 - Aaron1011:feature/inverse-trig, r=RalfJung
Add acos, asin, and atan foreign functions
I copied the tests from the docs pages
bors [Fri, 22 Nov 2019 08:52:58 +0000 (08:52 +0000)]
Auto merge of #1068 - RalfJung:uprust, r=RalfJung
rustup for never stabilization
Ralf Jung [Fri, 22 Nov 2019 08:50:22 +0000 (09:50 +0100)]
rustup for never stabilization
Aaron Hill [Thu, 21 Nov 2019 22:33:30 +0000 (17:33 -0500)]
Add acos, asin, and atan foreign functions
I copied the tests from the docs pages
bors [Wed, 20 Nov 2019 19:16:40 +0000 (19:16 +0000)]
Auto merge of #1065 - Aaron1011:fix/start-return, r=RalfJung
Propagate the return code from the `start` lang item
Fixes #1064
This ensures that we set the error code properly when a panic unwinds
past `main`.
I'm not sure what the best way to write a test for this is
Aaron Hill [Wed, 20 Nov 2019 18:52:04 +0000 (13:52 -0500)]
Fix nits
Co-Authored-By: Ralf Jung <post@ralfj.de>
bors [Wed, 20 Nov 2019 18:39:31 +0000 (18:39 +0000)]
Auto merge of #1066 - RalfJung:slice-match, r=RalfJung
slice matching overflow got fixed
Ralf Jung [Wed, 20 Nov 2019 18:38:41 +0000 (19:38 +0100)]
slice matching overflow got fixed
Aaron Hill [Wed, 20 Nov 2019 17:43:10 +0000 (12:43 -0500)]
Improve return code propagation.
Don't explicitly exit if we reported an evaluation error
Aaron Hill [Tue, 19 Nov 2019 22:25:09 +0000 (17:25 -0500)]
Propagate the return code from the `start` lang item
Fixes #1064
This ensures that we set the error code properly when a panic unwinds
past `main`.
I'm not sure what the best way to write a test for this is
bors [Tue, 19 Nov 2019 21:47:13 +0000 (21:47 +0000)]
Auto merge of #1063 - RalfJung:panic-abort, r=RalfJung
rename panic=abort tests to panic_abort
Ralf Jung [Tue, 19 Nov 2019 21:44:07 +0000 (22:44 +0100)]
rename panic=abort tests to panic_abort
bors [Tue, 19 Nov 2019 21:07:26 +0000 (21:07 +0000)]
Auto merge of #693 - Aaron1011:feature/panic_unwind_final, r=oli-obk
Support unwinding after a panic
Fixes #658
This commit adds support for unwinding after a panic. It requires a
companion rustc PR to be merged, in order for the necessary hooks to
work properly.
Currently implemented:
* Selecting between unwind/abort mode based on the rustc Session
* Properly popping off stack frames, unwinding back the caller
* Running 'unwind' blocks in Mir terminators
Not yet implemented:
* 'Abort' terminators
This PR was getting fairly large, so I decided to open it for review without
implementing 'Abort' terminator support. This could either be added on
to this PR, or merged separately.
I've a test to exercise several different aspects of unwind panicking. Ideally, we would run Miri against the libstd panic tests, but I haven't yet figured out how to do that.
This depends on https://github.com/rust-lang/rust/pull/60026
Aaron Hill [Tue, 19 Nov 2019 20:55:12 +0000 (15:55 -0500)]
Disable #[should_panic] test on Windows
We should re-enable this once
https://github.com/rust-lang/miri/issues/1059 is fixed
Aaron Hill [Tue, 19 Nov 2019 20:33:14 +0000 (15:33 -0500)]
Update panic runtime comment
Aaron Hill [Tue, 19 Nov 2019 20:31:37 +0000 (15:31 -0500)]
Re-add comment
bors [Tue, 19 Nov 2019 19:40:55 +0000 (19:40 +0000)]
Auto merge of #1062 - RalfJung:readme, r=RalfJung
generalize readme
We didn't mean any specific date, that was just an example.
Ralf Jung [Tue, 19 Nov 2019 19:40:06 +0000 (20:40 +0100)]
generalize readme
Aaron Hill [Tue, 19 Nov 2019 15:11:25 +0000 (10:11 -0500)]
Delegate to the actual panic runtime crate
Ralf Jung [Tue, 19 Nov 2019 13:51:08 +0000 (14:51 +0100)]
comments and slight refactoring
bors [Mon, 18 Nov 2019 14:12:01 +0000 (14:12 +0000)]
Auto merge of #1060 - RalfJung:compiletest, r=RalfJung
bump compiletest; remove unused feature
Ralf Jung [Mon, 18 Nov 2019 14:10:17 +0000 (15:10 +0100)]
bump compiletest; remove unused feature
Aaron Hill [Sun, 17 Nov 2019 18:47:06 +0000 (13:47 -0500)]
Disable panic tests on Windows
Miri currently does not support `GetProcAddress`
and `GetModuleHandleW`, both of which end up getting invoked by the
libstd panic hook.
Aaron Hill [Sun, 17 Nov 2019 16:49:31 +0000 (11:49 -0500)]
Update captured test output
Aaron Hill [Sun, 17 Nov 2019 16:09:16 +0000 (11:09 -0500)]
Add #[should_panic] test