]>
git.lizzy.rs Git - rust.git/log
Ralf Jung [Sun, 22 Mar 2020 19:09:14 +0000 (20:09 +0100)]
fix outdated sysroot help message
Ralf Jung [Sun, 22 Mar 2020 18:48:59 +0000 (19:48 +0100)]
move -Zmiri-disable-isolation hint to help
Ralf Jung [Sun, 22 Mar 2020 17:50:12 +0000 (18:50 +0100)]
give some context in error messages
bors [Sun, 22 Mar 2020 08:05:35 +0000 (08:05 +0000)]
Auto merge of #1249 - RalfJung:rustup, r=RalfJung
Cross-test targets
We should now be able to run Linux targets on macOS hosts and vice versa.
Cc https://github.com/rust-lang/miri/issues/1198
Ralf Jung [Sun, 22 Mar 2020 08:04:10 +0000 (09:04 +0100)]
run-test.py: also print what we are testing for
Ralf Jung [Sun, 22 Mar 2020 07:55:53 +0000 (08:55 +0100)]
mention cross-running in docs
Ralf Jung [Sun, 22 Mar 2020 07:51:15 +0000 (08:51 +0100)]
platform -> target
Ralf Jung [Sat, 21 Mar 2020 22:28:10 +0000 (23:28 +0100)]
fix bad use of FOREIGN_TARGET
Ralf Jung [Sat, 21 Mar 2020 22:26:44 +0000 (23:26 +0100)]
also cross-test Windows from Linux, macOS
Ralf Jung [Sat, 21 Mar 2020 22:17:18 +0000 (23:17 +0100)]
do more cross-testing
Ralf Jung [Sat, 21 Mar 2020 22:17:07 +0000 (23:17 +0100)]
bump Rust
bors [Sat, 21 Mar 2020 17:09:57 +0000 (17:09 +0000)]
Auto merge of #1248 - RalfJung:overflow, r=RalfJung
detect UB: overflow in copy/write_bytes
Fixes https://github.com/rust-lang/miri/issues/1234
Ralf Jung [Sat, 21 Mar 2020 16:54:33 +0000 (17:54 +0100)]
detect UB: overflow in copy/write_bytes
Ralf Jung [Sat, 21 Mar 2020 16:54:18 +0000 (17:54 +0100)]
test for zero-sized write_bytes to NULL
Ralf Jung [Sat, 21 Mar 2020 16:43:28 +0000 (17:43 +0100)]
./miri check
bors [Sat, 21 Mar 2020 12:13:39 +0000 (12:13 +0000)]
Auto merge of #1247 - RalfJung:rustup, r=RalfJung
call error location was fixed by rustup
Ralf Jung [Sat, 21 Mar 2020 12:13:08 +0000 (13:13 +0100)]
remove no longer needed (and sometimes broken) 'extern crate'
Ralf Jung [Sat, 21 Mar 2020 11:52:23 +0000 (12:52 +0100)]
call error location was fixed by rustup
bors [Sat, 21 Mar 2020 09:55:23 +0000 (09:55 +0000)]
Auto merge of #1241 - RalfJung:dont-panic, r=RalfJung
whitelist platforms where panicking should work
@CAD97 [proposed](https://github.com/rust-lang/miri/issues/1059#issuecomment-
601217992 ) trying to get a better error for failed panics on Windows.
Could you test if this works for you?
Ralf Jung [Sat, 21 Mar 2020 09:43:59 +0000 (10:43 +0100)]
fix tests
Ralf Jung [Sat, 21 Mar 2020 09:16:47 +0000 (10:16 +0100)]
test windows panic message
bors [Fri, 20 Mar 2020 15:18:06 +0000 (15:18 +0000)]
Auto merge of #1243 - RalfJung:instant, r=RalfJung
implement Instant::now
For now, this is Linux-only.
Unlike `SystemTime`, we cannot convert `Instant` to something absolute via an epoch. But that's okay, that clock is relative anyway, so we just make up our own time anchor when interpretation starts.
Fixes https://github.com/rust-lang/miri/issues/1242
Ralf Jung [Fri, 20 Mar 2020 14:54:41 +0000 (15:54 +0100)]
implement mach_absolute_time for macOS
bors [Fri, 20 Mar 2020 14:57:58 +0000 (14:57 +0000)]
Auto merge of #1244 - RalfJung:readme, r=RalfJung
README updates
Ralf Jung [Fri, 20 Mar 2020 14:57:11 +0000 (15:57 +0100)]
add some more miri-detected issues
Ralf Jung [Fri, 20 Mar 2020 14:11:54 +0000 (15:11 +0100)]
assert platform in time shims
bors [Fri, 20 Mar 2020 09:35:08 +0000 (09:35 +0000)]
Auto merge of #1245 - RalfJung:rustup, r=RalfJung
rustup
Just to make sure the CI failure we just saw was truly spurious (travis macOS being unreliable, as usual)
Ralf Jung [Fri, 20 Mar 2020 09:34:24 +0000 (10:34 +0100)]
rustup
Ralf Jung [Thu, 19 Mar 2020 22:19:17 +0000 (23:19 +0100)]
we also do not check floats for being init'd
Ralf Jung [Thu, 19 Mar 2020 22:00:02 +0000 (23:00 +0100)]
implement CLOCK_MONOTONIC on Linux
Ralf Jung [Thu, 19 Mar 2020 14:50:02 +0000 (15:50 +0100)]
whitelist platforms where panicking should work
bors [Thu, 19 Mar 2020 07:42:53 +0000 (07:42 +0000)]
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.
Ralf Jung [Thu, 19 Mar 2020 07:41:01 +0000 (08:41 +0100)]
rustup, and some final message adjustments
Ralf Jung [Mon, 9 Mar 2020 10:42:59 +0000 (11:42 +0100)]
adjust error messages for lower-case start
Ralf Jung [Mon, 9 Mar 2020 08:38:33 +0000 (09:38 +0100)]
getting a path should never fail
we basically treat them as lang items
Ralf Jung [Mon, 9 Mar 2020 09:22:30 +0000 (10:22 +0100)]
add test for validation finding use-after-free
Ralf Jung [Mon, 9 Mar 2020 08:43:20 +0000 (09:43 +0100)]
start messages in lower-case
Ralf Jung [Sun, 8 Mar 2020 22:34:54 +0000 (23:34 +0100)]
adjust for error reform
bors [Wed, 18 Mar 2020 12:20:30 +0000 (12:20 +0000)]
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
Elichai Turkel [Wed, 18 Mar 2020 11:18:08 +0000 (13:18 +0200)]
Remove uninhabit/zeroed tests to a new test file for abort checking
Elichai Turkel [Wed, 18 Mar 2020 11:17:18 +0000 (13:17 +0200)]
Abort instead of panic in asserting intrinsics, because they might not be panic safe
Elichai Turkel [Wed, 18 Mar 2020 11:16:37 +0000 (13:16 +0200)]
Add an optional message to abort
bors [Wed, 18 Mar 2020 10:36:41 +0000 (10:36 +0000)]
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.
Ralf Jung [Wed, 18 Mar 2020 10:19:01 +0000 (11:19 +0100)]
move repeated run of test suite (without and with MIR optimizations) out of compiletest
bors [Tue, 17 Mar 2020 20:12:14 +0000 (20:12 +0000)]
Auto merge of #1237 - RalfJung:rustup, r=RalfJung
rustup; remove no longer existing intrinsics
Ralf Jung [Tue, 17 Mar 2020 19:53:34 +0000 (20:53 +0100)]
rustup; remove no longer existing intrinsics
bors [Tue, 17 Mar 2020 14:22:44 +0000 (14:22 +0000)]
Auto merge of #1235 - RalfJung:check-arith, r=RalfJung
avoid using unchecked casts or arithmetic
Ralf Jung [Tue, 17 Mar 2020 14:18:53 +0000 (15:18 +0100)]
avoid using unchecked casts or arithmetic
bors [Mon, 16 Mar 2020 20:33:49 +0000 (20:33 +0000)]
Auto merge of #1233 - RalfJung:rustup, r=RalfJung
rustup
Cc https://github.com/rust-lang/rust/issues/70055
Ralf Jung [Mon, 16 Mar 2020 20:32:57 +0000 (21:32 +0100)]
rustup
bors [Mon, 16 Mar 2020 09:00:44 +0000 (09:00 +0000)]
Auto merge of #1232 - RalfJung:rustup, r=RalfJung
rustup
Ralf Jung [Mon, 16 Mar 2020 08:59:01 +0000 (09:59 +0100)]
rustup
bors [Sun, 15 Mar 2020 22:12:36 +0000 (22:12 +0000)]
Auto merge of #1231 - JOE1994:patch-1, r=RalfJung
Minor typo fix
**"initialziation"** => **"initialization"**
Youngsuk Kim [Sun, 15 Mar 2020 22:06:21 +0000 (18:06 -0400)]
Minor typo fix
"initializiation" => "initialization"
bors [Sun, 15 Mar 2020 14:17:08 +0000 (14:17 +0000)]
Auto merge of #1230 - RalfJung:cargo, r=RalfJung
Cargo.toml: group all dependencies together
Ralf Jung [Sun, 15 Mar 2020 14:15:22 +0000 (15:15 +0100)]
Cargo.toml: group all dependencies together
bors [Sun, 15 Mar 2020 10:18:40 +0000 (10:18 +0000)]
Auto merge of #1227 - RalfJung:unwind, r=RalfJung
adjust Miri to needs of changed unwinding strategy
Ralf Jung [Sun, 15 Mar 2020 10:17:07 +0000 (11:17 +0100)]
abort intrinsic is handled by librustc_mir now
Ralf Jung [Sun, 15 Mar 2020 10:15:09 +0000 (11:15 +0100)]
bump rust-version
Ralf Jung [Sat, 14 Mar 2020 10:53:09 +0000 (11:53 +0100)]
adjust Miri to needs of changed unwinding strategy
bors [Sat, 14 Mar 2020 11:06:03 +0000 (11:06 +0000)]
Auto merge of #1228 - RalfJung:typo, r=RalfJung
fix typo and deduplicate comment
Ralf Jung [Sat, 14 Mar 2020 11:05:25 +0000 (12:05 +0100)]
fix typo and deduplicate comment
bors [Sat, 14 Mar 2020 08:28:43 +0000 (08:28 +0000)]
Auto merge of #1226 - RalfJung:rustup, r=RalfJung
rustup, fix for intrinsic rename and transmute error change
@bors r+
Ralf Jung [Sat, 14 Mar 2020 08:27:35 +0000 (09:27 +0100)]
rustup, fix for intrinsic rename and transmute error change
bors [Thu, 12 Mar 2020 20:22:02 +0000 (20:22 +0000)]
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.
Ralf Jung [Thu, 12 Mar 2020 20:20:16 +0000 (21:20 +0100)]
refactor handling of diverging intrinsics/foreign functions
bors [Thu, 12 Mar 2020 19:49:27 +0000 (19:49 +0000)]
Auto merge of #1223 - RalfJung:rustup, r=RalfJung
rustup, test Abort terminator
Ralf Jung [Thu, 12 Mar 2020 19:46:58 +0000 (20:46 +0100)]
rustup, test Abort terminator
bors [Thu, 12 Mar 2020 16:50:12 +0000 (16:50 +0000)]
Auto merge of #1213 - lcnr:master, r=RalfJung
rm custom `intrinsics::discriminant_value`
@RalfJung requires https://github.com/rust-lang/rust/pull/69825
bors [Wed, 11 Mar 2020 19:42:01 +0000 (19:42 +0000)]
Auto merge of #1221 - RalfJung:rustup, r=RalfJung
Rustup
Ralf Jung [Wed, 11 Mar 2020 19:21:44 +0000 (20:21 +0100)]
use ctfe_backtracte variable for backtrace control
Ralf Jung [Wed, 11 Mar 2020 19:05:44 +0000 (20:05 +0100)]
rustup+fix
bors [Wed, 11 Mar 2020 19:12:05 +0000 (19:12 +0000)]
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? :) )
Ralf Jung [Wed, 11 Mar 2020 18:52:39 +0000 (19:52 +0100)]
share some code between panic intrinsics, and fix the message
Elichai Turkel [Wed, 11 Mar 2020 14:02:49 +0000 (16:02 +0200)]
Add tests for the new panic_if_any_invalid, panic_if_zero_invalid intrinsics
Elichai Turkel [Wed, 11 Mar 2020 13:39:37 +0000 (15:39 +0200)]
Implement panic_if_any_invalid and panic_if_zero_invalid intrinsics
Elichai Turkel [Wed, 11 Mar 2020 12:58:27 +0000 (14:58 +0200)]
bump rust-version to latest
bors [Mon, 9 Mar 2020 16:04:10 +0000 (16:04 +0000)]
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
Ralf Jung [Mon, 9 Mar 2020 16:03:45 +0000 (17:03 +0100)]
rustup
Ralf Jung [Wed, 4 Mar 2020 22:16:24 +0000 (23:16 +0100)]
adjust error
bors [Sun, 8 Mar 2020 19:01:59 +0000 (19:01 +0000)]
Auto merge of #1218 - RalfJung:panic, r=RalfJung
properly panic in panic_if_uninhabited and align_offset shims
Ralf Jung [Sun, 8 Mar 2020 19:00:40 +0000 (20:00 +0100)]
properly panic in panic_if_uninhabited and align_offset shims
bors [Sun, 8 Mar 2020 17:02:28 +0000 (17:02 +0000)]
Auto merge of #1217 - christianpoveda:environ-shim, r=RalfJung
move environ place to EnvVars
r? @RalfJung
Christian Poveda [Sun, 8 Mar 2020 16:54:47 +0000 (11:54 -0500)]
move environ place to EnvVars
bors [Sun, 8 Mar 2020 16:34:40 +0000 (16:34 +0000)]
Auto merge of #1216 - RalfJung:env, r=RalfJung
move environ init to update_environ
@christianpoveda I thought of a way to simplify initialization a bit. :)
Ralf Jung [Sun, 8 Mar 2020 16:18:53 +0000 (17:18 +0100)]
move environ init to update_environ
bors [Sun, 8 Mar 2020 16:16:02 +0000 (16:16 +0000)]
Auto merge of #1215 - RalfJung:readme, r=RalfJung
readme: mention the leaks we found
bors [Sun, 8 Mar 2020 15:57:33 +0000 (15:57 +0000)]
Auto merge of #1214 - RalfJung:depup, r=RalfJung
bump dependencies
"quote 1.0.2" which we used got yanked, so update all the things.
Ralf Jung [Sun, 8 Mar 2020 15:50:19 +0000 (16:50 +0100)]
readme: mention the leaks we found
bors [Sun, 8 Mar 2020 15:39:43 +0000 (15:39 +0000)]
Auto merge of #1208 - christianpoveda:environ-shim, r=RalfJung
Environ shim
Remake of https://github.com/rust-lang/miri/pull/1147. There are three main problems with this:
1. For some reason `update_environ` is not updating `environ` when `setenv` or `unsetenv` are called. Even then it works during initialization.
2. I am not deallocating the old array with the variables in `update_environ`.
3. I had to store the `environ` place into `MemoryExtra` as a field to update it. I was thinking about changing `extern_statics` to store places instead of `AllocID`s to avoid this.
@RalfJung
Ralf Jung [Sun, 8 Mar 2020 15:29:57 +0000 (16:29 +0100)]
bump dependencies
Christian Poveda [Sat, 7 Mar 2020 20:33:27 +0000 (15:33 -0500)]
only expose environ on linux
Bastian Kauschke [Sun, 8 Mar 2020 13:31:57 +0000 (14:31 +0100)]
rm custom `intrinsics::discriminant_value`
Christian Poveda [Sat, 7 Mar 2020 16:35:00 +0000 (11:35 -0500)]
minor corrections
Christian Poveda [Sat, 7 Mar 2020 14:39:44 +0000 (09:39 -0500)]
add `_NSGetEnviron` foreign function for macos
Christian Poveda [Sat, 7 Mar 2020 14:26:04 +0000 (09:26 -0500)]
test that `environ` gets deallocated on changes
Christian Poveda [Fri, 6 Mar 2020 14:38:16 +0000 (09:38 -0500)]
deallocate old environ
bors [Fri, 6 Mar 2020 13:33:47 +0000 (13:33 +0000)]
Auto merge of #1212 - RalfJung:tests, r=RalfJung
expand clock and fs tests a bit
Ralf Jung [Fri, 6 Mar 2020 13:28:34 +0000 (14:28 +0100)]
expand clock and fs tests a bit
Ralf Jung [Thu, 5 Mar 2020 22:25:55 +0000 (23:25 +0100)]
fix env update, and expand test