mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
6,485 Commits 2 Branches 0 Tags 1.4 GiB
cfad9d12f3
Commit Graph

6485 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Ralf Jung
5c16713056 remove support for untagged pointers 
good riddance!
 2022-06-26 22:19:56 -04:00
Ralf Jung
294ef15adb more int2ptr cast tests, and fix casting of addresses inside dead allocations 2022-06-26 22:19:56 -04:00
Ralf Jung
13d425daeb make permissive provenance and raw-ptr tagging the default 2022-06-26 21:14:42 -04:00
infrandomness
aa072d72cc Cargo fmt 2022-06-27 01:39:25 +02:00
infrandomness
84a02787d8 Address code review 
- Merge pthread_attr_getstack shim to unix/foreign_items.rs
 2022-06-27 01:39:24 +02:00
Ralf Jung
aaa8ebb576 only test a few tests on FreeBSD 2022-06-27 01:39:24 +02:00
infrandomness
93c61f3905 Add pthread_attr_get_np shim 2022-06-27 01:39:24 +02:00
infrandomness
f2cbd3e2bc Add pthread_attr_getstack shim 2022-06-27 01:39:24 +02:00
infrandomness
e89b4d6df2 Fix panicking ui_tests framework 2022-06-27 01:39:24 +02:00
infrandomness
97a512070a Fix pending reviews 2022-06-27 01:39:24 +02:00
infrandomness
9130034337 Initial freebsd work 2022-06-27 01:39:24 +02:00
bors
4ce026fc1d Auto merge of #2274 - RalfJung:trophy, r=RalfJung 
trophy case: add the data race in thread::scope
 2022-06-26 23:00:18 +00:00
Ralf Jung
60570a39c7 trophy case: add the data race in thread::scope 2022-06-26 18:59:48 -04:00
bors
5ac47460d2 Auto merge of #2272 - RalfJung:progress, r=RalfJung 
add -Zmiri-report-progress to regularly print a stacktrace of what we are executing

Fixes https://github.com/rust-lang/miri/issues/910

The stacktrace is printed every N basic blocks. I picked the default (1 million) to take a few seconds on my machine, but it can be adjusted by the user.
 2022-06-26 18:39:38 +00:00
Ralf Jung
34be937d5f add -Zmiri-report-progress to regularly print a stacktrace of what we are executing 2022-06-26 14:31:57 -04:00
bors
ab88ba4299 Auto merge of #2270 - RalfJung:futex-ordering, r=RalfJung 
test that futexes induce appropriate synchronization

This fails when I remove the `validate_lock_acquire` or `validate_lock_release` from `futex_wake`. So finally we got those code paths actually covered in tests. :)
 2022-06-26 03:54:43 +00:00
Ralf Jung
e667ccb459 test that futexes induce appropriate synchronization 2022-06-25 23:40:58 -04:00
bors
4e67b63ad3 Auto merge of #2269 - RalfJung:fmt, r=RalfJung 
make a bunch of tests look more like how they did before rustfmt
 2022-06-26 03:31:57 +00:00
Ralf Jung
5aeba7f86b make a bunch of tests look more like how they did before rustfmt 2022-06-25 23:31:24 -04:00
bors
9e2dac4787 Auto merge of #2245 - saethlin:color-always, r=RalfJung 
Actually pass through the request for --color=always

https://github.com/rust-lang/miri/pull/2243 actually doesn't work 😂

The suggestion to split on `,` was good but `arg` is actually the whole `--json=diagnostic-rendered-ansi,artifacts,future-incompat
`, and of course I didn't test that change locally and we have no test for this in CI.

Therefore, I would like some guidance on making a test for this because I'm going to rely on this working.
 2022-06-26 00:11:30 +00:00
Ralf Jung
fed0e16397 don't assert the same thing twice 2022-06-25 20:02:03 -04:00
bors
320084e7a8 Auto merge of #2268 - RalfJung:not-unpin-protected, r=RalfJung 
test that &mut !Unpin references are protected
 2022-06-25 23:52:34 +00:00
Ralf Jung
d3ca71ba37 test that &mut !Unpin references are protected 2022-06-25 19:15:11 -04:00
bors
54a495cb27 Auto merge of #2267 - RalfJung:rustup, r=RalfJung 
rustup

I cannot reproduce https://github.com/rust-lang/rust/issues/98493 so let's see what CI says.
 2022-06-25 20:01:49 +00:00
Ralf Jung
7c025a8f0e test for forgetting locked mutex 2022-06-25 16:01:00 -04:00
Ralf Jung
e5022bf48a join all the threads 2022-06-25 15:46:47 -04:00
Ralf Jung
9124420b2f rustup 2022-06-25 15:06:53 -04:00
bors
e3d42e6963 Auto merge of #2265 - RalfJung:readme, r=RalfJung 
README: multi-seed loop: also test the 0 seed
 2022-06-25 16:29:38 +00:00
Ralf Jung
54fbd313a6 README: multi-seed loop: also test the 0 seed 2022-06-25 12:27:50 -04:00
bors
1589ba3bbc Auto merge of #2264 - RalfJung:not-a-fixme, r=RalfJung 
remove a FIXME that is not actually a bug
 2022-06-25 15:54:31 +00:00
Ralf Jung
f66c64bed2 remove a FIXME that is not actually a bug 2022-06-25 11:52:29 -04:00
Ben Kimock
da6a78012a Actually pass through the request for --color=always 2022-06-24 23:08:18 -04:00
bors
3b4402ccf5 Auto merge of #2196 - carbotaniuman:permissive-stacked-borrows, r=RalfJung 
Handle wildcard pointers in SB

This uses an permissive `Unknown` implementation, where a wildcard pointer (and any SRW derived from a wildcard pointer) can access any previously-exposed SB tag. This is missing any meaningful test-cases, and all of the edge-cases have not yet been worked through.

I think there's also some bugs here with differing Unknowns in different ranges and having things behave really weirdly too, alongside some issues with retagging to `SRO` or `Unique`.
 2022-06-25 02:05:18 +00:00
Ralf Jung
58c79c5b6f tweaks and feedback 2022-06-24 22:02:17 -04:00
Ralf Jung
4fbb284a99 implement 'delimited' expose tracking so we still detect some UB 2022-06-24 20:05:56 -04:00
bors
a1226c43b6 Auto merge of #2263 - wesleywiser:update_measureme, r=RalfJung 
Update measureme to the latest version

The major version number is different due to changes to the on-disk recording format but the core API is the same and miri continues to build on the latest version.
 2022-06-24 23:24:57 +00:00
Wesley Wiser
2f9750783c Update measureme to the latest version 2022-06-24 19:04:50 -04:00
Ralf Jung
8d6fdaa024 make the tests pass 
(and some formatting)
 2022-06-24 18:03:02 -04:00
Ralf Jung
c0f7118342 reorganize exposure code a bit 2022-06-24 16:45:22 -04:00
Ralf Jung
2deb9e5dae add exposed_only_ro test 2022-06-24 16:21:47 -04:00
carbotaniuman
d1e7de117c Try fix stuff 2022-06-24 16:10:23 -04:00
carbotaniuman
c7feb014b0 Maybe this wil work 2022-06-24 16:10:23 -04:00
carbotaniuman
57ce47b728 Handle wildcard pointers in SB 2022-06-24 16:10:23 -04:00
bors
dcaa7a7221 Auto merge of #2262 - RalfJung:zulip, r=RalfJung 
only one Zulip cron job topic per month
 2022-06-24 13:15:20 +00:00
Ralf Jung
bb6fcb71c0 only one Zulip cron job topic per month 2022-06-24 09:13:36 -04:00
bors
cd90e1130e Auto merge of #2257 - dtolnay-contrib:rustfmt9, r=RalfJung 
Add `./miri fmt` and check in CI
 2022-06-23 20:15:27 +00:00
David Tolnay
e5f40ca9cb
Bless stderr files after rustfmt 2022-06-23 13:08:52 -07:00
David Tolnay
8833197a62
Manual adjustments 2022-06-23 13:08:52 -07:00
David Tolnay
a23eb46b5b
Format late arrivals with rustfmt 2022-06-23 13:08:52 -07:00
David Tolnay
2cbc461389
Add './miri fmt' and use it in CI 2022-06-23 13:08:45 -07:00