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=-3.8 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 486981F5AE for ; Sat, 11 Jul 2020 14:26:31 +0000 (UTC) Received: from localhost ([::1]:59606 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1juGSU-0003gW-3U for normalperson@yhbt.net; Sat, 11 Jul 2020 10:26:30 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:35542) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1juGSQ-0003ex-Jj; Sat, 11 Jul 2020 10:26:27 -0400 Received: from mail-wr1-x443.google.com ([2a00:1450:4864:20::443]:39168) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1juGSO-0004Ao-Qz; Sat, 11 Jul 2020 10:26:26 -0400 Received: by mail-wr1-x443.google.com with SMTP id q5so8704883wru.6; Sat, 11 Jul 2020 07:26:23 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=sender:subject:to:cc:references:from:message-id:date:user-agent :mime-version:in-reply-to:content-language:content-transfer-encoding; bh=E3zQyUP4iKZwdX08QsghW5gsfNlqXu+DUsJd2TKzkps=; b=X5sVjAgWx7LUfkbg0RzrRF+tuT/BVcWvZLIuMB/RXo3CqqaWCJWa5lVfTa7qGqdHmV fNPCnZEK0NZYTQVgfUIFX6nmGtN52PpJHeygcEDVD2/Tq8VTHHxYJu+NxtP/x+woFeON TQiOu3JDpLofuUqZJRwH+tdpna6DyKJmYNx+PkUvG92tLeaCDAMJdpk0OwoCSEOVgIUk DsmEpuxut5mUjH64tpnd3NoPDtZ2hJwfEoY1g7jlXZaQyNoau8IInJHRq3Jk7DUnUPLD vLXmmfF70Bq8GUZN8T+40BBObn5MYL4bcv3s8dKM1ydeOo8/Rv+lwZKkKA9c0iNui+Sr TgLg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:sender:subject:to:cc:references:from:message-id :date:user-agent:mime-version:in-reply-to:content-language :content-transfer-encoding; bh=E3zQyUP4iKZwdX08QsghW5gsfNlqXu+DUsJd2TKzkps=; b=q2aCzm/7dY2zfFnEgpzPmu2Nmrxs5Xd8XkkzZpJY/uLYy1xInrlOTRPre5E/LN1c1u AmQufKjbK3a2PSDowXer9PbADMT9ddjRdEbRNlQx5CH1GQIwEkKOu9WX1gSdpP8pMLju EEOhUc166BwZywIeiQXJSGo0v1uFggLs3o0iartpnFi4MltsNhTr7vcZ5qhN4hRZEi47 B/AhEuyj7wcpAsMCI9j4NOdeaWNAdmn492fndAIpJTiUBjr8GyToo4R/mjMLRwaZ1k+J /miheg0n3R1hTZh/FGqznil2PgrNWY9aEpizy4w8Fx1aiXbGUAi4YQY6xBPFx7wf8Pl+ urFw== X-Gm-Message-State: AOAM5326T/4f7hX4+Is67j7pxkz3F10doG/S7cs7dUutFRLnXrx6nnr9 IftZ1lEfDkM1TERYE2SAYt7JFnXG X-Google-Smtp-Source: ABdhPJyxqcqE/1qhPuPunl5vSrAcMhMiJTIeNYMDGUSMd6cUXjPdwpW6TcuBI+mpFEoVr8guRhVrcQ== X-Received: by 2002:a05:6000:1107:: with SMTP id z7mr71086723wrw.355.1594477582361; Sat, 11 Jul 2020 07:26:22 -0700 (PDT) Received: from localhost.localdomain (86-42-14-227-dynamic.agg2.lod.rsl-rtd.eircom.net. [86.42.14.227]) by smtp.googlemail.com with ESMTPSA id z1sm15134492wru.30.2020.07.11.07.26.21 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Sat, 11 Jul 2020 07:26:21 -0700 (PDT) Subject: Re: coreutils and GCC -fanalyzer To: Paul Eggert References: <77400f8a-59ca-6d02-e5b1-e01ba0619237@draigBrady.com> <4aa67590-a0c3-603d-d2b1-f0751a28df29@cs.ucla.edu> <3a074086-47f7-638f-50a8-cd7ceb46a11a@draigBrady.com> <0f92f576-bf1c-e889-3e4a-a128455b5684@cs.ucla.edu> <9d8897dc-b415-afce-bc34-b9f934b8f905@cs.ucla.edu> From: =?UTF-8?Q?P=c3=a1draig_Brady?= Message-ID: Date: Sat, 11 Jul 2020 15:26:20 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101 Thunderbird/78.0 MIME-Version: 1.0 In-Reply-To: Content-Type: text/plain; charset=utf-8; format=flowed Content-Language: en-US Content-Transfer-Encoding: 8bit Received-SPF: pass client-ip=2a00:1450:4864:20::443; envelope-from=pixelbeat@gmail.com; helo=mail-wr1-x443.google.com X-detected-operating-system: by eggs.gnu.org: No matching host in p0f cache. That's all we know. X-Spam_score_int: 0 X-Spam_score: 0.0 X-Spam_bar: / X-Spam_report: (0.0 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FORGED_FROMDOMAIN=1, FREEMAIL_FROM=0.001, HEADER_FROM_DIFFERENT_DOMAINS=1, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, URIBL_BLOCKED=0.001 autolearn=no 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: Gnulib bugs , coreutils@gnu.org Errors-To: bug-gnulib-bounces+normalperson=yhbt.net@gnu.org Sender: "bug-gnulib" On 11/07/2020 01:58, Paul Eggert wrote: > On 7/10/20 2:21 PM, Pádraig Brady wrote: >> >> I'd be inclined to not enable -fanalyzer by default. >> At least not until it matures more. >> -fanalyzer didn't find any actual issues in coreutils, > > Yes, the only bug I found related to coreutils: > > https://gmplib.org/list-archives/gmp-bugs/2020-July/004844.html > > is a bug in library code that coreutils never triggers. > >> I'd be inclined to not enable -fanalyzer by default. > > I installed the attached patch into coreutils; will that do? The basic idea is > that you get -fanalyzer only if you configure with the new > --enable-gcc-warnings=expensive option. That's better, for coreutils at least. It's good that you included all fanalyzer related options set by gnulib, as that allows projects to more easily control those themselves. thanks! Pádraig