diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2024-08-02 06:43:43 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-08-02 06:43:43 +0200 |
| commit | 67fcb58347c10e0cc047fa3e33108643593ab851 (patch) | |
| tree | da1b3d30502d584567c416ca253bd61f671a0da4 /compiler/rustc_codegen_llvm/src/errors.rs | |
| parent | 2dabaa01aaffd39236e091217937e89c915a7aa3 (diff) | |
| parent | f97aba2271baf1876940b42cc68f1b60ac97bf98 (diff) | |
| download | rust-67fcb58347c10e0cc047fa3e33108643593ab851.tar.gz rust-67fcb58347c10e0cc047fa3e33108643593ab851.zip | |
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`
Diffstat (limited to 'compiler/rustc_codegen_llvm/src/errors.rs')
0 files changed, 0 insertions, 0 deletions