]>
git.lizzy.rs Git - rust.git/log
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 [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
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
Aaron Hill [Sun, 17 Nov 2019 13:40:34 +0000 (08:40 -0500)]
Ignore '-C panic=abort' tests for now
We are currently building `libpanic_abort` with the wrong panic
strategy, due to Xargo missing a hack used by `bootstrap`.
Aaron Hill [Mon, 15 Apr 2019 01:02:55 +0000 (21:02 -0400)]
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.
bors [Sun, 17 Nov 2019 08:55:02 +0000 (08:55 +0000)]
Auto merge of #1056 - RalfJung:max, r=RalfJung
use new isize_max method in FS accesses
also check full buffers for validity
Ralf Jung [Sun, 17 Nov 2019 08:30:32 +0000 (09:30 +0100)]
use new isize_max method in FS accesses; also check full buffers for validity
bors [Sun, 17 Nov 2019 08:21:42 +0000 (08:21 +0000)]
Auto merge of #1055 - RalfJung:panic-stub, r=RalfJung
minimal rustup for panic changes
Main patch by @Aaron1011
Ralf Jung [Sun, 17 Nov 2019 08:20:50 +0000 (09:20 +0100)]
remove some leftovers from the miri-control-attribute days
Ralf Jung [Sun, 17 Nov 2019 08:03:16 +0000 (09:03 +0100)]
rustup again
Ralf Jung [Sat, 16 Nov 2019 08:07:35 +0000 (09:07 +0100)]
try the stable feature of compiletest
Ralf Jung [Sat, 16 Nov 2019 08:00:05 +0000 (09:00 +0100)]
bump Rust
bors [Fri, 15 Nov 2019 15:00:28 +0000 (15:00 +0000)]
Auto merge of #1054 - RalfJung:win-num-cpus, r=RalfJung
test-cargo-miri: cargo update, re-enable windows num_cpus test
Ralf Jung [Fri, 15 Nov 2019 14:59:19 +0000 (15:59 +0100)]
test-cargo-miri: cargo update, re-enable windows num_cpus test
bors [Thu, 14 Nov 2019 10:16:51 +0000 (10:16 +0000)]
Auto merge of #1053 - RalfJung:clean, r=RalfJung
remove no-longer-needed zero checks
Ralf Jung [Thu, 14 Nov 2019 09:29:43 +0000 (10:29 +0100)]
remove no-longer-needed zero checks
bors [Thu, 14 Nov 2019 09:27:03 +0000 (09:27 +0000)]
Auto merge of #1052 - RalfJung:icefix, r=RalfJung
fix ICE due to dangling pointers in Stacked Borrows
Fixes https://github.com/rust-lang/miri/issues/1050. Thanks to @CAD97 for the report!
Ralf Jung [Thu, 14 Nov 2019 09:23:29 +0000 (10:23 +0100)]
do full deref-check before reborrowing
Ralf Jung [Thu, 14 Nov 2019 09:16:44 +0000 (10:16 +0100)]
rename miri-issue to issue-miri for grouping
bors [Wed, 13 Nov 2019 22:58:24 +0000 (22:58 +0000)]
Auto merge of #1022 - christianpoveda:fix-fd-access, r=RalfJung
Fix unchecked memory access for files
This PR takes care of two problems:
- It uses `Memory::(read|write)_bytes` to guarantee that memory accesses are checked (Fixes: https://github.com/rust-lang/miri/issues/1007)
- It removes the `(get|remove)_handle_and` methods which were a little bit cumbersome to use. In particular `remove_handle_and`, because we were using it to avoid borrowing issues before the `Evaluator::memory` field was public.
@RalfJung @oli-obk
Christian Poveda [Wed, 13 Nov 2019 19:45:00 +0000 (14:45 -0500)]
Fix maximum `isize` value for target
Christian Poveda [Wed, 13 Nov 2019 16:57:20 +0000 (11:57 -0500)]
Cap `count` twice
bors [Wed, 13 Nov 2019 09:42:47 +0000 (09:42 +0000)]
Auto merge of #1049 - silathdiir:copysignf32-and-copysignf64, r=RalfJung
Implment intrinsics::copysignf32 and intrinsics::copysignf64
Tries to implment `intrinsics::copysignf32` and `intrinsics::copysignf64` for fixing Issue #1046 .
Steven Gu [Wed, 13 Nov 2019 02:14:13 +0000 (10:14 +0800)]
Implments `intrinsics::copysignf32` and `intrinsics::copysignf64`.
Aaron Hill [Tue, 12 Nov 2019 15:19:13 +0000 (10:19 -0500)]
Rustup for panic changes
This gets Miri working again, but doesn't actually implement unwinding
bors [Mon, 11 Nov 2019 20:26:37 +0000 (20:26 +0000)]
Auto merge of #1047 - RalfJung:uprust, r=RalfJung
rustup
Ralf Jung [Mon, 11 Nov 2019 20:25:57 +0000 (21:25 +0100)]
rustup
Christian Poveda [Sat, 9 Nov 2019 14:15:52 +0000 (15:15 +0100)]
Cap `count`
Christian Poveda [Sat, 9 Nov 2019 09:42:45 +0000 (10:42 +0100)]
Fix merge conflicts
bors [Fri, 8 Nov 2019 21:08:52 +0000 (21:08 +0000)]
Auto merge of #1044 - RalfJung:uprust, r=RalfJung
rustup
Ralf Jung [Fri, 8 Nov 2019 21:07:52 +0000 (22:07 +0100)]
rustup
bors [Fri, 8 Nov 2019 17:49:38 +0000 (17:49 +0000)]
Auto merge of #1040 - RalfJung:rustup, r=RalfJung
rustup
bors [Fri, 8 Nov 2019 15:38:06 +0000 (15:38 +0000)]
Auto merge of #1043 - RalfJung:cache, r=RalfJung
Cache rustup-toolchain-install-master again
We temporarily disabled the cache just to get it updated.
Ralf Jung [Fri, 8 Nov 2019 15:36:57 +0000 (16:36 +0100)]
bump minimal xargo version so that it honors the lockfile
Ralf Jung [Fri, 8 Nov 2019 13:13:23 +0000 (14:13 +0100)]
rust-docs should be gone from all caches now
Ralf Jung [Fri, 8 Nov 2019 13:12:54 +0000 (14:12 +0100)]
Revert "temporarily ignore cached rustup-toolchain-install-master"
This reverts commit
4872c5cbbe9a4f59c71a9ffde4d5e521c08e8ea0 .
Ralf Jung [Fri, 8 Nov 2019 11:43:26 +0000 (12:43 +0100)]
fix into_iter usage
Ralf Jung [Fri, 8 Nov 2019 09:08:57 +0000 (10:08 +0100)]
let's see if newer rustc helps
Ralf Jung [Fri, 8 Nov 2019 08:16:44 +0000 (09:16 +0100)]
disable num_cpus on Windows for now
Christian Poveda [Thu, 7 Nov 2019 19:50:16 +0000 (20:50 +0100)]
Use TryFrom instead
Ralf Jung [Thu, 7 Nov 2019 08:44:00 +0000 (09:44 +0100)]
silence a lint that catches the bug statically
bors [Thu, 7 Nov 2019 08:18:09 +0000 (08:18 +0000)]
Auto merge of #1039 - RalfJung:dyn-tests, r=RalfJung
More tests for dyn trait (in particular, unsized receivers)
So far we only tested them indirectly through `dyn FnOnce`; this also adds some self-contained tests from the rustc test suite.
Ralf Jung [Thu, 7 Nov 2019 08:17:40 +0000 (09:17 +0100)]
also test Box<self> receiver
Ralf Jung [Thu, 7 Nov 2019 08:14:23 +0000 (09:14 +0100)]
move blosure tests to closures file; test Box<dyn> a bit more
Ralf Jung [Thu, 7 Nov 2019 08:05:11 +0000 (09:05 +0100)]
centralize and expand dyn-trait (method receiver) tests
Ralf Jung [Thu, 7 Nov 2019 07:56:11 +0000 (08:56 +0100)]
rename call_drop_ tests to drop_
Ralf Jung [Thu, 7 Nov 2019 07:55:59 +0000 (08:55 +0100)]
tweak and slightly extend box-box-trait test
bors [Wed, 6 Nov 2019 13:39:22 +0000 (13:39 +0000)]
Auto merge of #1037 - JOE1994:master, r=RalfJung
error code E0080 is no longer printed with MIRI error message
Thanks to help from @bjorn3, @RalfJung, and @oli-obk on issue #1035 , I fixed the miri code so that error code **E0080** is no longer printed out for MIRI evaluation errors. I tested my code in my Linux machine as below.
![image](https://user-images.githubusercontent.com/
10286488 /
68264744 -
e71e6c80 -0017-11ea-9028-
f83e19164ea2 .png)
Remaining concern is whether the variable name `new_tcx` which I used is misleading or not.
Fixes https://github.com/rust-lang/miri/issues/1035