diff --git a/library/compiler-builtins/libm/src/math/rem_pio2_large.rs b/library/compiler-builtins/libm/src/math/rem_pio2_large.rs
index 5065ca496b22..841a51b84c27 100644
--- a/library/compiler-builtins/libm/src/math/rem_pio2_large.rs
+++ b/library/compiler-builtins/libm/src/math/rem_pio2_large.rs
@@ -1,4 +1,6 @@
 #![allow(unused_unsafe)]
+// FIXME(clippy): the suggested fix is bad but the code as-written could be better
+#![allow(clippy::explicit_counter_loop)]
 /* origin: FreeBSD /usr/src/lib/msun/src/k_rem_pio2.c */
 /*
  * ====================================================