Christian Poveda
d13fe01f82
add working shim for environ
2020-03-06 08:19:56 -05:00
bors
c72af45b1c
Auto merge of #1209 - RalfJung:track-alloc-id, r=oli-obk
...
Add option to print when an AllocId gets created
r? @oli-obk
2020-03-06 11:13:57 +00:00
bors
af451e2b65
Auto merge of #1211 - RalfJung:readme, r=RalfJung
...
README: add another bug Miri found
2020-03-06 09:46:48 +00:00
Ralf Jung
6670f43917
README: add another bug Miri found
2020-03-06 10:46:12 +01:00
Ralf Jung
ade4c4e733
make the new option actually do something
2020-03-06 09:11:41 +01:00
Ralf Jung
d82d701360
add option to track a particular AllocId (does nothing yet)
2020-03-06 09:06:23 +01:00
bors
63925169c1
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 :)
2020-03-04 12:03:00 +00:00
Ralf Jung
148269dd4b
finally stop using min/max_value and the integer modules
2020-03-04 13:01:06 +01:00
bors
974c8be95e
Auto merge of #1205 - RalfJung:serde, r=RalfJung
...
downgrade serde_json to match rustc workspace
@bors r+
2020-03-04 09:41:01 +00:00
Ralf Jung
5c4dc072bd
downgrade serde_json to match rustc workspace
2020-03-04 10:29:00 +01:00
bors
e05639a225
Auto merge of #1204 - RalfJung:rustup, r=RalfJung
...
bump Rust
2020-03-04 09:20:03 +00:00
Ralf Jung
db0d03229c
fix allocator tests
2020-03-04 10:19:35 +01:00
Ralf Jung
ad1f0f6e65
bump Rust
2020-03-04 08:54:12 +01:00
bors
ff55294abd
Auto merge of #1203 - RalfJung:generator, r=RalfJung
...
try even harder to catch invalid generator fields
2020-03-03 14:02:55 +00:00
Ralf Jung
58519a7a79
try even harder to catch invalid generator fields
2020-03-03 15:02:06 +01:00
bors
4f437099d8
Auto merge of #1202 - RalfJung:symbols, r=RalfJung
...
switch extern_statics map to symbols, and use FxHashMap everywhere
Cc @eddyb
2020-03-02 21:37:08 +00:00
Ralf Jung
92a28f8d8f
HashMap -> FxHashMap
2020-03-02 22:36:15 +01:00
Ralf Jung
0e021ad76c
switch extern_statics map to symbols
2020-03-02 22:30:20 +01:00
bors
331175638f
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
2020-03-02 21:11:27 +00:00
Ralf Jung
68f70195fa
rename xargo -> xargo_check
2020-03-02 22:10:48 +01:00
Aaron Hill
5960e8b80e
Rename XARGO env var to XARGO_CHECK
...
This reflects the fact that we want bootstrap to override `xargo-check`,
not `xargo
2020-03-02 14:17:14 -05:00
bors
7cdcdecb01
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
2020-03-02 12:52:40 +00:00
Ralf Jung
88c45f9891
adjust for rustc changes
2020-03-02 13:51:08 +01:00
bors
64bfe81cae
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
2020-03-02 08:06:30 +00:00
Ralf Jung
59bddba5f3
remove unused import
2020-03-02 09:05:55 +01:00
Ralf Jung
21a5da99a4
rustup
2020-03-02 09:03:11 +01:00
Ralf Jung
90327335fc
canonicalize alloc ID for ptr-to-int cast
2020-03-02 09:03:08 +01:00
Ralf Jung
8ef303cd32
port from find_foreign_static to canonical_alloc_id
2020-03-02 09:03:08 +01:00
Ralf Jung
5d8fbfcb5f
rename memory kind: Env -> Machine
2020-03-02 09:01:23 +01:00
Ralf Jung
340e14ee42
tweak benchmark
2020-03-02 09:01:23 +01:00
bors
263eedc6ea
Auto merge of #1199 - RalfJung:cargo-miri, r=RalfJung
...
cargo-miri: fix trailing indent in xargo files
2020-03-01 20:24:37 +00:00
Ralf Jung
48a4e3f4d8
format a few things
2020-03-01 11:54:19 +01:00
Ralf Jung
af98bd9a53
fix trailing indent in xargo files
2020-03-01 11:53:34 +01:00
bors
fe5d977480
Auto merge of #1197 - RalfJung:rustup, r=RalfJung
...
Rustup
2020-03-01 09:31:08 +00:00
Ralf Jung
cc1ebd0af6
some formatting
2020-03-01 10:29:05 +01:00
Ralf Jung
ea5aa19487
rustup
2020-03-01 10:22:13 +01:00
bors
b9eb21aa2c
Auto merge of #1196 - RalfJung:winlock, r=RalfJung
...
Remove incorrect try_lock from Windows critical section shim
2020-02-29 19:58:38 +00:00
Ralf Jung
2b04e3954a
Remove incorrect try_lock from Windows critical section shim
2020-02-29 20:47:57 +01:00
bors
335859210d
Auto merge of #1195 - RalfJung:rustup, r=RalfJung
...
rustup
Just the occasional bump can't hurt...
@bors r+
2020-02-29 12:29:48 +00:00
Ralf Jung
df732c863e
rustup
2020-02-29 13:28:59 +01:00
bors
b0c74182b8
Auto merge of #1194 - RalfJung:no-to-bits, r=RalfJung
...
avoid Scalar::to_bits
2020-02-28 09:02:17 +00:00
Ralf Jung
5187e5ddd6
avoid Scalar::to_bits
2020-02-28 10:00:20 +01:00
bors
c0934e1eca
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.
2020-02-26 14:15:55 +00:00
Ralf Jung
62f9f4c578
fix Windows build failure
2020-02-26 15:15:16 +01:00
David Cook
df59d7ff74
Review comments
2020-02-26 07:59:11 -06:00
bors
070cecb6fc
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 .
2020-02-26 12:50:48 +00:00
Ralf Jung
7e128beff9
fix build failures
2020-02-26 13:50:33 +01:00
bors
05a9d9b410
Auto merge of #1193 - RalfJung:rustup, r=RalfJung
...
rustup
@bors r+
2020-02-25 23:07:59 +00:00
Ralf Jung
739d796b05
rustup
2020-02-25 18:12:00 +01:00
David Cook
ad8c784009
Return length from write_os_str_to_c_str
2020-02-24 19:50:25 -06:00
