From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Michael Heerdegen Newsgroups: gmane.emacs.bugs Subject: bug#61730: 30.0.50; Compiler warnings for delq and delete Date: Sun, 21 May 2023 05:57:47 +0200 Message-ID: <87ttw6xrno.fsf@web.de> References: <87ednbdatj.fsf@web.de> <12EE2A5E-A357-4186-9B81-27A65DE9A3DF@gmail.com> <874jo6cxim.fsf@web.de> Mime-Version: 1.0 Content-Type: text/plain Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="11554"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Gnus/5.13 (Gnus v5.13) Cc: Mattias =?UTF-8?Q?Engdeg=C3=A5rd?= , 61730@debbugs.gnu.org, Stefan Monnier To: Ruijie Yu Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Sun May 21 05:59:21 2023 Return-path: Envelope-to: geb-bug-gnu-emacs@m.gmane-mx.org Original-Received: from lists.gnu.org ([209.51.188.17]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1q0aE5-0002rL-2i for geb-bug-gnu-emacs@m.gmane-mx.org; Sun, 21 May 2023 05:59:21 +0200 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1q0aDn-00020S-R2; Sat, 20 May 2023 23:59:03 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1q0aDm-00020G-AJ for bug-gnu-emacs@gnu.org; Sat, 20 May 2023 23:59:02 -0400 Original-Received: from debbugs.gnu.org ([209.51.188.43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1q0aDl-0001kv-Vi for bug-gnu-emacs@gnu.org; Sat, 20 May 2023 23:59:02 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1q0aDl-0002lw-R4 for bug-gnu-emacs@gnu.org; Sat, 20 May 2023 23:59:01 -0400 X-Loop: help-debbugs@gnu.org Resent-From: Michael Heerdegen Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Sun, 21 May 2023 03:59:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 61730 X-GNU-PR-Package: emacs Original-Received: via spool by 61730-submit@debbugs.gnu.org id=B61730.168464148310580 (code B ref 61730); Sun, 21 May 2023 03:59:01 +0000 Original-Received: (at 61730) by debbugs.gnu.org; 21 May 2023 03:58:03 +0000 Original-Received: from localhost ([127.0.0.1]:59796 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1q0aCp-0002ka-7Y for submit@debbugs.gnu.org; Sat, 20 May 2023 23:58:03 -0400 Original-Received: from mout.web.de ([212.227.15.3]:33487) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1q0aCk-0002jy-J5 for 61730@debbugs.gnu.org; Sat, 20 May 2023 23:58:02 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=web.de; s=s29768273; t=1684641469; i=michael_heerdegen@web.de; bh=9rkwE9rtWr7u7o2NFTjh7L9//IyAOcFoqTfUfKGQR2U=; h=X-UI-Sender-Class:From:To:Cc:Subject:In-Reply-To:References:Date; b=V+pFBwOgW4In+cUYgbJhutoXAwl2MzH6yerIWqnVdPyO4hzL4TQ8JMQ4lXplMX0Ys LWwymIMtw5FwLNMz9APOuUKE1/RWlfPRDjwp0aPHbdYK5XKZU6+Ohlx9hu1MQPi+PY 9N0pCQ0y2S+H8KWjcBDH0A2Cd1d9CZ+HZHSxCilsQM8tE5CF3Wmqz+Astpd0vkQUwS EVcphnQaTymosER0wZh3TxH5lJX1katxgmzTmnETfH4VsTjnfTgpOyQsuBjRQHlfS6 KXNLqT7ta2bEpsodWreqUgO/EWyeHg1YPqkNMo/8cyvzxQ9x1o2F1oXJWCPGhyH82f 5dww6P7xHQCIg== X-UI-Sender-Class: 814a7b36-bfc1-4dae-8640-3722d8ec6cd6 Original-Received: from drachen.dragon ([178.14.74.62]) by smtp.web.de (mrweb005 [213.165.67.108]) with ESMTPSA (Nemesis) id 1MT7aV-1pZSxW0L0R-00UbAJ; Sun, 21 May 2023 05:57:49 +0200 In-Reply-To: (Ruijie Yu's message of "Sun, 21 May 2023 11:01:43 +0800") X-Provags-ID: V03:K1:jmfSPVcWSnHo3glACIaCclyPG9a9OqWLAfXSZgPJkSpR5m4Ot9x KSXtAGe9jg8iSjBC7YvXMs2qJ/xgVZ97qUudHy9iSHIdJIZzVOXeSy4373dnfyKxL8d4EVi ywepgnovQKX9+awrznV1FReYtLlFCGKuO1yv+kJ6mATFAeM/4Pvq/t/6ulMFJOKewTos4Nc AM/GbvL4VY/wgSDBv6W5w== UI-OutboundReport: notjunk:1;M01:P0:2qItP3Y9fqo=;MpiD1Zjlt9m3PeqZ0XwtpPBs/St N0jzVCKQ/HnMbiQcJ3hUjgfDSmRZK/5u23EhaflUxYU2y3LOJ99GDuQrvu2dRbek5gTCBiRuP hYskFK1m2kqXl4hmPkBpHv7YcYxJVO7qXc9uouJNjnbVUnEe4Iyd34GcWxm60A+sZ+kDGjxUf WJ7fjSjAq5qc3efV5RN/EHUDG+MwYHdtZM5QFRaYUFkpQo3X3RUkGNWItezzjGfXZHlhCKB6F 3KCbIJZipkpTlkTHIvxTBJ6egj41eiYVKRNYZm/Zx+Jb2LoyyV9rUZafwjfXpN/In72rtueIu yUgRxrZWNAnkDQJfu6FFpSzfXmjeq41kYovR4FFvdE71sa93quNcZEO2tRf3ryg5UpCDDptDQ WmVm+4uRU0Ci6L0ya5huqr8H9SOKSjE5Nl0tlpqzVGDw2OXYKFUPO2Jf71NeQ4wZWGYGd2Thf 8hqS9gbUtVxVTugLyH89biPXNOvcJnL4Jof89L14HDIuqKkmwB1aQQkbCzS7bMcyGR1Ty6R+O n8PXC+bssV6rClm6/creYBOuG3CWA5Uf9iHs0S9rLXJsGEbSsWXa6vkyw5WlNHfh0pbJMvplV soxckcw+1XAtCQfYRv/Pr1mYhUB4K6NsePBSr7m9uMXNsct10esN2FXtoUgE+v4xzwjCocnm5 6l+NlGnAgSJcFD/thku3QSHosKylE9KyO/qfdYV1L7Gk7URCj0Hu3xZKsBCRTIWGzWTNx1zRi QCSZJXrrUmv0KrV8ythDckrXHjkA7aj9+sOpr0q8mPEfO7E5N/XDt/PHsscIg92+zqJqkOK5 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: bug-gnu-emacs@gnu.org List-Id: "Bug reports for GNU Emacs, the Swiss army knife of text editors" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Original-Sender: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Xref: news.gmane.io gmane.emacs.bugs:262078 Archived-At: Ruijie Yu writes: > Maybe we can take inspirations from other langagues? In rust we have > the `#[must_use]' attribute [1], and in C++17 and C23 we have the > `[[nodiscard]]' attribute [2] [3]. These are not bad. I like "nodiscard". > Also, is there any definitive relation between this > 'important-return-value property and the existing "pure" function > declaration? Like the `(declare (pure t))' thing in the front of a > defun. Interesting question. Does 'pure' (or 'side-effect-free') imply 'important-return-value'? Michael.