mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
4,637 Commits 2 Branches 0 Tags 1.4 GiB
7d9d74e065
Commit Graph

4637 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Ralf Jung
7d9d74e065 on Windows, strip the '\\?\' prefix from the canonical path 2020-07-09 08:59:47 +02:00
bors
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
Ralf Jung
dcb0f6309e we cannot track all machine memory any more due to int-ptr-casts 2020-07-08 12:01:49 +02:00
bors
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
Ralf Jung
04019eec3c rustup 2020-07-07 22:57:58 +02:00
Ralf Jung
6c2521f54f adjust error messages 2020-07-07 22:48:51 +02:00
Ralf Jung
28b44d970c test validation of uninit memory (used to ICE) 2020-07-07 22:48:51 +02:00
bors
975513728e Auto merge of #1469 - RalfJung:relative, r=RalfJung 
support relative XARGO_RUST_SRC
 2020-07-05 18:01:56 +00:00
Ralf Jung
ab65cb3c67 support relative XARGO_RUST_SRC 2020-07-05 20:01:12 +02:00
bors
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
Ralf Jung
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
bors
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
Gary Guo
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
bors
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
bors
b4ccb07cc8 Auto merge of #1464 - RalfJung:rustup, r=RalfJung 
rustup
 2020-07-02 08:48:45 +00:00
Ralf Jung
6ca67a346b rustup 2020-07-02 10:48:01 +02:00
Ralf Jung
c379793cde add option to track call IDs 2020-07-02 10:33:54 +02:00
bors
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
Ralf Jung
fcdacce4b1 fix some ignore-windows comments 2020-06-28 20:40:20 +02:00
bors
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
Ralf Jung
3a5bcb97ed move rwlock dequeuing to shared code, and use that code for Windows rwlocks 2020-06-28 11:28:46 +02:00
Ralf Jung
a9dc2796ca Move get/set_at_offset helpers to global helpers file 2020-06-28 09:23:01 +02:00
Ralf Jung
e54619b5e1 with this, we support panics on Windows 2020-06-27 14:43:37 +02:00
Ralf Jung
8e92969948 implement Windows SRWLock shims 2020-06-27 14:36:05 +02:00
Ralf Jung
dca00ab85e introduce platform-specific module hierarchy for dlsym (similar to foreign_items) 2020-06-27 14:36:05 +02:00
bors
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
Ralf Jung
af5887e869 module organization: move platform-specific code to shims::{posix::{linux, macos}, windows} 2020-06-27 13:22:49 +02:00
Ralf Jung
395f5d40dc Rename shims::{sync -> posic_sync} and move sync_singlethread test to other sync test 2020-06-27 12:37:12 +02:00
bors
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
Ralf Jung
b46f946c81 supply our own implementation of the CTFE pointer comparison intrinsics 2020-06-27 11:57:43 +02:00
bors
76d99cfa68 Auto merge of #1458 - RalfJung:rustup, r=RalfJung 
bump Rust
 2020-06-26 18:36:58 +00:00
Ralf Jung
3ea8c5fa33 bump Rust 2020-06-26 20:36:08 +02:00
bors
1875c59301 Auto merge of #1457 - RalfJung:rustup, r=RalfJung 
rustup
 2020-06-25 09:43:51 +00:00
Ralf Jung
9d41e4c899 rustup 2020-06-25 11:34:52 +02:00
bors
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
4788f775f8 rustup; stop testing with mir opts as they are currently broken 2020-06-22 13:09:39 +02:00
Ralf Jung
2e5a0dc172 add a miscompilation test 2020-06-22 11:32:01 +02:00
bors
31ad5f6b2b Auto merge of #1454 - RalfJung:test-raw-ptr, r=RalfJung 
Test raw_ptr macro

Make sure it can create pointers to packed fields, but *cannot* deref dangling or unaligned (raw) pointers.
 2020-06-20 12:36:25 +00:00
Ralf Jung
8d1d572472 unaligned-raw-deref is always UB 2020-06-20 14:34:57 +02:00
Ralf Jung
03fe3772a8 make sure the raw_ptr macros also avoid UB 2020-06-20 14:31:47 +02:00
Ralf Jung
a29f86b512 make sure '&raw *' on a dangling raw ptr is UB 2020-06-20 14:28:55 +02:00
bors
59619775ee Auto merge of #1453 - RalfJung:rustup, r=RalfJung 
bump Rust
 2020-06-20 09:49:25 +00:00
Ralf Jung
2940da9d1f bump Rust 2020-06-20 11:48:42 +02:00
bors
146ee66268 Auto merge of #1451 - RalfJung:rustup, r=RalfJung 
rustup
 2020-06-15 15:39:08 +00:00
Ralf Jung
5c5b61ffb0 rustup 2020-06-15 17:38:27 +02:00
bors
b8ecc9aff8 Auto merge of #1450 - RalfJung:rustup, r=RalfJung 
rustup
 2020-06-15 08:59:06 +00:00
Ralf Jung
9df8d588ea rustup 2020-06-15 10:58:20 +02:00
bors
4575ee13ca Auto merge of #1448 - RalfJung:rustup, r=RalfJung 
rustup; and a bit of UnsafeCell detection refactoring
 2020-06-13 09:31:32 +00:00
Ralf Jung
e063ce2737 rustup; and a bit of UnsafeCell detection refactoring 2020-06-13 11:30:31 +02:00
bors
e26029a596 Auto merge of #1447 - RalfJung:rustup, r=RalfJung 
rustup

This seems to be the latest version that works before *something* broke -- so let's make this a baseline.
 2020-06-12 08:18:12 +00:00