]>
git.lizzy.rs Git - rust.git/log
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
Ralf Jung [Sun, 23 Feb 2020 20:55:02 +0000 (21:55 +0100)]
rename memory kind: Env -> Machine
Ralf Jung [Sun, 23 Feb 2020 16:45:57 +0000 (17:45 +0100)]
tweak benchmark
bors [Sun, 1 Mar 2020 20:24:37 +0000 (20:24 +0000)]
Auto merge of #1199 - RalfJung:cargo-miri, r=RalfJung
cargo-miri: fix trailing indent in xargo files
Ralf Jung [Sun, 1 Mar 2020 10:54:19 +0000 (11:54 +0100)]
format a few things
Ralf Jung [Sun, 1 Mar 2020 10:53:34 +0000 (11:53 +0100)]
fix trailing indent in xargo files
bors [Sun, 1 Mar 2020 09:31:08 +0000 (09:31 +0000)]
Auto merge of #1197 - RalfJung:rustup, r=RalfJung
Rustup
Ralf Jung [Sun, 1 Mar 2020 09:26:24 +0000 (10:26 +0100)]
some formatting
Ralf Jung [Sun, 1 Mar 2020 09:22:13 +0000 (10:22 +0100)]
rustup
bors [Sat, 29 Feb 2020 19:58:38 +0000 (19:58 +0000)]
Auto merge of #1196 - RalfJung:winlock, r=RalfJung
Remove incorrect try_lock from Windows critical section shim
Ralf Jung [Sat, 29 Feb 2020 18:46:42 +0000 (19:46 +0100)]
Remove incorrect try_lock from Windows critical section shim
bors [Sat, 29 Feb 2020 12:29:48 +0000 (12:29 +0000)]
Auto merge of #1195 - RalfJung:rustup, r=RalfJung
rustup
Just the occasional bump can't hurt...
@bors r+
Ralf Jung [Sat, 29 Feb 2020 12:28:59 +0000 (13:28 +0100)]
rustup
bors [Fri, 28 Feb 2020 09:02:17 +0000 (09:02 +0000)]
Auto merge of #1194 - RalfJung:no-to-bits, r=RalfJung
avoid Scalar::to_bits
Ralf Jung [Fri, 28 Feb 2020 09:00:20 +0000 (10:00 +0100)]
avoid Scalar::to_bits
bors [Wed, 26 Feb 2020 14:15:55 +0000 (14:15 +0000)]
Auto merge of #1152 - divergentdave:shim-directory, r=RalfJung
Add directory-related shims
This PR adds support for `mkdir`, `rmdir`, `opendir`, `closedir`, and `readdir64_r`.
Open directory streams are tracked through a HashMap indexed by pointer locations, which holds directory iterators. Since `DIR` is an opaque type in glibc, I represent them with 1-byte allocations, and then just use their pointers in HashMap lookups.
Tests are included to exercise the new functionality.
Ralf Jung [Wed, 26 Feb 2020 14:15:16 +0000 (15:15 +0100)]
fix Windows build failure
David Cook [Wed, 26 Feb 2020 13:59:11 +0000 (07:59 -0600)]
Review comments
bors [Wed, 26 Feb 2020 12:50:48 +0000 (12:50 +0000)]
Auto merge of #1192 - RalfJung:disable-stacked-borrows, r=RalfJung
add an option to disable Stacked Borrows
while keeping validation enabled. Fixes https://github.com/rust-lang/miri/issues/1183.
Ralf Jung [Wed, 26 Feb 2020 12:50:33 +0000 (13:50 +0100)]
fix build failures
bors [Tue, 25 Feb 2020 23:07:59 +0000 (23:07 +0000)]
Auto merge of #1193 - RalfJung:rustup, r=RalfJung
rustup
@bors r+
Ralf Jung [Tue, 25 Feb 2020 17:12:00 +0000 (18:12 +0100)]
rustup
David Cook [Tue, 25 Feb 2020 01:50:25 +0000 (19:50 -0600)]
Return length from write_os_str_to_c_str
David Cook [Tue, 25 Feb 2020 01:38:17 +0000 (19:38 -0600)]
Migrate readdir_r from pointers to places
David Cook [Tue, 25 Feb 2020 01:16:41 +0000 (19:16 -0600)]
Review comments
Ralf Jung [Mon, 24 Feb 2020 15:25:29 +0000 (16:25 +0100)]
move validate field from memory to machine
Ralf Jung [Mon, 24 Feb 2020 15:22:02 +0000 (16:22 +0100)]
add an option to disable Stacked Borrows
bors [Mon, 24 Feb 2020 13:45:51 +0000 (13:45 +0000)]
Auto merge of #1136 - Aaron1011:feature/check-libstd, r=RalfJung
Use 'cargo check' to build the sysroot and target crate
Fixes #1057
I'm using my original approach from PR #1048. Ideally, we would
distinguish between build-deps/dependencies/'final crate' via a
different approach (e.g. the target directory). However, I
haven't been able to get that to work just yet.
However, everything should be working with the approach I'm using. At a
minimum, we can use this PR to verify that everything works as expected
when we don't actually produce native build outputs.
Ralf Jung [Mon, 24 Feb 2020 13:45:35 +0000 (14:45 +0100)]
update lockfile