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.2 required=3.0 tests=AWL,BAYES_00, 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 6923E1F487 for ; Sun, 29 Mar 2020 23:35:54 +0000 (UTC) Received: from localhost ([::1]:42732 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1jIhT7-0001TP-70 for normalperson@yhbt.net; Sun, 29 Mar 2020 19:35:53 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:36694) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1jIhT3-0001QB-6b for bug-gnulib@gnu.org; Sun, 29 Mar 2020 19:35:49 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1jIhT1-0006rV-Vp for bug-gnulib@gnu.org; Sun, 29 Mar 2020 19:35:49 -0400 Received: from zimbra.cs.ucla.edu ([131.179.128.68]:38428) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1jIhT1-0006l5-Pa for bug-gnulib@gnu.org; Sun, 29 Mar 2020 19:35:47 -0400 Received: from localhost (localhost [127.0.0.1]) by zimbra.cs.ucla.edu (Postfix) with ESMTP id 7F1C71600DD; Sun, 29 Mar 2020 16:35:44 -0700 (PDT) Received: from zimbra.cs.ucla.edu ([127.0.0.1]) by localhost (zimbra.cs.ucla.edu [127.0.0.1]) (amavisd-new, port 10032) with ESMTP id rHzZSA86pZEE; Sun, 29 Mar 2020 16:35:43 -0700 (PDT) Received: from localhost (localhost [127.0.0.1]) by zimbra.cs.ucla.edu (Postfix) with ESMTP id D56031600DE; Sun, 29 Mar 2020 16:35:43 -0700 (PDT) X-Virus-Scanned: amavisd-new at zimbra.cs.ucla.edu Received: from zimbra.cs.ucla.edu ([127.0.0.1]) by localhost (zimbra.cs.ucla.edu [127.0.0.1]) (amavisd-new, port 10026) with ESMTP id Jmlf1Zmrzidi; Sun, 29 Mar 2020 16:35:43 -0700 (PDT) Received: from [192.168.1.9] (cpe-23-242-74-103.socal.res.rr.com [23.242.74.103]) by zimbra.cs.ucla.edu (Postfix) with ESMTPSA id A7A3E1600DD; Sun, 29 Mar 2020 16:35:43 -0700 (PDT) Subject: Re: test-math.c:89:3: runtime error: division by zero To: noloader@gmail.com, Bruno Haible References: <1848192.VuvhVD494M@omega> <1665625.n3MASsG4Sn@omega> From: Paul Eggert Organization: UCLA Computer Science Department Message-ID: Date: Sun, 29 Mar 2020 16:35:43 -0700 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.4.1 MIME-Version: 1.0 In-Reply-To: Content-Type: text/plain; charset=utf-8; format=flowed Content-Language: en-US Content-Transfer-Encoding: 7bit X-detected-operating-system: by eggs.gnu.org: GNU/Linux 3.x X-Received-From: 131.179.128.68 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: , Cc: bug-gnulib@gnu.org Errors-To: bug-gnulib-bounces+normalperson=yhbt.net@gnu.org Sender: "bug-gnulib" On 3/29/20 4:30 PM, Jeffrey Walton wrote: > Would you be willing to hide a macro like CLANG_NO_DIV_BY_ZERO in a > header somewhere so it can be used in tests like test-math.h? It'd be better to have the test fail with Clang, since Clang does have a bug here. There should be some way you can tell the CI system "this test is expected to fail on this platform."