[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: test-math.c:89:3: runtime error: division by zero
From: |
Jeffrey Walton |
Subject: |
Re: test-math.c:89:3: runtime error: division by zero |
Date: |
Sun, 29 Mar 2020 19:21:52 -0400 |
On Sun, Mar 29, 2020 at 5:59 PM Bruno Haible <address@hidden> wrote:
>
> 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.
Yeah, GCC looks partially clean. It is not producing a sanitizer
finding, so I guess no blood, no foul.
Clang is a problem: https://bugs.llvm.org/show_bug.cgi?id=45352.
Jeff