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.7 required=3.0 tests=AWL,BAYES_00,DKIM_INVALID, DKIM_SIGNED,HEADER_FROM_DIFFERENT_DOMAINS,MAILING_LIST_MULTI, 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 91D461F5AE for ; Fri, 10 Jul 2020 21:22:14 +0000 (UTC) Received: from localhost ([::1]:59752 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1ju0TF-0006YJ-Bb for normalperson@yhbt.net; Fri, 10 Jul 2020 17:22:13 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:53028) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1ju0T2-0006Xu-Ky; Fri, 10 Jul 2020 17:22:00 -0400 Received: from mail-wr1-x432.google.com ([2a00:1450:4864:20::432]:40806) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1ju0T0-0002S1-VQ; Fri, 10 Jul 2020 17:22:00 -0400 Received: by mail-wr1-x432.google.com with SMTP id f2so7224442wrp.7; Fri, 10 Jul 2020 14:21:57 -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=U+GSxC4DMHOAV8SR1nSBxEKMdygGo3BG54d/+HCmnWc=; b=ZGwkvEsVYTTV5mNDx89yCpYI0MLPkrt+dEbk7mXXR1SR9t8qMl8lSjxTv/w76Zv8jT VlnApX4W34S1TlM8fmA1dg4j8QclnT6YBOoROls9mOXtCIwXCZY/01zxnTIVWzZETVjg PZxItsn9JcXsSUzX1NH9Q2TKPPryfLhqxnVTJ0ANPr+sbbSia/8Bd+hYgRg4YuK6IwsC 0AaUwMJl7BWtg62rJCObAhtrkcbZ9UD86gDLEO5hgS3AyhKGXir6GEtHhomO8AAJjjhJ iRQiS2exivxLTQi9b9PwaEXwytULu9QfQ8fmMKvwlO5fxki6lgYQdbhrfh5VJJjoD/T7 g/Dw== 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=U+GSxC4DMHOAV8SR1nSBxEKMdygGo3BG54d/+HCmnWc=; b=O2/WP0xHWgtt2hqIwKedh0BC503AsRUvi1fqW/noaqwgsB9n/z+rNVDOJYi+PJKaA7 BjmjtuNJXttOuP+yy3VBsy0KCdjpUKZiJMgpx04WrdhbcRVbAvcN4OElL7amUh54919E Jo+FxW74MdrRHl0jJgyi9InJiF4tzU/mpI5eBbpnERH3bcciar6IkduJ7wDon9lKJiCI 4P5OZ0rEKuSIqckp8EiHmEl8qD9n+0RnCu2e0ouWUbyR1JTP6W99b9L/VcC0FcSnMYXo yW1aUMPblxur4G+nxcwbF/GwVyD/Cenz39nTvHlblxvvC9UhNb6xZBxgd1ogkuyZkLWa csow== X-Gm-Message-State: AOAM532z4Ac5ZJvdTpLJbsnN7ZL0YuEuEQYFJ72P8mcBD2vX93oh8Zee xPzN/44NKV7xTDSHeEg3Y2Dj55Y1 X-Google-Smtp-Source: ABdhPJwF9TGrTv6it28Z/0Z5tmTP7SraJqDUfcEwP0ubQkDktmh1xGkuxl+ffb7knIRhgTJPw4az1w== X-Received: by 2002:adf:fd8b:: with SMTP id d11mr76129836wrr.371.1594416116407; Fri, 10 Jul 2020 14:21:56 -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 u8sm11469488wrt.28.2020.07.10.14.21.55 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Fri, 10 Jul 2020 14:21:55 -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: Fri, 10 Jul 2020 22:21:54 +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: <9d8897dc-b415-afce-bc34-b9f934b8f905@cs.ucla.edu> 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::432; envelope-from=pixelbeat@gmail.com; helo=mail-wr1-x432.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 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 02/07/2020 01:26, Paul Eggert wrote: > On 5/23/20 9:08 AM, Paul Eggert wrote: > >> So I am thinking of killing two >> stones by doing the following. >> >> 1. Test for -fanalyzer, -Wall, -Wextra. >> >> 2. Test for flags not automatically enabled by -fanalyzer, -Wall, -Wextra but >> flags that we want anyway. >> >> 3. Test for flags automatically enabled by -fanalyzer, -Wall, -Wextra that are >> also flags that we don't want. > > I did that in Gnulib by installing the attached patch. This could greatly > increase compile times due to the -fanalyzer option, so let's keep an eye out > for that. s/could/does/. compile time has gone from seconds to minutes for coreutils at least. 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, and currently bails on most files (after taking lots of time about it), as indicated with the -Wanalyzer-too-complex option. cheers, Pádraig