user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

atomic rmw intrinsics: RHS must be an integer

Browse source
This commit is contained in:
Ralf Jung 2025-09-05 13:31:01 +02:00
parent 0dcc21b124
commit 69c7652a01
1 changed files with 2 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

3
src/tools/miri/src/intrinsics/atomic.rs
View file

@ -264,8 +264,9 @@ trait EvalContextPrivExt<'tcx>: MiriInterpCxExt<'tcx> {
let place = this.deref_pointer(place)?;
let rhs = this.read_immediate(rhs)?;
// The LHS can be a pointer, the RHS must be an integer.
if !(place.layout.ty.is_integral() || place.layout.ty.is_raw_ptr())
|| !(rhs.layout.ty.is_integral() || rhs.layout.ty.is_raw_ptr())
|| !rhs.layout.ty.is_integral()
{
span_bug!(
this.cur_span(),