Ralf Jung
5783e73f46
make some Frame fields more private
2024-08-06 11:08:14 +02:00
Ralf Jung
522af10ccc
interpret: refactor function call handling to be better-abstracted
2024-08-06 11:08:12 +02:00
bors
b586701f78
Auto merge of #128707 - matthiaskrgr:rollup-63klywk, r=matthiaskrgr
...
Rollup of 5 pull requests
Successful merges:
- #122049 (Promote riscv64gc-unknown-linux-musl to tier 2)
- #128580 (Use `ParamEnv::reveal_all` in CFI)
- #128688 (custom MIR: add support for tail calls)
- #128694 (Normalize when equating `dyn` tails in MIR borrowck)
- #128697 (interpret: move nullary-op evaluation into operator.rs)
r? `@ghost`
`@rustbot` modify labels: rollup
2024-08-05 22:53:14 +00:00
Ralf Jung
46896d6f66
interpret: move nullary-op evaluation into operator.rs
2024-08-05 22:42:34 +02:00
bors
a554f4d715
Auto merge of #3789 - RalfJung:deps, r=RalfJung
...
bump dependencies
In particular pick up https://github.com/RalfJung/rustc-build-sysroot/pull/22 to fix the fallout from https://github.com/rust-lang/rust/pull/128534 .
2024-08-05 17:54:48 +00:00
Ralf Jung
014fdb56b4
bump dependencies
2024-08-05 19:29:37 +02:00
Ralf Jung
b113bbec4f
use a Miri-specific folder for ui tests
2024-08-05 19:25:56 +02:00
Ralf Jung
9213c6c93f
bump rustc-build-sysroot dependency
2024-08-05 19:00:29 +02:00
Ralf Jung
61463fd042
fmt
2024-08-05 11:06:36 +02:00
Ralf Jung
34aa09aa53
Merge from rustc
2024-08-05 11:06:36 +02:00
Ralf Jung
d28083728d
Preparing for merge from rustc
2024-08-05 10:49:01 +02:00
Ralf Jung
21c02517c3
Miri: add a flag to do recursive validity checking
2024-08-03 10:33:58 +02:00
The Miri Cronjob Bot
62e2800ee4
Merge from rustc
2024-08-03 05:11:07 +00:00
The Miri Cronjob Bot
6aab319def
Preparing for merge from rustc
2024-08-03 05:03:34 +00:00
bors
5852b24490
Auto merge of #3769 - primoly:miri-start, r=RalfJung
...
Add `miri_start` support
This PR uses a function with the exported symbol `miri_start` as a drop-in alternative to `#[start]`. So the signature stays the same as suggested in [this comment](https://github.com/rust-lang/miri/issues/3498#issuecomment-2088560526 ). <del>I’ve also removed Miri’s restriction to only work on bin crates as I don’t think this is necessary anymore.</del>
Closes #3758
2024-08-02 12:17:59 +00:00
Ralf Jung
6bb119764b
docs
2024-08-02 14:16:36 +02:00
primoly
c4b7417754
Add miri_start support
2024-08-02 14:02:34 +02:00
The Miri Cronjob Bot
fc260e163a
fmt
2024-08-02 05:05:50 +00:00
The Miri Cronjob Bot
85ed3fe55d
Merge from rustc
2024-08-02 05:04:35 +00:00
The Miri Cronjob Bot
7d7c4db474
Preparing for merge from rustc
2024-08-02 04:56:48 +00:00
Matthias Krüger
67fcb58347
Rollup merge of #128453 - RalfJung:raw_eq, r=saethlin
...
raw_eq: using it on bytes with provenance is not UB (outside const-eval)
The current behavior of raw_eq violates provenance monotonicity. See https://github.com/rust-lang/rust/pull/124921 for an explanation of provenance monotonicity. It is violated in raw_eq because comparing bytes without provenance is well-defined, but adding provenance makes the operation UB.
So remove the no-provenance requirement from raw_eq. However, the requirement stays in-place for compile-time invocations of raw_eq, that indeed cannot deal with provenance.
Cc `@rust-lang/opsem`
2024-08-02 06:43:43 +02:00
Ralf Jung
5d5c97aad7
interpret: simplify pointer arithmetic logic
2024-08-01 14:25:19 +02:00
Ralf Jung
de78cb56b2
on a signed deref check, mention the right pointer in the error
2024-08-01 14:25:19 +02:00
bors
9de5630c1c
Auto merge of #3782 - RalfJung:josh-roundtrip-error, r=RalfJung
...
when josh-proxy screws up the roundtrip, say what the involved commits are
2024-08-01 10:29:45 +00:00
Ralf Jung
91175463e4
when josh-proxy screws up the roundtrip, say what the involved commits are
2024-08-01 12:26:32 +02:00
Ralf Jung
5af27e4617
flock: a bit of cleanup
2024-08-01 11:29:40 +02:00
Ralf Jung
f97aba2271
raw_eq: using it on bytes with provenance is not UB (outside const-eval)
2024-07-31 20:26:20 +02:00
Ralf Jung
6f48edfd09
FD table: rename dup to get_ref
2024-07-31 07:53:11 +02:00
Matthias Krüger
49327a04a2
Rollup merge of #128382 - RalfJung:cargo-miri-assert, r=oli-obk
...
cargo-miri: better error when we seem to run inside bootstrap but something is wrong
Cc https://github.com/rust-lang/miri/issues/3775
2024-07-30 22:51:40 +02:00
Ralf Jung
6283c4dae6
FD: refactor API names a little
2024-07-30 22:32:33 +02:00
bors
f8060d282d
Auto merge of #128083 - Mark-Simulacrum:bump-bootstrap, r=albertlarsan68
...
Bump bootstrap compiler to new beta
https://forge.rust-lang.org/release/process.html#master-bootstrap-update-t-2-day-tuesday
2024-07-30 17:49:08 +00:00
Oli Scherer
6fc1b69993
Use Scalar consistently in foreign item emulation
2024-07-30 13:32:54 +00:00
Ralf Jung
cc7e7bc096
cargo-miri: better error when we seem to run inside bootstrap but something is wrong
2024-07-30 12:13:04 +02:00
bors
cf63c16269
Auto merge of #3770 - oli-obk:duplicator, r=oli-obk
...
Some FileDescriptor/FileDescription refactorings
follow-up to https://github.com/rust-lang/miri/pull/3763#discussion_r1694866428
I opted not to change the method names, as I think they are already pretty good (and the common one is the short name), and the docs should explain what they actually do, but if you feel like the names you proposed would be better, I'll just do that.
2024-07-30 06:24:44 +00:00
bors
37e7688992
Auto merge of #3759 - newpavlov:flock, r=oli-obk
...
Add `flock` shim
2024-07-30 06:00:12 +00:00
The Miri Cronjob Bot
8f712b5728
Merge from rustc
2024-07-30 05:11:47 +00:00
The Miri Cronjob Bot
fc584d7da3
Preparing for merge from rustc
2024-07-30 05:03:59 +00:00
Oli Scherer
b48e1b1d73
Rename all file_descriptor variables to file_description to match the naming scheme of the types
2024-07-29 11:50:01 +00:00
Oli Scherer
4742a81ebd
Rename FileDescriptor to FileDescriptionRef
2024-07-29 11:47:49 +00:00
Oli Scherer
724160ae3d
Split out actual FileDescriptor creation
2024-07-29 11:46:54 +00:00
Oli Scherer
051cc2d768
Make field private. It is not used outside the module and it should not be directly accessed anyway
2024-07-29 10:17:56 +00:00
Matthias Krüger
624f9bdec9
Rollup merge of #128333 - RalfJung:miri-sync, r=RalfJung
...
Miri subtree update
r? `@ghost`
2024-07-29 11:42:36 +02:00
Mark Rousskov
5eca36d27a
step cfg(bootstrap)
2024-07-28 14:46:29 -04:00
Ralf Jung
f8ebe8d783
improve dangling/oob errors and make them more uniform
2024-07-27 21:12:54 +02:00
Ralf Jung
5b38b149dc
miri: fix offset_from behavior on wildcard pointers
2024-07-27 17:18:35 +02:00
Ralf Jung
822286f075
fix clippy
2024-07-27 08:31:07 +02:00
The Miri Cronjob Bot
80a32f8618
Preparing for merge from rustc
2024-07-27 05:14:59 +00:00
Артём Павлов [Artyom Pavlov]
1507af41a5
Add flock shim
2024-07-26 20:42:31 +03:00
bors
adbb89e238
Auto merge of #3763 - tiif:global-fd-id, r=oli-obk
...
Insert FileDescription instead of FileDescriptor in ``insert_fd``
This PR moves the creation of ``FileDescriptor`` inside ``insert_fd``, and ``insert_fd`` now takes in ``FileDescription`` instead of ``FileDescriptor``. This change is needed by #3712 .
2024-07-26 13:40:06 +00:00
tiif
a52b1d6e29
Let insert_fd takes in FileDescription instead of FileDescriptor
2024-07-26 21:13:58 +08:00
