6dbfb2d9de
make cfg(miri) greppable
2020-07-15 10:09:28 +02:00
c830142e60
Auto merge of #1477 - RalfJung:rustup, r=RalfJung
...
rustup; fix Windows TLS
2020-07-15 06:43:14 +00:00
ce5ed69eac
rustup; fix Windows TLS
2020-07-15 08:42:15 +02:00
3e734ac6ef
Auto merge of #1475 - RalfJung:dangcast, r=RalfJung
...
test casting a dangling ptr back from an int
2020-07-11 18:57:28 +00:00
f68bba9906
test casting a dangling ptr back from an int
2020-07-11 20:56:47 +02:00
eee22ffdda
Auto merge of #1474 - RalfJung:canonical, r=RalfJung
...
go back to using canonicalize()
Newer xargo should hopefully work with the paths this produces on Windows.
2020-07-11 09:08:03 +00:00
15466e00b0
go back to using canonicalize()
2020-07-11 11:07:17 +02:00
ade99c3bed
Auto merge of #1473 - Stupremee:no-ice-if-no-main-fn, r=oli-obk
...
Early exit if program doesn't contain a main function
Resolves #1452
2020-07-09 15:35:28 +00:00
d23e245f38
Move no_main test to compile-fail
2020-07-09 17:21:09 +02:00
c93fc933bd
Add ui test for early exiting if no main
2020-07-09 14:08:45 +02:00
22e7a6263b
Early exit if program doesn't contain a main fn
2020-07-09 13:16:38 +02:00
eb5ff1791b
Auto merge of #1472 - RalfJung:abs, r=RalfJung
...
better way to get an absolute path
suggested by @matklad
2020-07-09 11:03:15 +00:00
2fbc4aa7ca
Cleanup code
...
Co-authored-by: Aleksey Kladov <aleksey.kladov@gmail.com >
2020-07-09 13:02:42 +02:00
ee056ccf7b
better way to get an absolute path
2020-07-09 12:45:35 +02:00
b245786f9d
Auto merge of #1471 - RalfJung:win, r=RalfJung
...
on Windows, strip the '\\?\' prefix from the canonical path
This should help with https://github.com/rust-lang/rust/pull/74146#issuecomment-655723028
2020-07-09 07:00:39 +00:00
7d9d74e065
on Windows, strip the '\\?\' prefix from the canonical path
2020-07-09 08:59:47 +02:00
578aebf478
Auto merge of #1470 - RalfJung:machine-tracking, r=RalfJung
...
we cannot track all machine memory any more due to int-ptr-casts
Fixes a regression introduced by https://github.com/rust-lang/rust/pull/74006
2020-07-08 10:02:13 +00:00
dcb0f6309e
we cannot track all machine memory any more due to int-ptr-casts
2020-07-08 12:01:49 +02:00
5e94f57cb3
Auto merge of #1468 - RalfJung:uninit-validation, r=RalfJung
...
Test uninit memory validation
This adds the tests for https://github.com/rust-lang/rust/pull/74059 .
2020-07-07 20:59:17 +00:00
04019eec3c
rustup
2020-07-07 22:57:58 +02:00
6c2521f54f
adjust error messages
2020-07-07 22:48:51 +02:00
28b44d970c
test validation of uninit memory (used to ICE)
2020-07-07 22:48:51 +02:00
975513728e
Auto merge of #1469 - RalfJung:relative, r=RalfJung
...
support relative XARGO_RUST_SRC
2020-07-05 18:01:56 +00:00
ab65cb3c67
support relative XARGO_RUST_SRC
2020-07-05 20:01:12 +02:00
9a0605d62f
Auto merge of #1466 - RalfJung:target, r=RalfJung
...
set --target when building miri
This helps cargo tell apart `./miri` builds and `cargo check` (e.g. through rust-analyzer).
See https://github.com/rust-lang/cargo/issues/8440 .
2020-07-03 09:20:07 +00:00
e310e2f0b9
set --target when building miri
...
This helps cargo tell apart `./miri` builds and `cargo check` (e.g. through rust-analyzer).
See https://github.com/rust-lang/cargo/issues/8440 .
2020-07-03 11:18:47 +02:00
86a7c555ed
Auto merge of #1465 - nbdd0121:patch-1, r=RalfJung
...
Remove likely and unlikely from intrinsics shim
They are now implemented in MIR interpreter by rust-lang/rust#73778
2020-07-03 06:06:37 +00:00
c5b324b031
Remove likely and unlikely from intrinsics shim
...
They are now implemented in MIR interpreter by rust-lang/rust#73778
2020-07-02 20:00:27 +01:00
e7ef64fb74
Auto merge of #1463 - RalfJung:track-call-id, r=oli-obk
...
add option to track call IDs
2020-07-02 12:52:33 +00:00
b4ccb07cc8
Auto merge of #1464 - RalfJung:rustup, r=RalfJung
...
rustup
2020-07-02 08:48:45 +00:00
6ca67a346b
rustup
2020-07-02 10:48:01 +02:00
c379793cde
add option to track call IDs
2020-07-02 10:33:54 +02:00
fd81012477
Auto merge of #1462 - RalfJung:ignore-windows, r=RalfJung
...
fix some ignore-windows comments
and make that more consistent
2020-06-28 18:41:17 +00:00
fcdacce4b1
fix some ignore-windows comments
2020-06-28 20:40:20 +02:00
2dfa6c1a46
Auto merge of #1461 - RalfJung:rwlock-win, r=oli-obk
...
Implement rwlocks on Windows
Fixes https://github.com/rust-lang/miri/issues/1059
2020-06-28 10:59:34 +00:00
3a5bcb97ed
move rwlock dequeuing to shared code, and use that code for Windows rwlocks
2020-06-28 11:28:46 +02:00
a9dc2796ca
Move get/set_at_offset helpers to global helpers file
2020-06-28 09:23:01 +02:00
e54619b5e1
with this, we support panics on Windows
2020-06-27 14:43:37 +02:00
8e92969948
implement Windows SRWLock shims
2020-06-27 14:36:05 +02:00
dca00ab85e
introduce platform-specific module hierarchy for dlsym (similar to foreign_items)
2020-06-27 14:36:05 +02:00
bde2eb4a44
Auto merge of #1460 - RalfJung:modules, r=RalfJung
...
Re-organize platform-specific shims
Move platform-specific code to `shims::{posix::{linux, macos}, windows}`. Also make it private in these modules to ensure we are reasonably structured.
2020-06-27 11:27:36 +00:00
af5887e869
module organization: move platform-specific code to shims::{posix::{linux, macos}, windows}
2020-06-27 13:22:49 +02:00
395f5d40dc
Rename shims::{sync -> posic_sync} and move sync_singlethread test to other sync test
2020-06-27 12:37:12 +02:00
02a721b91c
Auto merge of #1459 - RalfJung:ptr_guaranteed_eq, r=RalfJung
...
supply our own implementation of the CTFE pointer comparison intrinsics
2020-06-27 10:15:01 +00:00
b46f946c81
supply our own implementation of the CTFE pointer comparison intrinsics
2020-06-27 11:57:43 +02:00
76d99cfa68
Auto merge of #1458 - RalfJung:rustup, r=RalfJung
...
bump Rust
2020-06-26 18:36:58 +00:00
3ea8c5fa33
bump Rust
2020-06-26 20:36:08 +02:00
1875c59301
Auto merge of #1457 - RalfJung:rustup, r=RalfJung
...
rustup
2020-06-25 09:43:51 +00:00
9d41e4c899
rustup
2020-06-25 11:34:52 +02:00
3444456214
Auto merge of #1455 - RalfJung:rustup, r=RalfJung
...
Rustup
also stop testing with mir opts as they are currently broken
2020-06-22 11:10:06 +00:00
Ralf Jung