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
..
2023-05-01 16:15:13 +08:00
2023-04-16 11:38:52 +00:00
2023-04-16 11:38:52 +00:00
2023-04-16 11:38:52 +00:00
2023-04-16 11:38:52 +00:00
2023-04-16 11:38:52 +00:00
2023-01-31 17:26:06 +00:00
2023-05-24 19:35:59 -03:00
2023-05-24 19:35:59 -03:00
2023-05-24 19:35:59 -03:00
2023-04-16 11:38:52 +00:00
2023-07-27 15:51:02 +00:00
2023-05-24 19:35:59 -03:00
2023-05-24 19:54:13 -03:00
2023-02-16 11:42:35 -03:00
2023-04-03 15:59:21 +00:00
2023-02-16 11:42:35 -03:00
2023-07-27 15:51:02 +00:00
2023-04-03 15:59:21 +00:00
2023-01-12 02:28:38 +00:00
2023-01-12 02:28:38 +00:00
2023-01-12 02:28:38 +00:00
2023-07-27 15:51:02 +00:00
2023-05-05 20:36:21 +02:00
2023-07-29 11:47:26 +02:00
2023-01-15 19:46:20 +00:00
2023-04-16 11:38:52 +00:00