diff options
| author | Dylan DPC <99973273+Dylan-DPC@users.noreply.github.com> | 2022-08-30 11:26:51 +0530 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-08-30 11:26:51 +0530 |
| commit | 5e494b424380fdf8d38c3887e1ba7343123ad30e (patch) | |
| tree | deeda64b30b493c387950b08f5565f1aeeff716c /tests/mir-opt/lower_array_len.array_bound_mut.NormalizeArrayLen.diff | |
| parent | 663b8949b79fd28ed0e96e485ef2ca682bf5802a (diff) | |
| parent | 94f2fef4ccadb716f4662475afdb9905143d53f2 (diff) | |
| download | rust-5e494b424380fdf8d38c3887e1ba7343123ad30e.tar.gz rust-5e494b424380fdf8d38c3887e1ba7343123ad30e.zip | |
Rollup merge of #101101 - RalfJung:read-pointer-as-bytes, r=oli-obk
interpret: make read-pointer-as-bytes a CTFE-only error with extra information Next step in the reaction to https://github.com/rust-lang/rust/issues/99923. Also teaches Miri to implicitly strip provenance in more situations when transmuting pointers to integers, which fixes https://github.com/rust-lang/miri/issues/2456. Pointer-to-int transmutation during CTFE now produces a message like this: ``` = help: this code performed an operation that depends on the underlying bytes representing a pointer = help: the absolute address of a pointer is not known at compile-time, so such operations are not supported ``` r? ``@oli-obk``
Diffstat (limited to 'tests/mir-opt/lower_array_len.array_bound_mut.NormalizeArrayLen.diff')
0 files changed, 0 insertions, 0 deletions