comment

yamt · Jul 25, 2024 · 5ef6c95 · 5ef6c95
1 parent eed11cc
commit 5ef6c95
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/lib/platform.h b/lib/platform.h
@@ -153,7 +153,10 @@
 #if __has_builtin(__builtin_mul_overflow)
 #define MUL_SIZE_OVERFLOW(a, b, c) __builtin_mul_overflow(a, b, c)
 #else
-/* Note: (floor(x) < b) == (x < b) */
+/*
+ * Note: (floor(x) < b) == (x < b) where
+ * x is a real number and b is an integer.
+ */
 #define MUL_SIZE_OVERFLOW(a, b, c)                                            \
         (a != 0 && (SIZE_MAX / a < b) ? 1 : (*c = a * b, 0))
 #endif