diff options
| author | Ralf Jung <post@ralfj.de> | 2025-03-12 12:36:40 +0100 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2025-03-13 08:14:34 +0100 |
| commit | 025eecc3e7e36bb60bdd4e30ae05b9fa3876d14f (patch) | |
| tree | 58e8fa6af0da2dbd8bc5a556c7d01a507108921b /src | |
| parent | 56715d986483f17af09dc2d73c99d20f7def7ab4 (diff) | |
| download | rust-025eecc3e7e36bb60bdd4e30ae05b9fa3876d14f.tar.gz rust-025eecc3e7e36bb60bdd4e30ae05b9fa3876d14f.zip | |
atomic intrinsics: clarify which types are supported and (if applicable) what happens with provenance
Diffstat (limited to 'src')
| -rw-r--r-- | src/intrinsics/mod.rs | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/intrinsics/mod.rs b/src/intrinsics/mod.rs index 6735ae024d1..75f3a3c1972 100644 --- a/src/intrinsics/mod.rs +++ b/src/intrinsics/mod.rs @@ -1031,7 +1031,7 @@ fn codegen_regular_intrinsic_call<'tcx>( let layout = src.layout(); match layout.ty.kind() { - ty::Uint(_) | ty::Int(_) | ty::RawPtr(..) => {} + ty::Int(_) => {} _ => { report_atomic_type_validation_error(fx, intrinsic, source_info.span, layout.ty); return Ok(()); @@ -1052,7 +1052,7 @@ fn codegen_regular_intrinsic_call<'tcx>( let layout = src.layout(); match layout.ty.kind() { - ty::Uint(_) | ty::Int(_) | ty::RawPtr(..) => {} + ty::Uint(_) => {} _ => { report_atomic_type_validation_error(fx, intrinsic, source_info.span, layout.ty); return Ok(()); @@ -1073,7 +1073,7 @@ fn codegen_regular_intrinsic_call<'tcx>( let layout = src.layout(); match layout.ty.kind() { - ty::Uint(_) | ty::Int(_) | ty::RawPtr(..) => {} + ty::Int(_) => {} _ => { report_atomic_type_validation_error(fx, intrinsic, source_info.span, layout.ty); return Ok(()); @@ -1094,7 +1094,7 @@ fn codegen_regular_intrinsic_call<'tcx>( let layout = src.layout(); match layout.ty.kind() { - ty::Uint(_) | ty::Int(_) | ty::RawPtr(..) => {} + ty::Uint(_) => {} _ => { report_atomic_type_validation_error(fx, intrinsic, source_info.span, layout.ty); return Ok(()); |