From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on dcvr.yhbt.net X-Spam-Level: X-Spam-ASN: AS22989 209.51.188.0/24 X-Spam-Status: No, score=-4.0 required=3.0 tests=AWL,BAYES_00,DKIM_INVALID, DKIM_SIGNED,HEADER_FROM_DIFFERENT_DOMAINS,MAILING_LIST_MULTI, RCVD_IN_DNSWL_LOW,SPF_HELO_NONE,SPF_PASS shortcircuit=no autolearn=ham autolearn_force=no version=3.4.2 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by dcvr.yhbt.net (Postfix) with ESMTPS id 3A3B81F487 for ; Sun, 29 Mar 2020 16:25:01 +0000 (UTC) Received: from localhost ([::1]:39392 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1jIak8-0003S2-0T for normalperson@yhbt.net; Sun, 29 Mar 2020 12:25:00 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:45268) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1jIak3-0003RA-1s for bug-gnulib@gnu.org; Sun, 29 Mar 2020 12:24:56 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1jIak2-00041D-2s for bug-gnulib@gnu.org; Sun, 29 Mar 2020 12:24:54 -0400 Received: from mo6-p00-ob.smtp.rzone.de ([2a01:238:20a:202:5300::4]:17537) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1jIak1-0003yN-Cm for bug-gnulib@gnu.org; Sun, 29 Mar 2020 12:24:54 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; t=1585499091; s=strato-dkim-0002; d=clisp.org; h=References:In-Reply-To:Message-ID:Date:Subject:To:From: X-RZG-CLASS-ID:X-RZG-AUTH:From:Subject:Sender; bh=XbITLrcGDWuh+75wzR5bXKqZgD/NONGKCAtEF2/H3bA=; b=cSPxM0Sps1GaDgLf9MYe7T2fSd/Lj8MVcW0ZShorA0JmO9+313P7oa4zJwXCDKYGfq DLEpQ4eC0gQp70/WfzzZNvuTU3ykuXD+NNVGvL91MiWxbARhYX6wS07jDuSVMpeL1Ftq Nc5+EcgKNyTebvNCZDh2JYWZMc5Mgd/S2cFTqauyKSInVNPcpb3iaB3k7FAA1Pj5m1i3 Fh7NvMA9FuvF8UAiXcwBVeTP683Ou1bjfzV2LS0Oub2oKyetoRTKq9wkB0gukw2nXnd7 rtpkAGIHd2BsEsqcXGqd2sHTzJK0cqVAxJEF/m4hSEvQhzftUZFszfHGlHqTdHWXuA9J njgQ== X-RZG-AUTH: ":Ln4Re0+Ic/6oZXR1YgKryK8brlshOcZlIWs+iCP5vnk6shH+AHjwLuWOH6fzxfs=" X-RZG-CLASS-ID: mo00 Received: from bruno.haible.de by smtp.strato.de (RZmta 46.2.1 DYNA|AUTH) with ESMTPSA id D01ccaw2TGOnAOB (using TLSv1 with cipher ECDHE-RSA-AES256-SHA (curve X9_62_prime256v1 with 256 ECDH bits, eq. 3072 bits RSA)) (Client did not present a certificate); Sun, 29 Mar 2020 18:24:49 +0200 (CEST) From: Bruno Haible To: bug-gnulib@gnu.org, noloader@gmail.com Subject: Re: test-math.c:89:3: runtime error: division by zero Date: Sun, 29 Mar 2020 18:24:49 +0200 Message-ID: <1848192.VuvhVD494M@omega> User-Agent: KMail/5.1.3 (Linux/4.4.0-174-generic; KDE/5.18.0; x86_64; ; ) In-Reply-To: References: MIME-Version: 1.0 Content-Transfer-Encoding: 7Bit Content-Type: text/plain; charset="us-ascii" X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 2a01:238:20a:202:5300::4 X-BeenThere: bug-gnulib@gnu.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: Gnulib discussion list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-gnulib-bounces+normalperson=yhbt.net@gnu.org Sender: "bug-gnulib" Jeffrey Walton wrote: > This showed up during acosf testing with UBsan: > > test-math.c:89:3: runtime error: division by zero The code performs a division 1.0 / 0.0. This is a valid operation in IEEE 854. It must produce a HUGE_VAL. Surely you can tell the sanitizer to ignore this? Bruno