Ralf Jung
c542fa4ed8
cargo update
2022-10-02 15:03:47 +02:00
Ralf Jung
6c77735fce
Auto merge of #2564 - RalfJung:no-more-xargo, r=oli-obk
2022-10-02 15:03:34 +02:00
bors
20adc75304
Auto merge of #2562 - pvdrz:miri-num-cpus, r=RalfJung
...
Add flag to specify the number of cpus
Apparently you can't rename a branch from github's website without it closing all your PRs with that branch. So this is just #2545
2022-09-27 01:13:09 +00:00
Christian Poveda
9ce9dae57f
update readme
2022-09-26 15:46:09 -05:00
Christian Poveda
c983ced79c
/// FIXME: docs
2022-09-26 11:40:23 -05:00
Ralf Jung
5f18674c31
use rustc-build-sysroot instead of xargo
2022-09-25 11:52:31 +02:00
Ralf Jung
7e97f85fb7
force-install tools on stale cache, to make sure we get the latest of all dependencies
2022-09-25 09:47:20 +02:00
Ralf Jung
1f53be15e1
clarify a comment
2022-09-25 09:47:20 +02:00
Ralf Jung
75bbe38e53
CI: use cargo sparse registry
2022-09-25 09:41:44 +02:00
Ralf Jung
6f6a2dfb92
remove macOS work-around that is no longer needed
2022-09-24 20:03:34 +02:00
bors
c217e07ea8
Auto merge of #2537 - saethlin:dont-back-up-too-far, r=RalfJung
...
Don't back up past the caller when looking for an FnEntry span
Fixes https://github.com/rust-lang/miri/issues/2536
This adds a fix for the logic as well as a regression test. In the new test `tests/fail/stacked_borrows/fnentry_invalidation2.rs`, before this PR, we display this diagnostic:
```
help: <3278> was later invalidated at offsets [0x0..0xc] by a Unique FnEntry retag
--> tests/fail/stacked_borrows/fnentry_invalidation2.rs:13:5
|
13 | inner(&mut t);
| ^^^^^^^^^^^^^
```
Which is very misleading. It is not this call itself, but what happens within the call that invalidates the tag we want. With this PR, we get:
```
help: <2798> was later invalidated at offsets [0x0..0xc] by a Unique FnEntry retag inside this call
--> tests/fail/stacked_borrows/fnentry_invalidation2.rs:20:13
|
20 | let _ = t.sli.as_mut_ptr();
| ^^^^^^^^^^^^^^^^^^
```
Which is much better.
2022-09-24 14:06:10 +00:00
bors
6872a70343
Auto merge of #2563 - RalfJung:nodep, r=RalfJung
...
run all extern-so tests consistently without dependencies
2022-09-24 06:47:21 +00:00
Ralf Jung
2b3d760db8
run all extern-so tests consistently without dependencies
2022-09-24 08:46:34 +02:00
Christian Poveda
14fc9b29a3
add flag to specify the number of cpus
2022-09-23 16:28:59 -05:00
Ralf Jung
38f4338826
GC: factor out visiting all machine values
2022-09-23 09:18:26 +02:00
Ben Kimock
5f498cab13
Only add 'inside this call' for Invalidation diagnostics
2022-09-22 10:44:03 -04:00
Ben Kimock
45d7121e9e
Don't move too far down the call stack when reporting FnEntry diagnostics
2022-09-21 18:11:41 -04:00
Ralf Jung
bef2bd8cc2
readme: tag-gc tweaks
2022-09-21 20:11:52 +02:00
Oli Scherer
f45b570e08
Add 'src/tools/miri/' from commit ' 75dd959a3a'
...
git-subtree-dir: src/tools/miri
git-subtree-mainline: 3f3167fb5975dd959a3a
2022-09-21 15:36:26 +00:00
Oli Scherer
d9382d03bd
Remove miri submodule
2022-09-21 15:35:53 +00:00
Oli Scherer
cccd99c976
Update miri submodule
2022-09-12 17:19:31 +00:00
Oli Scherer
419c4e1c4f
Update miri submodule
2022-09-07 15:42:12 +00:00
Ralf Jung
fe7e207e28
update Miri
2022-09-02 16:49:38 +02:00
Ralf Jung
f76eac4866
update Miri
2022-09-01 22:59:05 +02:00
Ralf Jung
4df65c3682
update Miri
2022-08-21 08:57:07 -04:00
Ralf Jung
2c9baf73f3
update Miri
2022-08-17 09:09:33 -04:00
Ralf Jung
f3fc1cd0c4
update Miri
2022-08-13 10:00:48 -04:00
Ralf Jung
3ba055fdc5
update Miri
2022-08-10 14:17:48 -04:00
Ralf Jung
606924d59b
update Miri
2022-07-25 11:23:59 -04:00
Ralf Jung
2564a080d8
update Miri
2022-07-22 12:18:52 -04:00
Ralf Jung
c2df1c21f8
update Miri
2022-07-21 16:04:37 -04:00
Ralf Jung
10430dbf8e
update Miri
2022-07-17 08:47:42 -04:00
Ralf Jung
9fe6c19719
update Miri
2022-07-07 20:51:58 -04:00
Ralf Jung
8e26f43f83
update Miri
2022-07-02 15:15:56 -04:00
Ralf Jung
43551993c6
update Miri
2022-06-29 22:14:03 -04:00
Ralf Jung
61a986a015
update Miri
2022-06-25 22:23:12 -04:00
Ralf Jung
08789aa0f8
update Miri
2022-06-22 15:09:54 -07:00
Ralf Jung
5609c38c62
update Miri
2022-06-18 11:31:21 -07:00
Oli Scherer
3305b66d6d
Update miri
2022-06-13 14:36:44 +00:00
Ralf Jung
8c41c6f663
update Miri
2022-06-09 09:16:59 -04:00
Ralf Jung
2e4e3409d7
update Miri
2022-06-06 13:36:21 -04:00
Ralf Jung
9f2b69d344
update Miri
2022-06-01 09:31:04 -04:00
Ralf Jung
a272c45678
update Miri
2022-05-30 10:17:46 +02:00
Ralf Jung
9808073674
update Miri
2022-05-24 17:44:11 +02:00
Ralf Jung
cb4d79a304
update Miri
2022-05-21 11:58:36 +02:00
Ralf Jung
cdc19b072a
update miri
2022-05-15 13:37:04 +02:00
Ralf Jung
59d5c20042
update Miri
2022-05-07 10:14:16 +02:00
Oli Scherer
04ac3825d5
update miri submodule
2022-04-26 09:41:00 +00:00
Ralf Jung
1b01d65d6f
update Miri
2022-04-20 18:25:23 -04:00
Ralf Jung
54353203e4
update Miri
2022-04-16 09:11:31 -04:00
