]>
git.lizzy.rs Git - rust.git/log
Ralf Jung [Fri, 20 Mar 2020 09:34:24 +0000 (10:34 +0100)]
rustup
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
bors [Tue, 3 Mar 2020 14:02:55 +0000 (14:02 +0000)]
Auto merge of #1203 - RalfJung:generator, r=RalfJung
try even harder to catch invalid generator fields
Ralf Jung [Tue, 3 Mar 2020 14:00:19 +0000 (15:00 +0100)]
try even harder to catch invalid generator fields
bors [Mon, 2 Mar 2020 21:37:08 +0000 (21:37 +0000)]
Auto merge of #1202 - RalfJung:symbols, r=RalfJung
switch extern_statics map to symbols, and use FxHashMap everywhere
Cc @eddyb
Ralf Jung [Mon, 2 Mar 2020 21:36:15 +0000 (22:36 +0100)]
HashMap -> FxHashMap
Ralf Jung [Mon, 2 Mar 2020 21:30:20 +0000 (22:30 +0100)]
switch extern_statics map to symbols
bors [Mon, 2 Mar 2020 21:11:27 +0000 (21:11 +0000)]
Auto merge of #1201 - Aaron1011:fix/bootstrap-xargo-check, r=RalfJung
Rename XARGO env var to XARGO_CHECK
This reflects the fact that we want bootstrap to override `xargo-check`,
not `xargo
Ralf Jung [Mon, 2 Mar 2020 21:10:48 +0000 (22:10 +0100)]
rename xargo -> xargo_check
Aaron Hill [Mon, 2 Mar 2020 19:17:14 +0000 (14:17 -0500)]
Rename XARGO env var to XARGO_CHECK
This reflects the fact that we want bootstrap to override `xargo-check`,
not `xargo
bors [Mon, 2 Mar 2020 12:52:40 +0000 (12:52 +0000)]
Auto merge of #1178 - RalfJung:rustup-visitor, r=RalfJung
adjust for rustc changes
The Miri side of https://github.com/rust-lang/rust/pull/69257
Ralf Jung [Tue, 18 Feb 2020 08:32:02 +0000 (09:32 +0100)]
adjust for rustc changes
bors [Mon, 2 Mar 2020 08:06:30 +0000 (08:06 +0000)]
Auto merge of #1190 - RalfJung:canonical-alloc-id, r=RalfJung
Canonical AllocID
This is the Miri side of https://github.com/rust-lang/rust/pull/69408.
This just ports the existing extern statics to the new system; no new shims are added.
Cc @christianpoveda
Ralf Jung [Mon, 2 Mar 2020 08:05:55 +0000 (09:05 +0100)]
remove unused import
Ralf Jung [Mon, 2 Mar 2020 08:00:43 +0000 (09:00 +0100)]
rustup
Ralf Jung [Sun, 23 Feb 2020 21:35:13 +0000 (22:35 +0100)]
canonicalize alloc ID for ptr-to-int cast
Ralf Jung [Sun, 23 Feb 2020 21:32:37 +0000 (22:32 +0100)]
port from find_foreign_static to canonical_alloc_id