[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: test-math.c:89:3: runtime error: division by zero
From: |
Bruno Haible |
Subject: |
Re: test-math.c:89:3: runtime error: division by zero |
Date: |
Sun, 29 Mar 2020 23:59:20 +0200 |
User-agent: |
KMail/5.1.3 (Linux/4.4.0-174-generic; KDE/5.18.0; x86_64; ; ) |
Jeffrey Walton wrote:
> Let's see what the GCC folks recommend: "GCC and division by 0 under
> sanitizers", https://gcc.gnu.org/pipermail/gcc-help/2020-March/138746.html.
The way I interpret their answer
https://gcc.gnu.org/pipermail/gcc-help/2020-March/138747.html
is:
1) You need to distinguish integer division by zero and floating-point
division by zero.
2) For floating-point division by zero GCC warns but should not warn.
You should enter a bug report about this.
3) The undefined-behaviour sanitizer should report integer division by zero
but not floating-point division by zero ("as it can be a legitimate way
of obtaining infinities and NaNs").
In the gnulib code, test-math.c:89, we clearly have a floating-point
division by zero.
Bruno