]>
git.lizzy.rs Git - rust.git/log
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
Christian Poveda [Thu, 5 Mar 2020 14:41:35 +0000 (09:41 -0500)]
add testcase for `environ` shim
Christian Poveda [Wed, 4 Mar 2020 18:24:01 +0000 (13:24 -0500)]
update the environ shim when environment changes
Christian Poveda [Wed, 4 Mar 2020 17:15:14 +0000 (12:15 -0500)]
add working shim for environ
bors [Fri, 6 Mar 2020 11:13:57 +0000 (11:13 +0000)]
Auto merge of #1209 - RalfJung:track-alloc-id, r=oli-obk
Add option to print when an AllocId gets created
r? @oli-obk
bors [Fri, 6 Mar 2020 09:46:48 +0000 (09:46 +0000)]
Auto merge of #1211 - RalfJung:readme, r=RalfJung
README: add another bug Miri found
Ralf Jung [Fri, 6 Mar 2020 09:46:12 +0000 (10:46 +0100)]
README: add another bug Miri found
Ralf Jung [Fri, 6 Mar 2020 08:11:41 +0000 (09:11 +0100)]
make the new option actually do something
Ralf Jung [Fri, 6 Mar 2020 08:06:23 +0000 (09:06 +0100)]
add option to track a particular AllocId (does nothing yet)
bors [Wed, 4 Mar 2020 12:03:00 +0000 (12:03 +0000)]
Auto merge of #1206 - RalfJung:int_asooc, r=RalfJung
finally stop using min/max_value and the integer modules
https://github.com/rust-lang/rust/pull/68952 landed, so we can finally do this :)
Ralf Jung [Wed, 4 Mar 2020 12:01:06 +0000 (13:01 +0100)]
finally stop using min/max_value and the integer modules
bors [Wed, 4 Mar 2020 09:41:01 +0000 (09:41 +0000)]
Auto merge of #1205 - RalfJung:serde, r=RalfJung
downgrade serde_json to match rustc workspace
@bors r+
Ralf Jung [Wed, 4 Mar 2020 09:29:00 +0000 (10:29 +0100)]
downgrade serde_json to match rustc workspace
bors [Wed, 4 Mar 2020 09:20:03 +0000 (09:20 +0000)]
Auto merge of #1204 - RalfJung:rustup, r=RalfJung
bump Rust
Ralf Jung [Wed, 4 Mar 2020 08:50:26 +0000 (09:50 +0100)]
fix allocator tests
Ralf Jung [Wed, 4 Mar 2020 07:54:12 +0000 (08:54 +0100)]
bump Rust