bors 64ad036307 Auto merge of #114333 - RalfJung:dangling-ptr-offset, r=oli-obk ...

Miri: fix error on dangling pointer inbounds offset

We used to claim that the pointer was "dereferenced", but that is just not true.

Can be reviewed commit-by-commit. The first commit is an unrelated rename that didn't seem worth splitting into its own PR.

r? `@oli-obk`

2023-08-02 09:12:32 +00:00

..

src

Auto merge of #114333 - RalfJung:dangling-ptr-offset, r=oli-obk

2023-08-02 09:12:32 +00:00

Cargo.toml

Replace in-tree rustc_apfloat with the new version of the crate

2023-07-26 10:20:15 -04:00

messages.ftl

properly track why we checked whether a pointer is in-bounds

2023-08-01 17:57:13 +02:00