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-Status: No, score=-5.2 required=3.0 tests=AWL,BAYES_00,DKIM_INVALID, DKIM_SIGNED,HEADER_FROM_DIFFERENT_DOMAINS,MAILING_LIST_MULTI, NICE_REPLY_A,RCVD_IN_DNSWL_MED,RCVD_IN_MSPIKE_H4,RCVD_IN_MSPIKE_WL, 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 C1F381F66E for ; Sun, 6 Sep 2020 08:47:01 +0000 (UTC) Received: from localhost ([::1]:36530 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1kEqKC-0002nO-5z for normalperson@yhbt.net; Sun, 06 Sep 2020 04:47:00 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:54708) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kEqK8-0002nD-Mk for bug-gnulib@gnu.org; Sun, 06 Sep 2020 04:46:56 -0400 Received: from mo4-p00-ob.smtp.rzone.de ([85.215.255.23]:32297) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kEqK6-0000Cs-GR for bug-gnulib@gnu.org; Sun, 06 Sep 2020 04:46:56 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; t=1599382011; s=strato-dkim-0002; d=clisp.org; h=References:In-Reply-To:Message-ID:Date:Subject:Cc:To:From: X-RZG-CLASS-ID:X-RZG-AUTH:From:Subject:Sender; bh=euKz6NOlYpLRN7U3aOJM/kULe2aCl4X9LJ1HrVFUveY=; b=JIq75jvUw4p7+zf0hS1iZuJ+MhEKAPqZWayvul8aSRRnd+ouBneTwTopFs8cu4L8ke RSlRFPS+6AtY8Hemx6bd8t8YJq/g7DTxz3rLuX6k/wFarLgQnLmqTXiUQ7w8ZlC36gj8 coutI+LSvCJKQrX3THamTaf4LQrG5gFU7LF5MXCj90hnEfJQQhrPJ3H2/pyzyQEJkZRh YPo6ujiOsqljpLe5aSSWOmGFSQbe6jIRkruFBkoy4WoKhMx3KtykM5jchayuvzp+66Hh El/fVHKsc17WFR60Ihz/CpRW95sVH1rwhyiDXm1H21aQdJjrTwaOz6KefPPSwSHdqCO0 QfRA== X-RZG-AUTH: ":Ln4Re0+Ic/6oZXR1YgKryK8brlshOcZlIWs+iCP5vnk6shH+AHjwLuWOHqfyyPs=" X-RZG-CLASS-ID: mo00 Received: from bruno.haible.de by smtp.strato.de (RZmta 46.10.7 DYNA|AUTH) with ESMTPSA id z05f0fw868kfCay (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, 6 Sep 2020 10:46:41 +0200 (CEST) From: Bruno Haible To: bug-gnulib@gnu.org Subject: Re: [PATCH] verify: avoid __builtin_assume Date: Sun, 06 Sep 2020 10:46:39 +0200 Message-ID: <1829268.qHUliUfUs6@omega> User-Agent: KMail/5.1.3 (Linux/4.4.0-186-generic; KDE/5.18.0; x86_64; ; ) In-Reply-To: <20200906005215.1179403-1-eggert@cs.ucla.edu> References: <20200906005215.1179403-1-eggert@cs.ucla.edu> MIME-Version: 1.0 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="UTF-8" Received-SPF: none client-ip=85.215.255.23; envelope-from=bruno@clisp.org; helo=mo4-p00-ob.smtp.rzone.de X-detected-operating-system: by eggs.gnu.org: First seen = 2020/09/06 04:46:51 X-ACL-Warn: Detected OS = Linux 2.2.x-3.x [generic] [fuzzy] X-Spam_score_int: -21 X-Spam_score: -2.2 X-Spam_bar: -- X-Spam_report: (-2.2 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, NICE_REPLY_A=-0.107, RCVD_IN_DNSWL_NONE=-0.0001, RCVD_IN_MSPIKE_H3=0.001, RCVD_IN_MSPIKE_WL=0.001, SPF_HELO_PASS=-0.001, SPF_NONE=0.001 autolearn=ham autolearn_force=no X-Spam_action: no action 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: Paul Eggert Errors-To: bug-gnulib-bounces+normalperson=yhbt.net@gnu.org Sender: "bug-gnulib" Paul Eggert wrote: > It=E2=80=99s not known whether > the crash is due is a Clang bug or a portability bug in GNU Emacs. Since around the time I added the __builtin_assume use in verify.h, the gnulib integration test that Tim R=C3=BChsen maintains started to occasionally fail - only in the clang/Debian run, not in the gcc/Debian run. See . I say "around the time", since this integration test runs only once a week. I tried to reproduce locally, but couldn't - in my local build, it succeeded. The actual failure is a FAIL: test-regex during "make check". Like Emacs, the regex code is quite complicated, so it is possible that both the Emacs crash and the regex failure are caused by the same clang bug. Let's see how the gnulib integration test will react to the revert... Bruno