Revision 5aaa94854367ca875375e38ae14f369f124e7315 authored by Kristoffer Carlsson on 03 November 2023, 07:44:08 UTC, committed by GitHub on 03 November 2023, 07:44:08 UTC
1 parent 1391444
gmp-exception.patch
diff --git a/errno.c b/errno.c
index b4be555..3f772a5 100644
--- a/errno.c
+++ b/errno.c
@@ -68,5 +68,8 @@ __gmp_sqrt_of_negative (void)
void
__gmp_divide_by_zero (void)
{
+ /* try to force a division by zero system exception */
+ __gmp_junk = 10 / __gmp_0;
+
__gmp_exception (GMP_ERROR_DIVISION_BY_ZERO);
}
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...