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 F15911F4B4 for ; Sat, 10 Oct 2020 13:50:35 +0000 (UTC) Received: from localhost ([::1]:42502 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1kRFGc-0007D2-Id for normalperson@yhbt.net; Sat, 10 Oct 2020 09:50:34 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:39056) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kRFGZ-0007Cq-N1 for bug-gnulib@gnu.org; Sat, 10 Oct 2020 09:50:31 -0400 Received: from mo4-p00-ob.smtp.rzone.de ([81.169.146.218]:27176) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kRFGX-0003TR-GX for bug-gnulib@gnu.org; Sat, 10 Oct 2020 09:50:31 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; t=1602337826; 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=chs3xYK8DJbZL1n+yHm3it7bhNq5iYtvx9kQOivUooo=; b=f3/l2cCadoWCyKZ9FMOKH8RiDv+2awpleIo0bmrQd8RXxH9MX1oceCntGENAjMekKJ ferr1dcGjnpl/Z2KZ76ts75u3crT0hi9NL1zb0SuxhJpov8Eff/shAI/GwDDs6xVsKLr GS0go5XSHsmbXvPJd7/MSNIvTMyjsmBsLVYG2wvBCj/E3VHUMqHTAqeJV81orjtOB3mN Hje4P6DLuO+0bpJqj6dvdQZTCrO4dE74UFr4+V6BGhYJL7EdX3ggao8+hHiYusDuxiX+ Rtpc20pXnM3L6V7eRoUhbikzvGlS4zOk/lBqwpykPbslr+ltOFMDkixOu6IFPOVaKgSb XzbA== X-RZG-AUTH: ":Ln4Re0+Ic/6oZXR1YgKryK8brlshOcZlIWs+iCP5vnk6shH+AHjwLuWOGaf0yJVW" X-RZG-CLASS-ID: mo00 Received: from bruno.haible.de by smtp.strato.de (RZmta 47.2.1 DYNA|AUTH) with ESMTPSA id R01daaw9ADoPrJw (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); Sat, 10 Oct 2020 15:50:25 +0200 (CEST) From: Bruno Haible To: Marc =?ISO-8859-1?Q?Nieper=2DWi=DFkirchen?= Subject: Re: Unused parameter warnings Date: Sat, 10 Oct 2020 15:50:25 +0200 Message-ID: <2217733.79xrSNMHMn@omega> User-Agent: KMail/5.1.3 (Linux/4.4.0-189-generic; KDE/5.18.0; x86_64; ; ) In-Reply-To: References: <2326325.Jy0C8KHsti@omega> MIME-Version: 1.0 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="iso-8859-1" Received-SPF: none client-ip=81.169.146.218; envelope-from=bruno@clisp.org; helo=mo4-p00-ob.smtp.rzone.de X-detected-operating-system: by eggs.gnu.org: First seen = 2020/10/10 09:50:26 X-ACL-Warn: Detected OS = Linux 2.2.x-3.x [generic] [fuzzy] X-Spam_score_int: -29 X-Spam_score: -3.0 X-Spam_bar: --- X-Spam_report: (-3.0 / 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.207, RCVD_IN_DNSWL_LOW=-0.7, RCVD_IN_MSPIKE_H4=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: bug-gnulib@gnu.org Errors-To: bug-gnulib-bounces+normalperson=yhbt.net@gnu.org Sender: "bug-gnulib" Marc Nieper-Wi=DFkirchen wrote: > > And a function that may invoke abort () does "affect observable state". >=20 > This description of the a pure function does not seem to be accurate. > When a function calls another function like abort that is marked with > _Noreturn in a pure context, for the compiler the function can still > be pure (but not const). It can eliminate a second call to the > function with the same parameters. I am pretty sure that the warning > of GCC in line 938 is correct. The documentation of ATTRIBUTE_PURE in Gnulib is taken from the GCC documentation [1][2], therefore if you think it needs to be fixed, it's through a GCC bug report. Bruno [1] https://lists.gnu.org/archive/html/bug-gnulib/2020-05/msg00105.html [2] https://gcc.gnu.org/onlinedocs/gcc-10.2.0/gcc/Common-Function-Attribute= s.html