diff options
| author | Eduardo Sánchez Muñoz <eduardosm-dev@e64.io> | 2024-10-14 20:58:32 +0200 |
|---|---|---|
| committer | Eduardo Sánchez Muñoz <eduardosm-dev@e64.io> | 2024-10-14 21:48:51 +0200 |
| commit | b73e613e008fd4a07a52ec7cef7c3af7db716b3d (patch) | |
| tree | 0f6752319c75907a03e146d92fdc08e29f43ca49 /src/tools | |
| parent | 8f8bee4f60d9d3769f75c70d558c27a95761c554 (diff) | |
| download | rust-b73e613e008fd4a07a52ec7cef7c3af7db716b3d.tar.gz rust-b73e613e008fd4a07a52ec7cef7c3af7db716b3d.zip | |
De-duplicate and move `adjust_nan` to `InterpCx`
Diffstat (limited to 'src/tools')
| -rw-r--r-- | src/tools/miri/src/operator.rs | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/src/tools/miri/src/operator.rs b/src/tools/miri/src/operator.rs index c0911fa717f..8e06f4258d6 100644 --- a/src/tools/miri/src/operator.rs +++ b/src/tools/miri/src/operator.rs @@ -115,8 +115,4 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> { nan } } - - fn adjust_nan<F1: Float + FloatConvert<F2>, F2: Float>(&self, f: F2, inputs: &[F1]) -> F2 { - if f.is_nan() { self.generate_nan(inputs) } else { f } - } } |