]> git.lizzy.rs Git - rust.git/log
rust.git
4 years agobump dependencies
Ralf Jung [Sun, 8 Mar 2020 15:29:57 +0000 (16:29 +0100)]
bump dependencies

4 years agoAuto merge of #1212 - RalfJung:tests, r=RalfJung
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

4 years agoexpand 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

4 years agoAuto merge of #1209 - RalfJung:track-alloc-id, r=oli-obk
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

4 years agoAuto merge of #1211 - RalfJung:readme, r=RalfJung
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

4 years agoREADME: add another bug Miri found
Ralf Jung [Fri, 6 Mar 2020 09:46:12 +0000 (10:46 +0100)]
README: add another bug Miri found

4 years agomake the new option actually do something
Ralf Jung [Fri, 6 Mar 2020 08:11:41 +0000 (09:11 +0100)]
make the new option actually do something

4 years agoadd option to track a particular AllocId (does nothing yet)
Ralf Jung [Fri, 6 Mar 2020 08:06:23 +0000 (09:06 +0100)]
add option to track a particular AllocId (does nothing yet)

4 years agoAuto merge of #1206 - RalfJung:int_asooc, r=RalfJung
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 :)

4 years agofinally stop using min/max_value and the integer modules
Ralf Jung [Wed, 4 Mar 2020 12:01:06 +0000 (13:01 +0100)]
finally stop using min/max_value and the integer modules

4 years agoAuto merge of #1205 - RalfJung:serde, r=RalfJung
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+

4 years agodowngrade serde_json to match rustc workspace
Ralf Jung [Wed, 4 Mar 2020 09:29:00 +0000 (10:29 +0100)]
downgrade serde_json to match rustc workspace

4 years agoAuto merge of #1204 - RalfJung:rustup, r=RalfJung
bors [Wed, 4 Mar 2020 09:20:03 +0000 (09:20 +0000)]
Auto merge of #1204 - RalfJung:rustup, r=RalfJung

bump Rust

4 years agofix allocator tests
Ralf Jung [Wed, 4 Mar 2020 08:50:26 +0000 (09:50 +0100)]
fix allocator tests

4 years agobump Rust
Ralf Jung [Wed, 4 Mar 2020 07:54:12 +0000 (08:54 +0100)]
bump Rust

4 years agoAuto merge of #1203 - RalfJung:generator, r=RalfJung
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

4 years agotry 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

4 years agoAuto merge of #1202 - RalfJung:symbols, r=RalfJung
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

4 years agoHashMap -> FxHashMap
Ralf Jung [Mon, 2 Mar 2020 21:36:15 +0000 (22:36 +0100)]
HashMap -> FxHashMap

4 years agoswitch extern_statics map to symbols
Ralf Jung [Mon, 2 Mar 2020 21:30:20 +0000 (22:30 +0100)]
switch extern_statics map to symbols

4 years agoAuto merge of #1201 - Aaron1011:fix/bootstrap-xargo-check, r=RalfJung
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

4 years agorename xargo -> xargo_check
Ralf Jung [Mon, 2 Mar 2020 21:10:48 +0000 (22:10 +0100)]
rename xargo -> xargo_check

4 years agoRename XARGO env var to 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

4 years agoAuto merge of #1178 - RalfJung:rustup-visitor, r=RalfJung
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

4 years agoadjust for rustc changes
Ralf Jung [Tue, 18 Feb 2020 08:32:02 +0000 (09:32 +0100)]
adjust for rustc changes

4 years agoAuto merge of #1190 - RalfJung:canonical-alloc-id, r=RalfJung
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

4 years agoremove unused import
Ralf Jung [Mon, 2 Mar 2020 08:05:55 +0000 (09:05 +0100)]
remove unused import

4 years agorustup
Ralf Jung [Mon, 2 Mar 2020 08:00:43 +0000 (09:00 +0100)]
rustup

4 years agocanonicalize alloc ID for ptr-to-int cast
Ralf Jung [Sun, 23 Feb 2020 21:35:13 +0000 (22:35 +0100)]
canonicalize alloc ID for ptr-to-int cast

4 years agoport from find_foreign_static to canonical_alloc_id
Ralf Jung [Sun, 23 Feb 2020 21:32:37 +0000 (22:32 +0100)]
port from find_foreign_static to canonical_alloc_id

4 years agorename memory kind: Env -> Machine
Ralf Jung [Sun, 23 Feb 2020 20:55:02 +0000 (21:55 +0100)]
rename memory kind: Env -> Machine

4 years agotweak benchmark
Ralf Jung [Sun, 23 Feb 2020 16:45:57 +0000 (17:45 +0100)]
tweak benchmark

4 years agoAuto merge of #1199 - RalfJung:cargo-miri, r=RalfJung
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

4 years agoformat a few things
Ralf Jung [Sun, 1 Mar 2020 10:54:19 +0000 (11:54 +0100)]
format a few things

4 years agofix trailing indent in xargo files
Ralf Jung [Sun, 1 Mar 2020 10:53:34 +0000 (11:53 +0100)]
fix trailing indent in xargo files

4 years agoAuto merge of #1197 - RalfJung:rustup, r=RalfJung
bors [Sun, 1 Mar 2020 09:31:08 +0000 (09:31 +0000)]
Auto merge of #1197 - RalfJung:rustup, r=RalfJung

Rustup

4 years agosome formatting
Ralf Jung [Sun, 1 Mar 2020 09:26:24 +0000 (10:26 +0100)]
some formatting

4 years agorustup
Ralf Jung [Sun, 1 Mar 2020 09:22:13 +0000 (10:22 +0100)]
rustup

4 years agoAuto merge of #1196 - RalfJung:winlock, r=RalfJung
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

4 years agoRemove 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

4 years agoAuto merge of #1195 - RalfJung:rustup, r=RalfJung
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+

4 years agorustup
Ralf Jung [Sat, 29 Feb 2020 12:28:59 +0000 (13:28 +0100)]
rustup

4 years agoAuto merge of #1194 - RalfJung:no-to-bits, r=RalfJung
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

4 years agoavoid Scalar::to_bits
Ralf Jung [Fri, 28 Feb 2020 09:00:20 +0000 (10:00 +0100)]
avoid Scalar::to_bits

4 years agoAuto merge of #1152 - divergentdave:shim-directory, r=RalfJung
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.

4 years agofix Windows build failure
Ralf Jung [Wed, 26 Feb 2020 14:15:16 +0000 (15:15 +0100)]
fix Windows build failure

4 years agoReview comments
David Cook [Wed, 26 Feb 2020 13:59:11 +0000 (07:59 -0600)]
Review comments

4 years agoAuto merge of #1192 - RalfJung:disable-stacked-borrows, r=RalfJung
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.

4 years agofix build failures
Ralf Jung [Wed, 26 Feb 2020 12:50:33 +0000 (13:50 +0100)]
fix build failures

4 years agoAuto merge of #1193 - RalfJung:rustup, r=RalfJung
bors [Tue, 25 Feb 2020 23:07:59 +0000 (23:07 +0000)]
Auto merge of #1193 - RalfJung:rustup, r=RalfJung

rustup

@bors r+

4 years agorustup
Ralf Jung [Tue, 25 Feb 2020 17:12:00 +0000 (18:12 +0100)]
rustup

4 years agoReturn length from write_os_str_to_c_str
David Cook [Tue, 25 Feb 2020 01:50:25 +0000 (19:50 -0600)]
Return length from write_os_str_to_c_str

4 years agoMigrate readdir_r from pointers to places
David Cook [Tue, 25 Feb 2020 01:38:17 +0000 (19:38 -0600)]
Migrate readdir_r from pointers to places

4 years agoReview comments
David Cook [Tue, 25 Feb 2020 01:16:41 +0000 (19:16 -0600)]
Review comments

4 years agomove validate field from memory to machine
Ralf Jung [Mon, 24 Feb 2020 15:25:29 +0000 (16:25 +0100)]
move validate field from memory to machine

4 years agoadd an option to disable Stacked Borrows
Ralf Jung [Mon, 24 Feb 2020 15:22:02 +0000 (16:22 +0100)]
add an option to disable Stacked Borrows

4 years agoAuto merge of #1136 - Aaron1011:feature/check-libstd, r=RalfJung
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.

4 years agoupdate lockfile
Ralf Jung [Mon, 24 Feb 2020 13:45:35 +0000 (14:45 +0100)]
update lockfile

4 years agofix Cargo.toml
Ralf Jung [Mon, 24 Feb 2020 13:42:45 +0000 (14:42 +0100)]
fix Cargo.toml

4 years agorefactor cargo-miri a bit
Ralf Jung [Mon, 24 Feb 2020 13:17:19 +0000 (14:17 +0100)]
refactor cargo-miri a bit

4 years agoUse 'cargo check' to build the sysroot and target crate
Aaron Hill [Wed, 1 Jan 2020 09:12:27 +0000 (04:12 -0500)]
Use 'cargo check' to build the sysroot and target crate

Fixes #1057

Since we are no longer using "cargo rustc", we now use the rustc
arguments passed by Cargo to determine whether we are building a
build dependency, normal dependency, or "target" (final binary or test)
crate.

4 years agoUse ID numbers in lieu of allocations for DIR*
David Cook [Sun, 16 Feb 2020 20:49:48 +0000 (14:49 -0600)]
Use ID numbers in lieu of allocations for DIR*

4 years agoAuto merge of #1191 - RalfJung:cargup, r=RalfJung
bors [Sun, 23 Feb 2020 21:46:05 +0000 (21:46 +0000)]
Auto merge of #1191 - RalfJung:cargup, r=RalfJung

cargo update

4 years agoAdd comments
David Cook [Sun, 16 Feb 2020 19:44:19 +0000 (13:44 -0600)]
Add comments

4 years agocargo update
Ralf Jung [Sun, 23 Feb 2020 21:44:16 +0000 (22:44 +0100)]
cargo update

4 years agoMove error up, early return
David Cook [Sun, 16 Feb 2020 19:39:06 +0000 (13:39 -0600)]
Move error up, early return

4 years agoAdd comments
David Cook [Sun, 16 Feb 2020 19:22:50 +0000 (13:22 -0600)]
Add comments

4 years agoUse os_str_length_as_c_str in readdir[64]_r
David Cook [Sun, 16 Feb 2020 19:13:16 +0000 (13:13 -0600)]
Use os_str_length_as_c_str in readdir[64]_r

4 years agoMiscellaneous review comments
David Cook [Sun, 16 Feb 2020 18:12:20 +0000 (12:12 -0600)]
Miscellaneous review comments

4 years agoRewrite fs tests
David Cook [Sun, 9 Feb 2020 04:27:26 +0000 (22:27 -0600)]
Rewrite fs tests

4 years agoFix interpreted OS detection
David Cook [Sun, 9 Feb 2020 02:44:35 +0000 (20:44 -0600)]
Fix interpreted OS detection

4 years agoAdd doc comment inside DirHandler
David Cook [Sun, 9 Feb 2020 02:44:02 +0000 (20:44 -0600)]
Add doc comment inside DirHandler

4 years agoFix dirent layout for macOS
David Cook [Fri, 31 Jan 2020 00:57:01 +0000 (18:57 -0600)]
Fix dirent layout for macOS

4 years agoUse longer file names in test
David Cook [Sun, 26 Jan 2020 21:45:35 +0000 (15:45 -0600)]
Use longer file names in test

4 years agoAdd more information to test asserts
David Cook [Sun, 26 Jan 2020 21:09:24 +0000 (15:09 -0600)]
Add more information to test asserts

4 years agoAdd shims for macOS-specific symbols
David Cook [Sun, 26 Jan 2020 20:47:36 +0000 (14:47 -0600)]
Add shims for macOS-specific symbols

4 years agoHandle differing sizes of mode_t
David Cook [Sun, 26 Jan 2020 20:13:22 +0000 (14:13 -0600)]
Handle differing sizes of mode_t

mode_t is a u32 on Linux and a u16 on macOS

4 years agoAdd shim for readdir64_r
David Cook [Sat, 25 Jan 2020 23:36:51 +0000 (17:36 -0600)]
Add shim for readdir64_r

4 years agoAdd shims for opendir and closedir
David Cook [Sat, 25 Jan 2020 18:57:15 +0000 (12:57 -0600)]
Add shims for opendir and closedir

4 years agoAdd shims for mkdir and rmdir
David Cook [Sat, 25 Jan 2020 00:56:23 +0000 (18:56 -0600)]
Add shims for mkdir and rmdir

4 years agoAuto merge of #1189 - RalfJung:cleanup, r=RalfJung
bors [Sun, 23 Feb 2020 18:11:37 +0000 (18:11 +0000)]
Auto merge of #1189 - RalfJung:cleanup, r=RalfJung

some foreign_items cleanup

Cc @christianpoveda

4 years agoavoid lowercasing platforms
Ralf Jung [Sun, 23 Feb 2020 17:54:08 +0000 (18:54 +0100)]
avoid lowercasing platforms

4 years agoimprove comments
Ralf Jung [Sun, 23 Feb 2020 17:48:44 +0000 (18:48 +0100)]
improve comments

4 years agoadd private helper trait for fs shim
Ralf Jung [Sun, 23 Feb 2020 17:48:38 +0000 (18:48 +0100)]
add private helper trait for fs shim

4 years agohelpers.rs cleanup
Ralf Jung [Sun, 23 Feb 2020 17:44:40 +0000 (18:44 +0100)]
helpers.rs cleanup

4 years agoAuto merge of #1167 - christianpoveda:shims-refactor, r=RalfJung
bors [Sun, 23 Feb 2020 17:03:30 +0000 (17:03 +0000)]
Auto merge of #1167 - christianpoveda:shims-refactor, r=RalfJung

Reorganize shims by platform

Fixes https://github.com/rust-lang/miri/issues/1161. I am currently testing which shims belong to which platform. If you are reading this and know the answer for any of those please write me :P

Edit: this is a list of the shims I haven't been able to figure out to which platform they belong:
 -~~`malloc`~~
 -~~`calloc`~~
 -~~`posix_memalign`~~
 -~~`free`~~
 -~~`realloc`~~
 -~~`__rust_alloc`~~
 -~~`__rust_alloc_zeroed`~~
 -~~`__rust_dealloc`~~
 -~~`__rust_realloc`~~
 -~~`__rust_maybe_catch_panic`~~
 -~~`syscall`~~
 -~~`getrandom`~~
 -~~`dlsym`~~
 -~~`memcmp`~~
 -~~`memrchr`~~
 -~~`memchr`~~
 -~~`strlen`~~
 -~~`signal`~~
 -~~`sigaction`~~
 -~~`sigaltstack`~~
 -~~`sysconf`~~
 -~~`sched_getaffinity`~~
 -~~`isatty`~~
 -~~`pthread_key_create`~~
 -~~`pthread_key_delete`~~
 -~~`pthread_getspecific`~~
 -~~`pthread_setspecific`~~
 -~~`pthread_attr_init`~~
 -~~`pthread_attr_destroy`~~
 -~~`pthread_self`~~
 -~~`pthread_attr_setstacksize`~~
 -~~`pthread_attr_getstack`~~
 -~~`pthread_create`~~
 -~~`pthread_mutexattr_init`~~
 -~~`pthread_mutexattr_settype`~~
 -~~`pthread_mutex_init`~~
 -~~`pthread_mutexattr_destroy`~~
 -~~`pthread_mutex_lock`~~
 -~~`pthread_mutex_unlock`~~
 -~~`pthread_mutex_destroy`~~
 -~~`pthread_rwlock_rdlock`~~
 -~~`pthread_rwlock_unlock`~~
 -~~`pthread_rwlock_wrlock`~~
 -~~`pthread_rwlock_destroy`~~
 -~~`pthread_condattr_init`~~
 -~~`pthread_condattr_setclock`~~
 -~~`pthread_cond_init`~~
 -~~`pthread_condattr_destroy`~~
 -~~`pthread_cond_destroy`~~
 -~~`pthread_atfork`~~
 -~~`posix_fadvise`~~
 -~~`mmap`~~
 -~~`mprotect`~~

4 years agopanic if target platform is incorrect instead
Christian Poveda [Sat, 22 Feb 2020 14:02:25 +0000 (09:02 -0500)]
panic if target platform is incorrect instead

4 years agoimprove docs
Christian Poveda [Sat, 22 Feb 2020 13:55:45 +0000 (08:55 -0500)]
improve docs

4 years agoAuto merge of #1185 - RalfJung:readme, r=RalfJung
bors [Sat, 22 Feb 2020 10:58:53 +0000 (10:58 +0000)]
Auto merge of #1185 - RalfJung:readme, r=RalfJung

fix README

With https://github.com/rust-lang/miri/pull/1127, we do not abort execution any more when the tracked tag gets popped, we just show a backtrace.

4 years agofix README
Ralf Jung [Fri, 21 Feb 2020 07:34:25 +0000 (08:34 +0100)]
fix README

4 years agominor fixes
Christian Poveda [Sat, 22 Feb 2020 07:18:42 +0000 (02:18 -0500)]
minor fixes

4 years agoAuto merge of #1188 - RalfJung:bootstrap, r=RalfJung
bors [Fri, 21 Feb 2020 19:07:37 +0000 (19:07 +0000)]
Auto merge of #1188 - RalfJung:bootstrap, r=RalfJung

dont overwrite bootstrap flags

4 years agodont overwrite bootstrap flags
Ralf Jung [Fri, 21 Feb 2020 19:06:31 +0000 (20:06 +0100)]
dont overwrite bootstrap flags

4 years agoAuto merge of #1187 - RalfJung:rustup, r=RalfJung
bors [Fri, 21 Feb 2020 10:06:24 +0000 (10:06 +0000)]
Auto merge of #1187 - RalfJung:rustup, r=RalfJung

fix for const-prop lint changes

Cc https://github.com/rust-lang/rust/issues/69331

4 years agoremove some no-longer-needed allow(const_err)
Ralf Jung [Fri, 21 Feb 2020 10:05:56 +0000 (11:05 +0100)]
remove some no-longer-needed allow(const_err)

4 years agofix test-cargo-miri
Ralf Jung [Fri, 21 Feb 2020 10:03:52 +0000 (11:03 +0100)]
fix test-cargo-miri

4 years agofix for const-prop lint changes
Ralf Jung [Fri, 21 Feb 2020 09:28:24 +0000 (10:28 +0100)]
fix for const-prop lint changes

4 years agoAuto merge of #1184 - divergentdave:rename-error-test, r=RalfJung
bors [Fri, 21 Feb 2020 07:36:14 +0000 (07:36 +0000)]
Auto merge of #1184 - divergentdave:rename-error-test, r=RalfJung

Test error case of std::fs::rename

As suggested [here](https://github.com/rust-lang/miri/pull/1158#issuecomment-586459463) this PR adds an additional test case for calling rename on a file path that doesn't exist.

4 years agoTest error case of std::fs::rename
David Cook [Fri, 21 Feb 2020 03:54:52 +0000 (21:54 -0600)]
Test error case of std::fs::rename

4 years agoAuto merge of #1182 - rust-lang:rustup, r=RalfJung
bors [Thu, 20 Feb 2020 10:10:14 +0000 (10:10 +0000)]
Auto merge of #1182 - rust-lang:rustup, r=RalfJung

rustup

We got a CI failure from our cronjob. It looks spurious, but better safe than sorry.