Skip to main content

Browse the archive

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 
release-1.10: Update VERSION to 1.10-rc1 (#51997)
 
 
 
 
 1 parent   1391444 
  
 
 
 
  
 
   Raw File             
 
 
   
   
 
 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);
 }


 
 
 
  
 
   
 
   
 
 
     
  back to top