4608b94bd8
implement CLOCK_MONOTONIC on Linux
2020-03-19 23:01:24 +01:00
0ff05c4cfe
Auto merge of #1219 - RalfJung:error-cleanup, r=RalfJung
...
rustup for error reform
This is the Miri side of https://github.com/rust-lang/rust/pull/69839 .
2020-03-19 07:42:53 +00:00
49051e05ea
rustup, and some final message adjustments
2020-03-19 08:41:01 +01:00
e1e158e103
adjust error messages for lower-case start
2020-03-19 08:26:08 +01:00
681819c8ad
getting a path should never fail
...
we basically treat them as lang items
2020-03-19 08:26:08 +01:00
77cc0cddd9
add test for validation finding use-after-free
2020-03-19 08:25:08 +01:00
e6e8773272
start messages in lower-case
2020-03-19 08:25:08 +01:00
1103a10e2c
adjust for error reform
2020-03-19 08:25:08 +01:00
6b56aefa0b
Auto merge of #1239 - elichai:2020-03-abort-intrinsics, r=RalfJung
...
Abort instead of panic on asserting intrinsics
This fixes #1222
replacing the panic with an abort and a corresponding message.
the stack trace is already printed, this just adds an optional message the caller can pass, and I just pass the same message we passed to the panic but now to the abort instead.
r? @RalfJung
2020-03-18 12:20:30 +00:00
0826899ca0
Remove uninhabit/zeroed tests to a new test file for abort checking
2020-03-18 14:14:23 +02:00
52e1372e03
Abort instead of panic in asserting intrinsics, because they might not be panic safe
2020-03-18 14:14:23 +02:00
1b8979c8c7
Add an optional message to abort
2020-03-18 14:14:23 +02:00
5e7fd2b44d
Auto merge of #1238 - RalfJung:mir-opt-test, r=oli-obk
...
move repeated run of test suite (without and with MIR optimizations) out of compiletest
Just like we already pass the target architecture to our compiletest wrapper via `MIRI_TEST_TARGET` (and then have CI run compiletest with different values for that env var), we now do the same for running the tests with and without MIR optimizations.
This has the advantage of speeding up local `./miri test`, where in the vast majority of cases running tests both with and without optimizations is just a waste of time.
2020-03-18 10:36:41 +00:00
a32e25677f
move repeated run of test suite (without and with MIR optimizations) out of compiletest
2020-03-18 11:19:01 +01:00
ff2e799e36
Auto merge of #1237 - RalfJung:rustup, r=RalfJung
...
rustup; remove no longer existing intrinsics
2020-03-17 20:12:14 +00:00
b82cf36117
rustup; remove no longer existing intrinsics
2020-03-17 21:11:19 +01:00
12b7cf877b
Auto merge of #1235 - RalfJung:check-arith, r=RalfJung
...
avoid using unchecked casts or arithmetic
2020-03-17 14:22:44 +00:00
8b6af3eacb
avoid using unchecked casts or arithmetic
2020-03-17 15:21:43 +01:00
9082cc406a
Auto merge of #1233 - RalfJung:rustup, r=RalfJung
...
rustup
Cc https://github.com/rust-lang/rust/issues/70055
2020-03-16 20:33:49 +00:00
8a26a288c2
rustup
2020-03-16 21:32:57 +01:00
3cf495d762
Auto merge of #1232 - RalfJung:rustup, r=RalfJung
...
rustup
2020-03-16 09:00:44 +00:00
bddf9e050b
rustup
2020-03-16 09:59:01 +01:00
acdddc78bc
Auto merge of #1231 - JOE1994:patch-1, r=RalfJung
...
Minor typo fix
**"initialziation"** => **"initialization"**
2020-03-15 22:12:36 +00:00
a664156440
Minor typo fix
...
"initializiation" => "initialization"
2020-03-15 18:06:21 -04:00
4129c0e0fd
Auto merge of #1230 - RalfJung:cargo, r=RalfJung
...
Cargo.toml: group all dependencies together
2020-03-15 14:17:08 +00:00
92e3032941
Cargo.toml: group all dependencies together
2020-03-15 15:15:22 +01:00
a7891c05f7
Auto merge of #1227 - RalfJung:unwind, r=RalfJung
...
adjust Miri to needs of changed unwinding strategy
2020-03-15 10:18:40 +00:00
17a677f4a9
abort intrinsic is handled by librustc_mir now
2020-03-15 11:17:07 +01:00
956692d902
bump rust-version
2020-03-15 11:15:09 +01:00
1c4f27f1b2
adjust Miri to needs of changed unwinding strategy
2020-03-15 10:59:07 +01:00
a7580f795c
Auto merge of #1228 - RalfJung:typo, r=RalfJung
...
fix typo and deduplicate comment
2020-03-14 11:06:03 +00:00
a92b2274ce
fix typo and deduplicate comment
2020-03-14 12:05:25 +01:00
2a056a7a3b
Auto merge of #1226 - RalfJung:rustup, r=RalfJung
...
rustup, fix for intrinsic rename and transmute error change
@bors r+
2020-03-14 08:28:43 +00:00
497fbcbf44
rustup, fix for intrinsic rename and transmute error change
2020-03-14 09:27:35 +01:00
97c257530b
Auto merge of #1224 - RalfJung:diverge, r=RalfJung
...
refactor handling of diverging intrinsics/foreign functions
Also makes sure we don't accidentally call some normal intrinsics diverging -- which it turns out we did.
2020-03-12 20:22:02 +00:00
13ae3147f0
refactor handling of diverging intrinsics/foreign functions
2020-03-12 21:20:16 +01:00
5b3d2657cf
Auto merge of #1223 - RalfJung:rustup, r=RalfJung
...
rustup, test Abort terminator
2020-03-12 19:49:27 +00:00
5531a79f4c
rustup, test Abort terminator
2020-03-12 20:48:04 +01:00
0f22d8a208
Auto merge of #1213 - lcnr:master, r=RalfJung
...
rm custom `intrinsics::discriminant_value`
@RalfJung requires https://github.com/rust-lang/rust/pull/69825
2020-03-12 16:50:12 +00:00
4fc8542c4b
Auto merge of #1221 - RalfJung:rustup, r=RalfJung
...
Rustup
2020-03-11 19:42:01 +00:00
76ee8ff458
use ctfe_backtracte variable for backtrace control
2020-03-11 20:39:18 +01:00
45d5a37787
rustup+fix
2020-03-11 20:39:18 +01:00
704228d0bb
Auto merge of #1220 - elichai:2020-03-bump, r=RalfJung
...
Bump rust-version to latest
I hoped for some errors I could fix to learn more of the codebase but got none :/
IDK if it's still worth the PR hehe
(is there a TODO list or something like that I can look at when I'm in the mood of contributing to Miri? :) )
2020-03-11 19:12:05 +00:00
548c90e102
share some code between panic intrinsics, and fix the message
2020-03-11 19:53:07 +01:00
2802c3cf0b
Add tests for the new panic_if_any_invalid, panic_if_zero_invalid intrinsics
2020-03-11 16:02:49 +02:00
e81ebffa59
Implement panic_if_any_invalid and panic_if_zero_invalid intrinsics
2020-03-11 16:00:08 +02:00
881e65c01b
bump rust-version to latest
2020-03-11 15:39:18 +02:00
676c4f8c8c
Auto merge of #1210 - RalfJung:rustup-validity, r=RalfJung
...
rustup: adjust error message
This is the Miri side of https://github.com/rust-lang/rust/pull/69762
2020-03-09 16:04:10 +00:00
5040cb7f81
rustup
2020-03-09 17:03:45 +01:00
5ef48593fb
adjust error
2020-03-09 17:03:39 +01:00
Ralf Jung