diff options
| author | Ralf Jung <post@ralfj.de> | 2023-10-08 20:36:25 +0200 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2023-10-09 07:37:24 +0200 |
| commit | 615d738abea23715f649e51cf27112451a0f607b (patch) | |
| tree | d78e4f7b5f770b77cdeefe8e61c9bc73cc906725 /compiler/rustc_const_eval/src | |
| parent | 6796c5765d7b52271cd09ab977cb617ee3971a3a (diff) | |
| download | rust-615d738abea23715f649e51cf27112451a0f607b.tar.gz rust-615d738abea23715f649e51cf27112451a0f607b.zip | |
ensure unary minus propagates NaN payloads exactly
Diffstat (limited to 'compiler/rustc_const_eval/src')
| -rw-r--r-- | compiler/rustc_const_eval/src/interpret/operator.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/compiler/rustc_const_eval/src/interpret/operator.rs b/compiler/rustc_const_eval/src/interpret/operator.rs index fe8572d9c6f..a685b499d0e 100644 --- a/compiler/rustc_const_eval/src/interpret/operator.rs +++ b/compiler/rustc_const_eval/src/interpret/operator.rs @@ -461,6 +461,7 @@ impl<'mir, 'tcx: 'mir, M: Machine<'mir, 'tcx>> InterpCx<'mir, 'tcx, M> { Ok((ImmTy::from_bool(res, *self.tcx), false)) } ty::Float(fty) => { + // No NaN adjustment here, `-` is a bitwise operation! let res = match (un_op, fty) { (Neg, FloatTy::F32) => Scalar::from_f32(-val.to_f32()?), (Neg, FloatTy::F64) => Scalar::from_f64(-val.to_f64()?), |