summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src
diff options
context:
space:
mode:
authorRalf Jung <post@ralfj.de>2024-07-31 20:26:08 +0200
committerRalf Jung <post@ralfj.de>2024-07-31 20:26:20 +0200
commitf97aba2271baf1876940b42cc68f1b60ac97bf98 (patch)
tree68affeb70bc9813f395e7199d9a2725ef1d2b784 /compiler/rustc_const_eval/src
parent99322d84c4e216940621c356787331d8ae362326 (diff)
downloadrust-f97aba2271baf1876940b42cc68f1b60ac97bf98.tar.gz
rust-f97aba2271baf1876940b42cc68f1b60ac97bf98.zip
raw_eq: using it on bytes with provenance is not UB (outside const-eval)
Diffstat (limited to 'compiler/rustc_const_eval/src')
-rw-r--r--compiler/rustc_const_eval/src/interpret/intrinsics.rs3
1 files changed, 0 insertions, 3 deletions
diff --git a/compiler/rustc_const_eval/src/interpret/intrinsics.rs b/compiler/rustc_const_eval/src/interpret/intrinsics.rs
index 1e3de224380..6b78e49aed2 100644
--- a/compiler/rustc_const_eval/src/interpret/intrinsics.rs
+++ b/compiler/rustc_const_eval/src/interpret/intrinsics.rs
@@ -693,9 +693,6 @@ impl<'tcx, M: Machine<'tcx>> InterpCx<'tcx, M> {
                 // zero-sized access
                 return Ok(&[]);
             };
-            if alloc_ref.has_provenance() {
-                throw_ub_custom!(fluent::const_eval_raw_eq_with_provenance);
-            }
             alloc_ref.get_bytes_strip_provenance()
         };