From unknown Tue Jun 17 22:23:40 2025 X-Loop: help-debbugs@gnu.org Subject: bug#69953: [PATCH] Remove duplicated asserts and checks Resent-From: Sergey Vinokurov Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Sat, 23 Mar 2024 03:29:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 69953 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: patch To: 69953@debbugs.gnu.org X-Debbugs-Original-To: bug-gnu-emacs@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.171116450131544 (code B ref -1); Sat, 23 Mar 2024 03:29:02 +0000 Received: (at submit) by debbugs.gnu.org; 23 Mar 2024 03:28:21 +0000 Received: from localhost ([127.0.0.1]:45887 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rns3Q-0008Ch-Q0 for submit@debbugs.gnu.org; Fri, 22 Mar 2024 23:28:21 -0400 Received: from lists.gnu.org ([209.51.188.17]:37626) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rns3O-0008CX-Vg for submit@debbugs.gnu.org; Fri, 22 Mar 2024 23:28:19 -0400 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 1rns2j-0001rC-Oj for bug-gnu-emacs@gnu.org; Fri, 22 Mar 2024 23:27:37 -0400 Received: from mail-wr1-x431.google.com ([2a00:1450:4864:20::431]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1rns2i-00021x-5O for bug-gnu-emacs@gnu.org; Fri, 22 Mar 2024 23:27:37 -0400 Received: by mail-wr1-x431.google.com with SMTP id ffacd0b85a97d-33fd8a2a407so1565209f8f.2 for ; Fri, 22 Mar 2024 20:27:35 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1711164454; x=1711769254; darn=gnu.org; h=subject:from:to:content-language:user-agent:mime-version:date :message-id:from:to:cc:subject:date:message-id:reply-to; bh=RRpplaKJiHZaRqnMiKxT/Lepz1ELsiSittC3n6aRun8=; b=gv2rEV5U5eqgwY1DPxLUUtxKOtzyJxqWEaulNfvXeLFnYy0yo2lK7A7fhKLsMgU0Ps BC+htqgyRs7vf2CtJx2oebGYKytuW5VYDCbBuxNhHyy2i+HWmj25kA6zL41SJDO/28kr UWisWgEiD5WY9VZ5u2eYQan6T6KzVZqF8YA3Ec5uskLbFU6Ebjt4Og3BOgfYK7dVxlzX 7MWnH8b6FGryrR4CItc090Y6BDHdbPgzqKCUjYa4WGyHSGxe3rrn3/KcWmtPlXS9Kcmr 0CkwMHfaR6fukIcc0DrYsvlJuny9qZLlDh0BD7opQceIZTo9R0r8Jfk2DAce/edJUBKc hvRw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1711164454; x=1711769254; h=subject:from:to:content-language:user-agent:mime-version:date :message-id:x-gm-message-state:from:to:cc:subject:date:message-id :reply-to; bh=RRpplaKJiHZaRqnMiKxT/Lepz1ELsiSittC3n6aRun8=; b=Na3CbWGAmRn/3URpnf0CwXXAyIFIMwvuSJgGoQd5h4iB2HSNzNUSA+z7mmcbrfCUn1 YlTnCTmQz3T0bQIKOQm4c03y6b3ntEr6YGwMp19My4TAYMXOvS2fzphawkRhr5rXOLMn Qf+JtEyTvr+8q20ptK/+8UjB8rMpBi8Lg7Iq9X7h4uPAOC3b8IkI5wNnwe4uWJot4vw3 uWHbyQZKeUDLOs1c7C5wToJPKzyyQveXNOuN+/8+Lrrfx2IrNRvxUl2IhrkC2R6zone0 G0mdW6pZwa93nDGo+YBkNUK8uQqPiFcaJvQBCN5r/ez8JWvLLqqGaZ/n9mtrEP0bGTCI GZAA== X-Gm-Message-State: AOJu0YyGGJhAmzrUXGUM7HGQlBFkrnQ5Kg8tu88MeHRRy3kcEyPdctpH tLMWG4olLcksIUnvguslPSC5YDR5jCurzLu7ULQmljOitZ0BZUHeNsDse7D5s0Bljg== X-Google-Smtp-Source: AGHT+IH9+o39sG/DgXf0V/9QwLKyyE0JJUVDBAwxdOj19mUlwaLxMXSaPn4S+1fGCYkc1PNxPpTOwQ== X-Received: by 2002:a5d:6884:0:b0:341:ba31:b8ba with SMTP id h4-20020a5d6884000000b00341ba31b8bamr652786wru.57.1711164454412; Fri, 22 Mar 2024 20:27:34 -0700 (PDT) Received: from [192.168.1.107] ([152.37.81.238]) by smtp.gmail.com with ESMTPSA id o3-20020a5d62c3000000b0033ec94c6277sm3395042wrv.115.2024.03.22.20.27.34 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Fri, 22 Mar 2024 20:27:34 -0700 (PDT) Content-Type: multipart/mixed; boundary="------------FC1YIPa7vzN0xtAIFs4GoH4r" Message-ID: <9378099f-76e1-45b4-8e4d-0f077cb28307@gmail.com> Date: Sat, 23 Mar 2024 03:27:34 +0000 MIME-Version: 1.0 User-Agent: Mozilla Thunderbird Content-Language: en-GB From: Sergey Vinokurov Received-SPF: pass client-ip=2a00:1450:4864:20::431; envelope-from=serg.foo@gmail.com; helo=mail-wr1-x431.google.com X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 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, FREEMAIL_FROM=0.001, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: -1.3 (-) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -2.3 (--) This is a multi-part message in MIME format. --------------FC1YIPa7vzN0xtAIFs4GoH4r Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Hello, I noticed that emacs-module.c contains duplicate module_non_local_exit_check() checks and module_assert_thread/module_assert_env asserts, mostly performed at the same point in program sequentially. The module_non_local_exit_check() checks happen in MODULE_HANDLE_NONLOCAL_EXIT and MODULE_FUNCTION_BEGIN_NO_CATCH macros. The MODULE_HANDLE_NONLOCAL_EXIT is never used by itself, only as part of MODULE_FUNCTION_BEGIN which starts with MODULE_FUNCTION_BEGIN_NO_CATCH that performs the check. In addition, there're 6 "Implementation of runtime and environment functions" rules outlined where MODULE_HANDLE_NONLOCAL_EXIT should be called at step 4 but module_non_local_exit_check() is supposed to have already happened at step 3 so documentation does not seem to intend for the check to be repeated in MODULE_HANDLE_NONLOCAL_EXIT. Regarding asserts my observation is that module_non_local_exit_check() already contains module_assert_thread and module_assert_env so there's no need to do asserts if first thing we do is call module_non_local_exit_check. Regards, Sergey --------------FC1YIPa7vzN0xtAIFs4GoH4r Content-Type: text/x-patch; charset=UTF-8; name="0001-Remove-duplicated-asserts-and-checks.patch" Content-Disposition: attachment; filename="0001-Remove-duplicated-asserts-and-checks.patch" Content-Transfer-Encoding: base64 RnJvbSA4Yzg1MTZlZTQ4Njk2OTBkMGQ5NDE4YjI2ZDRmYWU5MDUyMGM5ODYwIE1vbiBTZXAg MTcgMDA6MDA6MDAgMjAwMQpGcm9tOiBTZXJnZXkgVmlub2t1cm92IDxzZXJnLmZvb0BnbWFp bC5jb20+CkRhdGU6IFNhdCwgMjMgTWFyIDIwMjQgMDI6MTU6MDYgKzAwMDAKU3ViamVjdDog W1BBVENIXSBSZW1vdmUgZHVwbGljYXRlZCBhc3NlcnRzIGFuZCBjaGVja3MKCiogc3JjL2Vt YWNzLW1vZHVsZS5jIChNT0RVTEVfSEFORExFX05PTkxPQ0FMX0VYSVQpOiBSZW1vdmUgcmVk dW5kYW50IGNoZWNrCiogc3JjL2VtYWNzLW1vZHVsZS5jIChNT0RVTEVfRlVOQ1RJT05fQkVH SU5fTk9fQ0FUQ0gpOiBSZW1vdmUgcmVkdW5kYW50IGFzc2VydAoqIHNyYy9lbWFjcy1tb2R1 bGUuYyAobW9kdWxlX25vbl9sb2NhbF9leGl0X3NpZ25hbCk6IFJlbW92ZSByZWR1bmRhbnQg YXNzZXJ0Ciogc3JjL2VtYWNzLW1vZHVsZS5jIChtb2R1bGVfbm9uX2xvY2FsX2V4aXRfdGhy b3cpOiBSZW1vdmUgcmVkdW5kYW50IGFzc2VydAotLS0KIHNyYy9lbWFjcy1tb2R1bGUuYyB8 IDggLS0tLS0tLS0KIDEgZmlsZSBjaGFuZ2VkLCA4IGRlbGV0aW9ucygtKQoKZGlmZiAtLWdp dCBhL3NyYy9lbWFjcy1tb2R1bGUuYyBiL3NyYy9lbWFjcy1tb2R1bGUuYwppbmRleCAwOGRi MzliMGIwZC4uZmJlZWIxNDZhNjggMTAwNjQ0Ci0tLSBhL3NyYy9lbWFjcy1tb2R1bGUuYwor KysgYi9zcmMvZW1hY3MtbW9kdWxlLmMKQEAgLTI2NCw4ICsyNjQsNiBAQCBtb2R1bGVfZGVj b2RlX3V0Zl84IChjb25zdCBjaGFyICpzdHIsIHB0cmRpZmZfdCBsZW4pCiAvKiBUT0RPOiBN YWtlIGJhY2t0cmFjZXMgd29yayBpZiB0aGlzIG1hY3JvIGlzIHVzZWQuICAqLwogCiAjZGVm aW5lIE1PRFVMRV9IQU5ETEVfTk9OTE9DQUxfRVhJVChyZXR2YWwpICAgICAgICAgICAgICAg ICAgICAgICAgICAgICBcCi0gIGlmIChtb2R1bGVfbm9uX2xvY2FsX2V4aXRfY2hlY2sgKGVu dikgIT0gZW1hY3NfZnVuY2FsbF9leGl0X3JldHVybikJXAotICAgIHJldHVybiByZXR2YWw7 CQkJCQkJCVwKICAgc3RydWN0IGhhbmRsZXIgKmludGVybmFsX2hhbmRsZXIgPSAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgIFwKICAgICBwdXNoX2hhbmRsZXJfbm9zaWdu YWwgKFF0LCBDQVRDSEVSX0FMTCk7ICAgICAgICAgICAgICAgICAgICAgICAgICAgIFwKICAg aWYgKCFpbnRlcm5hbF9oYW5kbGVyKSAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgIFwKQEAgLTMzMiw4ICszMzAsNiBAQCAjZGVmaW5lIE1PRFVMRV9J TlRFUk5BTF9DTEVBTlVQKCkJCVwKIAogI2RlZmluZSBNT0RVTEVfRlVOQ1RJT05fQkVHSU5f Tk9fQ0FUQ0goZXJyb3JfcmV0dmFsKSAgICAgICAgICAgICAgICAgICAgXAogICBkbyB7ICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgXAotICAgIG1vZHVsZV9hc3NlcnRfdGhyZWFkICgpOyAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgXAotICAgIG1vZHVsZV9hc3NlcnRfZW52 IChlbnYpOyAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgXAog ICAgIGlmIChtb2R1bGVfbm9uX2xvY2FsX2V4aXRfY2hlY2sgKGVudikgIT0gZW1hY3NfZnVu Y2FsbF9leGl0X3JldHVybikgXAogICAgICAgcmV0dXJuIGVycm9yX3JldHZhbDsgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgXAogICB9IHdoaWxlIChm YWxzZSkKQEAgLTUyMyw4ICs1MTksNiBAQCBtb2R1bGVfbm9uX2xvY2FsX2V4aXRfZ2V0IChl bWFjc19lbnYgKmVudiwKIG1vZHVsZV9ub25fbG9jYWxfZXhpdF9zaWduYWwgKGVtYWNzX2Vu diAqZW52LAogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgZW1hY3NfdmFsdWUgc3lt Ym9sLCBlbWFjc192YWx1ZSBkYXRhKQogewotICBtb2R1bGVfYXNzZXJ0X3RocmVhZCAoKTsK LSAgbW9kdWxlX2Fzc2VydF9lbnYgKGVudik7CiAgIGlmIChtb2R1bGVfbm9uX2xvY2FsX2V4 aXRfY2hlY2sgKGVudikgPT0gZW1hY3NfZnVuY2FsbF9leGl0X3JldHVybikKICAgICBtb2R1 bGVfbm9uX2xvY2FsX2V4aXRfc2lnbmFsXzEgKGVudiwgdmFsdWVfdG9fbGlzcCAoc3ltYm9s KSwKIAkJCQkgICAgdmFsdWVfdG9fbGlzcCAoZGF0YSkpOwpAQCAtNTMzLDggKzUyNyw2IEBA IG1vZHVsZV9ub25fbG9jYWxfZXhpdF9zaWduYWwgKGVtYWNzX2VudiAqZW52LAogc3RhdGlj IHZvaWQKIG1vZHVsZV9ub25fbG9jYWxfZXhpdF90aHJvdyAoZW1hY3NfZW52ICplbnYsIGVt YWNzX3ZhbHVlIHRhZywgZW1hY3NfdmFsdWUgdmFsdWUpCiB7Ci0gIG1vZHVsZV9hc3NlcnRf dGhyZWFkICgpOwotICBtb2R1bGVfYXNzZXJ0X2VudiAoZW52KTsKICAgaWYgKG1vZHVsZV9u b25fbG9jYWxfZXhpdF9jaGVjayAoZW52KSA9PSBlbWFjc19mdW5jYWxsX2V4aXRfcmV0dXJu KQogICAgIG1vZHVsZV9ub25fbG9jYWxfZXhpdF90aHJvd18xIChlbnYsIHZhbHVlX3RvX2xp c3AgKHRhZyksCiAJCQkJICAgdmFsdWVfdG9fbGlzcCAodmFsdWUpKTsKLS0gCjIuNDMuMQoK --------------FC1YIPa7vzN0xtAIFs4GoH4r-- From unknown Tue Jun 17 22:23:40 2025 X-Loop: help-debbugs@gnu.org Subject: bug#69953: [PATCH] Remove duplicated asserts and checks Resent-From: Eli Zaretskii Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Sat, 23 Mar 2024 07:16:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 69953 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: patch To: Sergey Vinokurov Cc: Philipp Stephani , 69953@debbugs.gnu.org, Daniel Colascione Received: via spool by 69953-submit@debbugs.gnu.org id=B69953.17111781567770 (code B ref 69953); Sat, 23 Mar 2024 07:16:02 +0000 Received: (at 69953) by debbugs.gnu.org; 23 Mar 2024 07:15:56 +0000 Received: from localhost ([127.0.0.1]:59388 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rnvbg-00021E-BC for submit@debbugs.gnu.org; Sat, 23 Mar 2024 03:15:56 -0400 Received: from eggs.gnu.org ([209.51.188.92]:46772) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rnvbd-00020s-Ih for 69953@debbugs.gnu.org; Sat, 23 Mar 2024 03:15:55 -0400 Received: from fencepost.gnu.org ([2001:470:142:3::e]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1rnvas-0000t4-D9; Sat, 23 Mar 2024 03:15:06 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnu.org; s=fencepost-gnu-org; h=References:Subject:In-Reply-To:To:From:Date: mime-version; bh=8kW4VeSIzFPtBux64Gcva3sc1ExNKktbK3v+BD5mS5k=; b=kdY0L/sBwjvp uPkiogCYyP5Vr4MTIYFc7cEFLzkayRgB/MUyRsaRYuNI+KoQHYZZptaPPTKIClEFuU5zWh3vBSKMG WlEKtV+njLeXJJMHp41UOyHQSHOc1lEjaDONTXE03sKy+DSvqjqd+NVo97Udqwm91IZUzDU352DuY +ie2R2F3tNofRz86Aa6HSRUTeGR93gMAbdUKXiRZHp8Jmz+/OPYL9xkWYYHFisJNoKMt6O4jLvGD7 XrmRjHMtyV1ZZrW7ePSczOTIAbhGV6M6BevY4eR002tjhLActWp26cqLo7VdGAtHrmo6muJ0WJSD7 kQmczllEPEvqxDtLrLiElw==; Date: Sat, 23 Mar 2024 09:15:04 +0200 Message-Id: <86o7b5zafb.fsf@gnu.org> From: Eli Zaretskii In-Reply-To: <9378099f-76e1-45b4-8e4d-0f077cb28307@gmail.com> (message from Sergey Vinokurov on Sat, 23 Mar 2024 03:27:34 +0000) References: <9378099f-76e1-45b4-8e4d-0f077cb28307@gmail.com> X-Spam-Score: -2.3 (--) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) > Date: Sat, 23 Mar 2024 03:27:34 +0000 > From: Sergey Vinokurov > > I noticed that emacs-module.c contains duplicate > module_non_local_exit_check() checks and > module_assert_thread/module_assert_env asserts, mostly performed at the > same point in program sequentially. > > The module_non_local_exit_check() checks happen in > MODULE_HANDLE_NONLOCAL_EXIT and MODULE_FUNCTION_BEGIN_NO_CATCH macros. > The MODULE_HANDLE_NONLOCAL_EXIT is never used by itself, only as part of > MODULE_FUNCTION_BEGIN which starts with MODULE_FUNCTION_BEGIN_NO_CATCH > that performs the check. > > In addition, there're 6 "Implementation of runtime and environment > functions" rules outlined where MODULE_HANDLE_NONLOCAL_EXIT should be > called at step 4 but module_non_local_exit_check() is supposed to have > already happened at step 3 so documentation does not seem to intend for > the check to be repeated in MODULE_HANDLE_NONLOCAL_EXIT. > > Regarding asserts my observation is that module_non_local_exit_check() > already contains module_assert_thread and module_assert_env so there's > no need to do asserts if first thing we do is call > module_non_local_exit_check. Thanks, but why is that a problem? module_assertions is false by default, and the function to turn on module assertions is not even documented in the ELisp manual. IOW, this is a debugging aid which will rarely if at all activated, and if it is, that's on purpose by the programmer who is investigating some tricky problem. Why is it a problem to have too many assertions, which might help that programmer find a bug? I added Daniel and Philipp to the discussion, in case they have comments to this proposal. From unknown Tue Jun 17 22:23:40 2025 X-Loop: help-debbugs@gnu.org Subject: bug#69953: [PATCH] Remove duplicated asserts and checks Resent-From: Sergey Vinokurov Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Sat, 23 Mar 2024 12:41:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 69953 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: patch To: Eli Zaretskii Cc: Philipp Stephani , 69953@debbugs.gnu.org, Daniel Colascione Received: via spool by 69953-submit@debbugs.gnu.org id=B69953.171119762812732 (code B ref 69953); Sat, 23 Mar 2024 12:41:01 +0000 Received: (at 69953) by debbugs.gnu.org; 23 Mar 2024 12:40:28 +0000 Received: from localhost ([127.0.0.1]:52375 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ro0fj-0003JI-VM for submit@debbugs.gnu.org; Sat, 23 Mar 2024 08:40:28 -0400 Received: from mail-lj1-f180.google.com ([209.85.208.180]:44236) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ro0fi-0003It-7A for 69953@debbugs.gnu.org; Sat, 23 Mar 2024 08:40:27 -0400 Received: by mail-lj1-f180.google.com with SMTP id 38308e7fff4ca-2d24a727f78so34951231fa.0 for <69953@debbugs.gnu.org>; Sat, 23 Mar 2024 05:39:44 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1711197519; x=1711802319; darn=debbugs.gnu.org; h=content-transfer-encoding:in-reply-to:from:references:cc:to :content-language:subject:user-agent:mime-version:date:message-id :from:to:cc:subject:date:message-id:reply-to; bh=cbb91R8u+ruVofUJTVOcBW8DUzD7f69oPwfqDXB9c3M=; b=EDqdC6YvDkQKLQzc54q35QBjKskb2REYVcuAdOqKa2sAfMrOmOcnjTnvqbOj60d2zC fpKlmEVLvkGeVppCls6gLIg+oMtMsPlsNgjfeNiH1H6S1uAa6H4y5qDFLz9ID0rT99ka XceR5HtyG6otvoBW/TcTxlc+p/HfjpWZvijRuu37QFHU23oF3s5pV6CTFhyDTb1v145e b/WXvCfCGmf1q96kTrxU6DVaeaP9BnWkE2tDxaUicx7Tdt8cVyskFsGGJLj0FhDTKCwp u0ZX1YisBIRiNtLq9QQBbioKbPAZx/c/XRL+gQlG/X2ME/xyweOiMZJYLyKWll+MJ/7L 25Eg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1711197519; x=1711802319; h=content-transfer-encoding:in-reply-to:from:references:cc:to :content-language:subject:user-agent:mime-version:date:message-id :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=cbb91R8u+ruVofUJTVOcBW8DUzD7f69oPwfqDXB9c3M=; b=udqrnC7I+7MmIbOH1lVnYYhh0s3sa5S6b61YZ4S95H5mjX7d3qI+FNgWO/aDiSYTHi 6HzivzQTre2mbEmFESSZTzQvroPKdmnhDmJSrjgBPVjZaB2wHBMajwP3TCJg99SY7w0F tgb64imcG2oD/xzg0gXTr14gHFhV5Gqz/TyqqvLXCs2KY9pvW/LmeZKAv0k8/yLHHRct yCs1Acf5MIkWo7vsvne85ps+cKw4xgtFG0h9luoj1scKP3NXVbJzb1DiZpHytgG+ycdC ACEFMKC2FT8m8y9gnv7NsgBrN3F2h35wgCOojqgfA4XlZaoLFLuxiP8EPyAlzz5JJbIi /R2A== X-Gm-Message-State: AOJu0Yw5IUChDe4Rawqi4oWCbZl/FGl19q49wuiHrqGpbg9IQVDk05yn CX0fbLx8MEoeVChqu74ywYGFd8JCdsPEGWqgu2Qow7ekkkZ1hjYj X-Google-Smtp-Source: AGHT+IH5kY4tqcu0Hk3xk7mGBFeYumCAL5ZSQs1w1UykTobKxUwoZQS4G0cTyhDd9gpUPOFV7G2P4w== X-Received: by 2002:a2e:9203:0:b0:2d4:6c1a:ee6f with SMTP id k3-20020a2e9203000000b002d46c1aee6fmr1429485ljg.35.1711197518668; Sat, 23 Mar 2024 05:38:38 -0700 (PDT) Received: from [192.168.1.107] ([152.37.81.238]) by smtp.gmail.com with ESMTPSA id z15-20020a05600c0a0f00b004146b00cd9csm2410715wmp.11.2024.03.23.05.38.38 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Sat, 23 Mar 2024 05:38:38 -0700 (PDT) Message-ID: Date: Sat, 23 Mar 2024 12:38:37 +0000 MIME-Version: 1.0 User-Agent: Mozilla Thunderbird Content-Language: en-GB References: <9378099f-76e1-45b4-8e4d-0f077cb28307@gmail.com> <86o7b5zafb.fsf@gnu.org> From: Sergey Vinokurov In-Reply-To: <86o7b5zafb.fsf@gnu.org> Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit X-Spam-Score: -0.0 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) The issue is that the same thing is being checked just after it was checked. The checks I propose to remove are not going to catch any new errors under any possible scenario. Even with module_assertions disabled, the assert functions are still called - a very minor annoyance. On 23/03/2024 07:15, Eli Zaretskii wrote: >> Date: Sat, 23 Mar 2024 03:27:34 +0000 >> From: Sergey Vinokurov >> >> I noticed that emacs-module.c contains duplicate >> module_non_local_exit_check() checks and >> module_assert_thread/module_assert_env asserts, mostly performed at the >> same point in program sequentially. >> >> The module_non_local_exit_check() checks happen in >> MODULE_HANDLE_NONLOCAL_EXIT and MODULE_FUNCTION_BEGIN_NO_CATCH macros. >> The MODULE_HANDLE_NONLOCAL_EXIT is never used by itself, only as part of >> MODULE_FUNCTION_BEGIN which starts with MODULE_FUNCTION_BEGIN_NO_CATCH >> that performs the check. >> >> In addition, there're 6 "Implementation of runtime and environment >> functions" rules outlined where MODULE_HANDLE_NONLOCAL_EXIT should be >> called at step 4 but module_non_local_exit_check() is supposed to have >> already happened at step 3 so documentation does not seem to intend for >> the check to be repeated in MODULE_HANDLE_NONLOCAL_EXIT. >> >> Regarding asserts my observation is that module_non_local_exit_check() >> already contains module_assert_thread and module_assert_env so there's >> no need to do asserts if first thing we do is call >> module_non_local_exit_check. > > Thanks, but why is that a problem? module_assertions is false by > default, and the function to turn on module assertions is not even > documented in the ELisp manual. IOW, this is a debugging aid which > will rarely if at all activated, and if it is, that's on purpose by > the programmer who is investigating some tricky problem. Why is it a > problem to have too many assertions, which might help that programmer > find a bug? > > I added Daniel and Philipp to the discussion, in case they have > comments to this proposal. From unknown Tue Jun 17 22:23:40 2025 X-Loop: help-debbugs@gnu.org Subject: bug#69953: [PATCH] Remove duplicated asserts and checks Resent-From: Eli Zaretskii Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Sat, 13 Apr 2024 07:44:06 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 69953 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: patch To: phst@google.com, dancol@dancol.org Cc: serg.foo@gmail.com, 69953@debbugs.gnu.org Received: via spool by 69953-submit@debbugs.gnu.org id=B69953.171299419517046 (code B ref 69953); Sat, 13 Apr 2024 07:44:06 +0000 Received: (at 69953) by debbugs.gnu.org; 13 Apr 2024 07:43:15 +0000 Received: from localhost ([127.0.0.1]:60010 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rvY2c-0004Qr-Hy for submit@debbugs.gnu.org; Sat, 13 Apr 2024 03:43:14 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:44586) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rvY2Z-0004P5-7K for 69953@debbugs.gnu.org; Sat, 13 Apr 2024 03:43:12 -0400 Received: from fencepost.gnu.org ([2001:470:142:3::e]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1rvY2H-0003FM-RN; Sat, 13 Apr 2024 03:42:55 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnu.org; s=fencepost-gnu-org; h=References:Subject:In-Reply-To:To:From:Date: mime-version; bh=CIr7I5iatQH04uOfHowH1dXU9RT+4WQ4UgfeTuBai44=; b=BGGiAUVN5oQE zgpGo1jbsQHX0XA4GgBxliHbkdy1wd5JL3cjYuTKCofxPoXaC6SMF5XQQC5nbmnwAZRb3ugbgnZrf RAlRhzcfBrL4MBpAEIhwylK1BItFuGa8F8ONkfDJ5rq/2cv27CFj4FFLOoL2JhxVZaD1kgT9ZXI6u vd3M66r3kIn/FmiMDF1zUTqT6G5ACLDzkPcwdOq4jkMp183YM2t+pxiuI0TaH9qIWc51lsqvifkdY 4ApzJy05yNRcTgZzD6hIqN072Hvur4uj3sobd/XQ3GxEy+HuAap+8U4scB92e/P/Rv0cU4hO2eWQz KaDLbPBFTUCT6m1ZAlB3Kw==; Date: Sat, 13 Apr 2024 10:42:50 +0300 Message-Id: <86jzl1r9mt.fsf@gnu.org> From: Eli Zaretskii In-Reply-To: <86o7b5zafb.fsf@gnu.org> (message from Eli Zaretskii on Sat, 23 Mar 2024 09:15:04 +0200) References: <9378099f-76e1-45b4-8e4d-0f077cb28307@gmail.com> <86o7b5zafb.fsf@gnu.org> X-Spam-Score: -2.3 (--) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) Ping! Philipp and Daniel, do you have any comments on this? > Cc: Philipp Stephani , 69953@debbugs.gnu.org, > Daniel Colascione > Date: Sat, 23 Mar 2024 09:15:04 +0200 > From: Eli Zaretskii > > > Date: Sat, 23 Mar 2024 03:27:34 +0000 > > From: Sergey Vinokurov > > > > I noticed that emacs-module.c contains duplicate > > module_non_local_exit_check() checks and > > module_assert_thread/module_assert_env asserts, mostly performed at the > > same point in program sequentially. > > > > The module_non_local_exit_check() checks happen in > > MODULE_HANDLE_NONLOCAL_EXIT and MODULE_FUNCTION_BEGIN_NO_CATCH macros. > > The MODULE_HANDLE_NONLOCAL_EXIT is never used by itself, only as part of > > MODULE_FUNCTION_BEGIN which starts with MODULE_FUNCTION_BEGIN_NO_CATCH > > that performs the check. > > > > In addition, there're 6 "Implementation of runtime and environment > > functions" rules outlined where MODULE_HANDLE_NONLOCAL_EXIT should be > > called at step 4 but module_non_local_exit_check() is supposed to have > > already happened at step 3 so documentation does not seem to intend for > > the check to be repeated in MODULE_HANDLE_NONLOCAL_EXIT. > > > > Regarding asserts my observation is that module_non_local_exit_check() > > already contains module_assert_thread and module_assert_env so there's > > no need to do asserts if first thing we do is call > > module_non_local_exit_check. > > Thanks, but why is that a problem? module_assertions is false by > default, and the function to turn on module assertions is not even > documented in the ELisp manual. IOW, this is a debugging aid which > will rarely if at all activated, and if it is, that's on purpose by > the programmer who is investigating some tricky problem. Why is it a > problem to have too many assertions, which might help that programmer > find a bug? > > I added Daniel and Philipp to the discussion, in case they have > comments to this proposal. > > > > From unknown Tue Jun 17 22:23:40 2025 X-Loop: help-debbugs@gnu.org Subject: bug#69953: [PATCH] Remove duplicated asserts and checks Resent-From: Eli Zaretskii Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Sat, 27 Apr 2024 08:29:04 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 69953 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: patch To: Philipp Stephani , dancol@dancol.org Cc: serg.foo@gmail.com, 69953@debbugs.gnu.org Received: via spool by 69953-submit@debbugs.gnu.org id=B69953.171420649526335 (code B ref 69953); Sat, 27 Apr 2024 08:29:04 +0000 Received: (at 69953) by debbugs.gnu.org; 27 Apr 2024 08:28:15 +0000 Received: from localhost ([127.0.0.1]:38877 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1s0dPq-0006qf-Of for submit@debbugs.gnu.org; Sat, 27 Apr 2024 04:28:15 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:56818) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1s0dPl-0006ot-7S for 69953@debbugs.gnu.org; Sat, 27 Apr 2024 04:28:12 -0400 Received: from fencepost.gnu.org ([2001:470:142:3::e]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1s0dPN-0001bv-36; Sat, 27 Apr 2024 04:27:45 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnu.org; s=fencepost-gnu-org; h=References:Subject:In-Reply-To:To:From:Date: mime-version; bh=/2QfUgfLc6Lb4Fk7xJvuXA8Zyymp41XkjAEWrcRi/S8=; b=N1RnDcwCfQQR leZvfLauGPXL8EP9nW3GFAVWVM9dv9nJnIH91PhseXKTori2ePkR7YASpONY5TBT9sCeoer+R1uGj jsYHMyfsaN+M92k7tSEQQO04Goa9RAKh4M+EuzjUdGAelGmYjP2MLPiwM8cAg4OmYciCJMtecTIAV O01LJwOG+FWy3LtZ2vAcKSMlFztBGP/x8ZZQFh2Gxtsu/Q9qhzxRfq73id9g3QJk9QIzfq+Kwcc0Y dld2wJtIXxe3kafhXOJTuIta2ep7yRDCplInC0Hip+9XPd6iUK2jt1epGw1qYwHS6hVOtq0KH9KVm PdoPxLgbKCxOyqRA8NjLSw==; Date: Sat, 27 Apr 2024 11:27:41 +0300 Message-Id: <86r0erw6pu.fsf@gnu.org> From: Eli Zaretskii In-Reply-To: <86jzl1r9mt.fsf@gnu.org> (message from Eli Zaretskii on Sat, 13 Apr 2024 10:42:50 +0300) References: <9378099f-76e1-45b4-8e4d-0f077cb28307@gmail.com> <86o7b5zafb.fsf@gnu.org> <86jzl1r9mt.fsf@gnu.org> X-Spam-Score: -2.3 (--) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) Ping! Ping! Philipp and Daniel, any comments? > Cc: serg.foo@gmail.com, 69953@debbugs.gnu.org > Date: Sat, 13 Apr 2024 10:42:50 +0300 > From: Eli Zaretskii > > Ping! Philipp and Daniel, do you have any comments on this? > > > Cc: Philipp Stephani , 69953@debbugs.gnu.org, > > Daniel Colascione > > Date: Sat, 23 Mar 2024 09:15:04 +0200 > > From: Eli Zaretskii > > > > > Date: Sat, 23 Mar 2024 03:27:34 +0000 > > > From: Sergey Vinokurov > > > > > > I noticed that emacs-module.c contains duplicate > > > module_non_local_exit_check() checks and > > > module_assert_thread/module_assert_env asserts, mostly performed at the > > > same point in program sequentially. > > > > > > The module_non_local_exit_check() checks happen in > > > MODULE_HANDLE_NONLOCAL_EXIT and MODULE_FUNCTION_BEGIN_NO_CATCH macros. > > > The MODULE_HANDLE_NONLOCAL_EXIT is never used by itself, only as part of > > > MODULE_FUNCTION_BEGIN which starts with MODULE_FUNCTION_BEGIN_NO_CATCH > > > that performs the check. > > > > > > In addition, there're 6 "Implementation of runtime and environment > > > functions" rules outlined where MODULE_HANDLE_NONLOCAL_EXIT should be > > > called at step 4 but module_non_local_exit_check() is supposed to have > > > already happened at step 3 so documentation does not seem to intend for > > > the check to be repeated in MODULE_HANDLE_NONLOCAL_EXIT. > > > > > > Regarding asserts my observation is that module_non_local_exit_check() > > > already contains module_assert_thread and module_assert_env so there's > > > no need to do asserts if first thing we do is call > > > module_non_local_exit_check. > > > > Thanks, but why is that a problem? module_assertions is false by > > default, and the function to turn on module assertions is not even > > documented in the ELisp manual. IOW, this is a debugging aid which > > will rarely if at all activated, and if it is, that's on purpose by > > the programmer who is investigating some tricky problem. Why is it a > > problem to have too many assertions, which might help that programmer > > find a bug? > > > > I added Daniel and Philipp to the discussion, in case they have > > comments to this proposal. > > > > > > > > > > > > From unknown Tue Jun 17 22:23:40 2025 X-Loop: help-debbugs@gnu.org Subject: bug#69953: [PATCH] Remove duplicated asserts and checks Resent-From: Eli Zaretskii Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Thu, 09 May 2024 07:26:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 69953 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: patch To: p.stephani2@gmail.com, dancol@dancol.org, serg.foo@gmail.com Cc: 69953@debbugs.gnu.org Received: via spool by 69953-submit@debbugs.gnu.org id=B69953.171523953227512 (code B ref 69953); Thu, 09 May 2024 07:26:01 +0000 Received: (at 69953) by debbugs.gnu.org; 9 May 2024 07:25:32 +0000 Received: from localhost ([127.0.0.1]:53621 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1s4y9j-00079f-JR for submit@debbugs.gnu.org; Thu, 09 May 2024 03:25:31 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:59404) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1s4y9h-00079S-O6; Thu, 09 May 2024 03:25:30 -0400 Received: from fencepost.gnu.org ([2001:470:142:3::e]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1s4y9C-0007l5-1w; Thu, 09 May 2024 03:24:58 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnu.org; s=fencepost-gnu-org; h=References:Subject:In-Reply-To:To:From:Date: mime-version; bh=bzmSWtSgj9o1UKbzZFO8fPsr/wHQvVBHqAWoTorFR3c=; b=acq1I6N6ygBu wt4itwX7MsIrIm9A0eKbJRg/1rzA2LfvpoKWl6T3vfi2SkawHASVEiBAuMlaIqSo1Iq6TIW+rVCTW xr38KxS6E2G8RIMjc/T2ocALWeDSx6zakP9wGNtFJzBuqBUL8NInicCH6WN/8PVSOxq0G8czKa+dx lzGYyrF4jvA+KLDJpNxzAbf/AlM9NShrw9FwQm6Xij8Wtc7Yedi2GRuEcn3S95dd3kvofAc5LfoKR p1te2QM1cKJf5BOxKDSpNDRcideddiIxFg0R4J7KNvOVWlIVhHu7pnEMUeIUxljV0Tw6dXmC8duX3 d5SokoFR1F5micI5+Ro2pg==; Date: Thu, 09 May 2024 10:24:56 +0300 Message-Id: <86wmo378hj.fsf@gnu.org> From: Eli Zaretskii In-Reply-To: <86r0erw6pu.fsf@gnu.org> (message from Eli Zaretskii on Sat, 27 Apr 2024 11:27:41 +0300) References: <9378099f-76e1-45b4-8e4d-0f077cb28307@gmail.com> <86o7b5zafb.fsf@gnu.org> <86jzl1r9mt.fsf@gnu.org> <86r0erw6pu.fsf@gnu.org> X-Spam-Score: -2.1 (--) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.1 (---) tags 69953 wontfix close 69953 thanks > Cc: serg.foo@gmail.com, 69953@debbugs.gnu.org > Date: Sat, 27 Apr 2024 11:27:41 +0300 > From: Eli Zaretskii > > Ping! Ping! Philipp and Daniel, any comments? > > > Cc: serg.foo@gmail.com, 69953@debbugs.gnu.org > > Date: Sat, 13 Apr 2024 10:42:50 +0300 > > From: Eli Zaretskii > > > > Ping! Philipp and Daniel, do you have any comments on this? > > > > > Cc: Philipp Stephani , 69953@debbugs.gnu.org, > > > Daniel Colascione > > > Date: Sat, 23 Mar 2024 09:15:04 +0200 > > > From: Eli Zaretskii > > > > > > > Date: Sat, 23 Mar 2024 03:27:34 +0000 > > > > From: Sergey Vinokurov > > > > > > > > I noticed that emacs-module.c contains duplicate > > > > module_non_local_exit_check() checks and > > > > module_assert_thread/module_assert_env asserts, mostly performed at the > > > > same point in program sequentially. > > > > > > > > The module_non_local_exit_check() checks happen in > > > > MODULE_HANDLE_NONLOCAL_EXIT and MODULE_FUNCTION_BEGIN_NO_CATCH macros. > > > > The MODULE_HANDLE_NONLOCAL_EXIT is never used by itself, only as part of > > > > MODULE_FUNCTION_BEGIN which starts with MODULE_FUNCTION_BEGIN_NO_CATCH > > > > that performs the check. > > > > > > > > In addition, there're 6 "Implementation of runtime and environment > > > > functions" rules outlined where MODULE_HANDLE_NONLOCAL_EXIT should be > > > > called at step 4 but module_non_local_exit_check() is supposed to have > > > > already happened at step 3 so documentation does not seem to intend for > > > > the check to be repeated in MODULE_HANDLE_NONLOCAL_EXIT. > > > > > > > > Regarding asserts my observation is that module_non_local_exit_check() > > > > already contains module_assert_thread and module_assert_env so there's > > > > no need to do asserts if first thing we do is call > > > > module_non_local_exit_check. > > > > > > Thanks, but why is that a problem? module_assertions is false by > > > default, and the function to turn on module assertions is not even > > > documented in the ELisp manual. IOW, this is a debugging aid which > > > will rarely if at all activated, and if it is, that's on purpose by > > > the programmer who is investigating some tricky problem. Why is it a > > > problem to have too many assertions, which might help that programmer > > > find a bug? > > > > > > I added Daniel and Philipp to the discussion, in case they have > > > comments to this proposal. Given the lack of comments, I conclude that there's no interest in installing this, and I'm therefore closing this bug. From unknown Tue Jun 17 22:23:40 2025 X-Loop: help-debbugs@gnu.org Subject: bug#69953: [PATCH] Remove duplicated asserts and checks Resent-From: Sergey Vinokurov Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Thu, 09 May 2024 14:17:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 69953 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: patch wontfix To: Eli Zaretskii , p.stephani2@gmail.com, dancol@dancol.org Cc: 69953@debbugs.gnu.org Received: via spool by 69953-submit@debbugs.gnu.org id=B69953.171526420313062 (code B ref 69953); Thu, 09 May 2024 14:17:02 +0000 Received: (at 69953) by debbugs.gnu.org; 9 May 2024 14:16:43 +0000 Received: from localhost ([127.0.0.1]:55527 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1s54Zf-0003Oc-3N for submit@debbugs.gnu.org; Thu, 09 May 2024 10:16:43 -0400 Received: from mail-wr1-x429.google.com ([2a00:1450:4864:20::429]:58585) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1s54Za-0003OQ-Gh for 69953@debbugs.gnu.org; Thu, 09 May 2024 10:16:41 -0400 Received: by mail-wr1-x429.google.com with SMTP id ffacd0b85a97d-34d7d04808bso645093f8f.0 for <69953@debbugs.gnu.org>; Thu, 09 May 2024 07:16:12 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1715264166; x=1715868966; darn=debbugs.gnu.org; h=content-transfer-encoding:in-reply-to:from:references:cc:to :content-language:subject:user-agent:mime-version:date:message-id :from:to:cc:subject:date:message-id:reply-to; bh=owEJr2CjJj5XB0Uw47ZQhz4Q7PLCOYseckhnF/1gfhw=; b=NrH+unw5qG5JvKw337vytAlWFjQe83CAonYqsZ10o+kygl2Fu6NZ0uOrAP78oEetJ7 ES8gHbJ3pWKWVn9s9jEyejDR7E3X9LG68Lk+kRVJ4qfaeSXRs5TTSY3lKODgD6mpwBKA hE2/V2U4+VFIHgx9NToWJ6LFA8D7CY6uunnZdhnC1rKF+t554yFvYAwy0oTgA2mZNxn/ 6JFBphKUQ6w051qy2U40pbutHK1RaCDSyI2xvqPJp8RiyiWCNlygugApnM0506pqEKYY O7TPRbMyHHuNSXKrSyutlud/XMxIdE4nrlABEOm0fmuC1VvLMAYvd8njGfyRBHXQUBBL QzpA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1715264166; x=1715868966; h=content-transfer-encoding:in-reply-to:from:references:cc:to :content-language:subject:user-agent:mime-version:date:message-id :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=owEJr2CjJj5XB0Uw47ZQhz4Q7PLCOYseckhnF/1gfhw=; b=TBkfa9N0fHcw+8daBvxYytxz7otPZL6u1OT1+vIs7Sb59Z0IWWkKHbW15Z5T9IyLDi H2/DSd+Yu4BWOm1aJKW/NKzypAFOhcLengdR3Ddaw6aA5FCwIqmo6hEGv7ekboBr26mb mFHOqWxaQwCyYrxue4Dm6PwZs0hiTvGG0EiaHewIyY4k7ADXet7OSPUk4wbHNVaq6uG4 /R4ubXaVqdPGvOm/8M8qG995MhZhjaYjiZe1L8A+xZ3qLviJTKFvKWOwJEFewYKldKep A6dgNxgmOwt8J8BKiqupKI5AY8ISpRJbFXv6B25xKRj1u7R0hrce4GMcavDdv5+Bw7gW fPLw== X-Gm-Message-State: AOJu0YyP5NvW+KaUWv0ObnS+Mg+yaBzbbzyNeu/eX+v3gTdzmAXpBwB5 AvG0GXr7OmuFgWbrZd7x5xqrELtHQQMmSjrZIfyh+XDCrujJZzZ4 X-Google-Smtp-Source: AGHT+IGD5oMyhjyCIJJpYEv61vMTDqtVjJSp/968KsSE9Y7d7MwOvszjqDPbvRuFeS+gJmwq32huiw== X-Received: by 2002:a5d:68c8:0:b0:34a:d1d4:cb3c with SMTP id ffacd0b85a97d-34fca6233aamr5621504f8f.39.1715264166037; Thu, 09 May 2024 07:16:06 -0700 (PDT) Received: from [192.168.1.100] ([152.37.93.248]) by smtp.gmail.com with ESMTPSA id ffacd0b85a97d-3502baad0a0sm1846273f8f.74.2024.05.09.07.16.05 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Thu, 09 May 2024 07:16:05 -0700 (PDT) Message-ID: Date: Thu, 9 May 2024 15:16:05 +0100 MIME-Version: 1.0 User-Agent: Mozilla Thunderbird Content-Language: en-GB References: <9378099f-76e1-45b4-8e4d-0f077cb28307@gmail.com> <86o7b5zafb.fsf@gnu.org> <86jzl1r9mt.fsf@gnu.org> <86r0erw6pu.fsf@gnu.org> <86wmo378hj.fsf@gnu.org> From: Sergey Vinokurov In-Reply-To: <86wmo378hj.fsf@gnu.org> Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit X-Spam-Score: 0.2 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.8 (/) On 09/05/2024 08:24, Eli Zaretskii wrote: > tags 69953 wontfix > close 69953 > thanks > >> Cc: serg.foo@gmail.com, 69953@debbugs.gnu.org >> Date: Sat, 27 Apr 2024 11:27:41 +0300 >> From: Eli Zaretskii >> >> Ping! Ping! Philipp and Daniel, any comments? >> >>> Cc: serg.foo@gmail.com, 69953@debbugs.gnu.org >>> Date: Sat, 13 Apr 2024 10:42:50 +0300 >>> From: Eli Zaretskii >>> >>> Ping! Philipp and Daniel, do you have any comments on this? >>> >>>> Cc: Philipp Stephani , 69953@debbugs.gnu.org, >>>> Daniel Colascione >>>> Date: Sat, 23 Mar 2024 09:15:04 +0200 >>>> From: Eli Zaretskii >>>> >>>>> Date: Sat, 23 Mar 2024 03:27:34 +0000 >>>>> From: Sergey Vinokurov >>>>> >>>>> I noticed that emacs-module.c contains duplicate >>>>> module_non_local_exit_check() checks and >>>>> module_assert_thread/module_assert_env asserts, mostly performed at the >>>>> same point in program sequentially. >>>>> >>>>> The module_non_local_exit_check() checks happen in >>>>> MODULE_HANDLE_NONLOCAL_EXIT and MODULE_FUNCTION_BEGIN_NO_CATCH macros. >>>>> The MODULE_HANDLE_NONLOCAL_EXIT is never used by itself, only as part of >>>>> MODULE_FUNCTION_BEGIN which starts with MODULE_FUNCTION_BEGIN_NO_CATCH >>>>> that performs the check. >>>>> >>>>> In addition, there're 6 "Implementation of runtime and environment >>>>> functions" rules outlined where MODULE_HANDLE_NONLOCAL_EXIT should be >>>>> called at step 4 but module_non_local_exit_check() is supposed to have >>>>> already happened at step 3 so documentation does not seem to intend for >>>>> the check to be repeated in MODULE_HANDLE_NONLOCAL_EXIT. >>>>> >>>>> Regarding asserts my observation is that module_non_local_exit_check() >>>>> already contains module_assert_thread and module_assert_env so there's >>>>> no need to do asserts if first thing we do is call >>>>> module_non_local_exit_check. >>>> >>>> Thanks, but why is that a problem? module_assertions is false by >>>> default, and the function to turn on module assertions is not even >>>> documented in the ELisp manual. IOW, this is a debugging aid which >>>> will rarely if at all activated, and if it is, that's on purpose by >>>> the programmer who is investigating some tricky problem. Why is it a >>>> problem to have too many assertions, which might help that programmer >>>> find a bug? >>>> >>>> I added Daniel and Philipp to the discussion, in case they have >>>> comments to this proposal. > > Given the lack of comments, I conclude that there's no interest in > installing this, and I'm therefore closing this bug. I'm interested to get this installed - can I do anything to facilitate? From unknown Tue Jun 17 22:23:40 2025 X-Loop: help-debbugs@gnu.org Subject: bug#69953: [PATCH] Remove duplicated asserts and checks Resent-From: Eli Zaretskii Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Sat, 11 May 2024 10:03:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 69953 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: patch wontfix To: Sergey Vinokurov Cc: p.stephani2@gmail.com, dancol@dancol.org, 69953@debbugs.gnu.org Received: via spool by 69953-submit@debbugs.gnu.org id=B69953.17154217327139 (code B ref 69953); Sat, 11 May 2024 10:03:01 +0000 Received: (at 69953) by debbugs.gnu.org; 11 May 2024 10:02:12 +0000 Received: from localhost ([127.0.0.1]:47455 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1s5jYS-0001r5-JD for submit@debbugs.gnu.org; Sat, 11 May 2024 06:02:12 -0400 Received: from eggs.gnu.org ([209.51.188.92]:34682) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1s5jYR-0001qz-GB for 69953@debbugs.gnu.org; Sat, 11 May 2024 06:02:12 -0400 Received: from fencepost.gnu.org ([2001:470:142:3::e]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1s5jYM-0008S9-9G; Sat, 11 May 2024 06:02:06 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnu.org; s=fencepost-gnu-org; h=References:Subject:In-Reply-To:To:From:Date: mime-version; bh=46nb5OZf7a0QM33WP2ZTsTigtMvjytbDzvtKwOsOKvQ=; b=puK6yGngkDLJ W1Z7cNd4Ys8SO1RhFpMjK2E35FhVG2H6g0RazwOGGSd8SF98+EnFWna0XACSsQEkt1eiJkQ+Z9iGE 36deQEJQ5UqEXNF+BnvDoQx2fFOtOOCBT4fvR0abA+5Bbf9RZAk9eJQkV3KDwFIG7hI3hZebJ0mUx aaH9NicwhTsZInwDmm09bLYFVEJYj1hqoeSrmDBY93sglcI/f64ch315zhPXLXY/amrIkqVYfhAZb asNoAUdBgoM57YglVFxOaUIifkYffBEoTAbBiLDUxbyRsd13TYGVYLq8sr/5duMd+jYeRsgSzmiLg vxqhyE/uEa6CGyxdMCraKQ==; Date: Sat, 11 May 2024 13:02:01 +0300 Message-Id: <86a5kw3bvq.fsf@gnu.org> From: Eli Zaretskii In-Reply-To: (message from Sergey Vinokurov on Thu, 9 May 2024 15:16:05 +0100) References: <9378099f-76e1-45b4-8e4d-0f077cb28307@gmail.com> <86o7b5zafb.fsf@gnu.org> <86jzl1r9mt.fsf@gnu.org> <86r0erw6pu.fsf@gnu.org> <86wmo378hj.fsf@gnu.org> X-Spam-Score: -2.3 (--) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) > Date: Thu, 9 May 2024 15:16:05 +0100 > Cc: 69953@debbugs.gnu.org > From: Sergey Vinokurov > > >>>> I added Daniel and Philipp to the discussion, in case they have > >>>> comments to this proposal. > > > > Given the lack of comments, I conclude that there's no interest in > > installing this, and I'm therefore closing this bug. > > I'm interested to get this installed - can I do anything to facilitate? Given the lack of responses, I doubt that. From unknown Tue Jun 17 22:23:40 2025 X-Loop: help-debbugs@gnu.org Subject: bug#69953: [PATCH] Remove duplicated asserts and checks Resent-From: Sergey Vinokurov Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Sat, 11 May 2024 12:14:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 69953 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: patch wontfix To: Eli Zaretskii Cc: p.stephani2@gmail.com, dancol@dancol.org, 69953@debbugs.gnu.org Received: via spool by 69953-submit@debbugs.gnu.org id=B69953.171542962223353 (code B ref 69953); Sat, 11 May 2024 12:14:02 +0000 Received: (at 69953) by debbugs.gnu.org; 11 May 2024 12:13:42 +0000 Received: from localhost ([127.0.0.1]:48035 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1s5lbi-00064b-0J for submit@debbugs.gnu.org; Sat, 11 May 2024 08:13:42 -0400 Received: from mail-wm1-f54.google.com ([209.85.128.54]:54391) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1s5lbf-00064V-CB for 69953@debbugs.gnu.org; Sat, 11 May 2024 08:13:40 -0400 Received: by mail-wm1-f54.google.com with SMTP id 5b1f17b1804b1-42011507a4eso969975e9.0 for <69953@debbugs.gnu.org>; Sat, 11 May 2024 05:13:39 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1715429554; x=1716034354; darn=debbugs.gnu.org; h=content-transfer-encoding:in-reply-to:from:references:cc:to :content-language:subject:user-agent:mime-version:date:message-id :from:to:cc:subject:date:message-id:reply-to; bh=VA7Pyj/MpUWjbWOHh0GrPWOu1+I5M+l04KuDyFjhdGw=; b=Wedm4LEJnjRtBNAQpbxiuJWdm/iIAwAqDgX633sMTKPyxY7uJXFoWHqs4rwr8XeFiU GjzOA5yQxx6vV4q6YNdFH2tuUuA1HpSBsF0XToKyq2foNpKA8ErW7X+/laY2gLryhTmB ACxAuqNYFdI8cBZT9zM1LtR+z6hEyDZ1/AXNi0dfS6NkPmHcRpzq4FsRty7aXf3FqrFb 4tiWt2vbEPNQWnYTGxvyAXfAyuLBixEusdazkpQVXD24gBxJf/l7qaYkynxuyEW0VGS0 lmDYBJU1RePVC9TMlXy45iUTA+ueZCQmnlV9Yon4Q3lX5A6EAAn3myiA9gDn86LcRw+d xhAg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1715429554; x=1716034354; h=content-transfer-encoding:in-reply-to:from:references:cc:to :content-language:subject:user-agent:mime-version:date:message-id :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=VA7Pyj/MpUWjbWOHh0GrPWOu1+I5M+l04KuDyFjhdGw=; b=i4TQ2LltR9wtNdkIVK4vApmpkrfdywLBAyy4dnLaasugQWvH6ZKwfe4QZKao6gA+Tc 8WxjMJnw5M6NYzsieK/vRhWChJ94kmqCsaP/Z5NfBZEkC9At2w7/U42UB8Tb6jn7cNJu gcD/LYJcQtjpwAym5zQRgSVqENifQx5nY6G2cpyW695hsk05MgFQadGMWi74pXj8ugNy 5KUTdvP0Xo1Ylf9jggRg1JUmWaoHXd5HAsuzcBdK9eB2WhnMmxVZYbfZazEt96nPj51Y 9wOsneF0u3nv/NpZNO8r9lNeZGVOv+tIshE6PxhzfvzJzLHy1DUeXxf1nHGknn0PXebU 8OBw== X-Forwarded-Encrypted: i=1; AJvYcCUY5IVOYPveraOexpPL3RlAlkV6mPHkFHQC2hDdbMFzP2F+cCd+dYyG7lUhZ3VyQQNUUSXlYjY1HDYlPmacbSK6nf5zUtk= X-Gm-Message-State: AOJu0YzTBhQxahzCfKvcbhh2XT7ebNhQDsBs23ZxRUJXrlgXpiiEBk5O nLlb3tAowlv9T0p9Z8OwUPnnMQp2I8UDWcGtpbGYnpY2NDkkYls/ X-Google-Smtp-Source: AGHT+IFEddIP+zWTP/UYcEKtMmI+FQWSHjS+BcAjxJHeYJU8FRoPtBfgKNveUYJ9OHeMUcCttOzTXQ== X-Received: by 2002:a05:600c:5804:b0:41b:f022:8e69 with SMTP id 5b1f17b1804b1-41feab40972mr34741095e9.19.1715429554025; Sat, 11 May 2024 05:12:34 -0700 (PDT) Received: from [192.168.1.100] ([152.37.93.248]) by smtp.gmail.com with ESMTPSA id 5b1f17b1804b1-41fccce93aesm95726435e9.26.2024.05.11.05.12.33 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Sat, 11 May 2024 05:12:33 -0700 (PDT) Message-ID: <40cfb760-bf82-4a02-bca5-bec81a00e619@gmail.com> Date: Sat, 11 May 2024 13:12:33 +0100 MIME-Version: 1.0 User-Agent: Mozilla Thunderbird Content-Language: en-GB References: <9378099f-76e1-45b4-8e4d-0f077cb28307@gmail.com> <86o7b5zafb.fsf@gnu.org> <86jzl1r9mt.fsf@gnu.org> <86r0erw6pu.fsf@gnu.org> <86wmo378hj.fsf@gnu.org> <86a5kw3bvq.fsf@gnu.org> From: Sergey Vinokurov In-Reply-To: <86a5kw3bvq.fsf@gnu.org> Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit X-Spam-Score: 0.0 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) On 11/05/2024 11:02, Eli Zaretskii wrote: >> Date: Thu, 9 May 2024 15:16:05 +0100 >> Cc: 69953@debbugs.gnu.org >> From: Sergey Vinokurov >> >>>>>> I added Daniel and Philipp to the discussion, in case they have >>>>>> comments to this proposal. >>> >>> Given the lack of comments, I conclude that there's no interest in >>> installing this, and I'm therefore closing this bug. >> >> I'm interested to get this installed - can I do anything to facilitate? > > Given the lack of responses, I doubt that. Is there no way to reevaluate the patch from the start? It's fairly small, perhaps I did poor job explaining why it's good idea? From unknown Tue Jun 17 22:23:40 2025 X-Loop: help-debbugs@gnu.org Subject: bug#69953: [PATCH] Remove duplicated asserts and checks Resent-From: Eli Zaretskii Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Sat, 11 May 2024 12:21:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 69953 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: patch wontfix To: Sergey Vinokurov Cc: p.stephani2@gmail.com, dancol@dancol.org, 69953@debbugs.gnu.org Received: via spool by 69953-submit@debbugs.gnu.org id=B69953.171543005623605 (code B ref 69953); Sat, 11 May 2024 12:21:01 +0000 Received: (at 69953) by debbugs.gnu.org; 11 May 2024 12:20:56 +0000 Received: from localhost ([127.0.0.1]:48067 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1s5lih-00068f-Td for submit@debbugs.gnu.org; Sat, 11 May 2024 08:20:56 -0400 Received: from eggs.gnu.org ([209.51.188.92]:33768) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1s5lif-00068Z-Ol for 69953@debbugs.gnu.org; Sat, 11 May 2024 08:20:54 -0400 Received: from fencepost.gnu.org ([2001:470:142:3::e]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1s5lgS-0004yA-Gr; Sat, 11 May 2024 08:18:37 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnu.org; s=fencepost-gnu-org; h=References:Subject:In-Reply-To:To:From:Date: mime-version; bh=d+4o8o8+VCsPIXoPhgBxDzwXRLzQgV+v2M1AHllS1ro=; b=ARQqkQ+oFtwg hwjgRtzg7mZJNIuF8vSsfW0wqSENoIToPgFroT1aqWQAJ8oJPIvkmg+L1r3CMxzKBemuif5cDlM4E gFwKF2Dk23LprkF7iguklFr/ECuwl09kuQ+16iuySqxOmBL9udvmNVWtxeih8n5yOVweUinbfMcP6 E4tukvWu+FGtONiRXw6ON6nHA3QZENnfewxaf7C0ZU5ESdB46NwX4BXFVKe9PbaH9LJr/SSAEmes8 fugp3oWn3Tg5B+9z+7/eUiLPcdAJWeDaKBQsWVDVxx1rpzaqQmOFPdzLOWrpWAHGHG/kg0oCbKCF7 RGjlEpzKZazOHtta9Z9XOw==; Date: Sat, 11 May 2024 15:18:32 +0300 Message-Id: <86wmo01qzr.fsf@gnu.org> From: Eli Zaretskii In-Reply-To: <40cfb760-bf82-4a02-bca5-bec81a00e619@gmail.com> (message from Sergey Vinokurov on Sat, 11 May 2024 13:12:33 +0100) References: <9378099f-76e1-45b4-8e4d-0f077cb28307@gmail.com> <86o7b5zafb.fsf@gnu.org> <86jzl1r9mt.fsf@gnu.org> <86r0erw6pu.fsf@gnu.org> <86wmo378hj.fsf@gnu.org> <86a5kw3bvq.fsf@gnu.org> <40cfb760-bf82-4a02-bca5-bec81a00e619@gmail.com> X-Spam-Score: -2.1 (--) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.1 (---) > Date: Sat, 11 May 2024 13:12:33 +0100 > Cc: p.stephani2@gmail.com, dancol@dancol.org, 69953@debbugs.gnu.org > From: Sergey Vinokurov > > On 11/05/2024 11:02, Eli Zaretskii wrote: > >> Date: Thu, 9 May 2024 15:16:05 +0100 > >> Cc: 69953@debbugs.gnu.org > >> From: Sergey Vinokurov > >> > >>>>>> I added Daniel and Philipp to the discussion, in case they have > >>>>>> comments to this proposal. > >>> > >>> Given the lack of comments, I conclude that there's no interest in > >>> installing this, and I'm therefore closing this bug. > >> > >> I'm interested to get this installed - can I do anything to facilitate? > > > > Given the lack of responses, I doubt that. > > Is there no way to reevaluate the patch from the start? It's fairly > small, perhaps I did poor job explaining why it's good idea? AFAIU, the code isn't wrong, and doesn't cause any problems. You just think it's redundant. That's a judgment call, and without Daniel and Philipp, who worked on most of this case, assessing the proposal, I don't want to change code that worked well for us for several Emacs releases, just because it might be redundant. Why are you so eager to install these changes? From unknown Tue Jun 17 22:23:40 2025 X-Loop: help-debbugs@gnu.org Subject: bug#69953: [PATCH] Remove duplicated asserts and checks Resent-From: Sergey Vinokurov Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Sat, 11 May 2024 12:59:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 69953 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: patch wontfix To: Eli Zaretskii Cc: p.stephani2@gmail.com, dancol@dancol.org, 69953@debbugs.gnu.org Received: via spool by 69953-submit@debbugs.gnu.org id=B69953.171543232025174 (code B ref 69953); Sat, 11 May 2024 12:59:02 +0000 Received: (at 69953) by debbugs.gnu.org; 11 May 2024 12:58:40 +0000 Received: from localhost ([127.0.0.1]:48217 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1s5mJD-0006Xy-Gu for submit@debbugs.gnu.org; Sat, 11 May 2024 08:58:39 -0400 Received: from mail-wm1-f46.google.com ([209.85.128.46]:44217) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1s5mJB-0006Xm-Jc for 69953@debbugs.gnu.org; Sat, 11 May 2024 08:58:38 -0400 Received: by mail-wm1-f46.google.com with SMTP id 5b1f17b1804b1-41fd5dc0508so17269535e9.0 for <69953@debbugs.gnu.org>; Sat, 11 May 2024 05:58:38 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1715432252; x=1716037052; darn=debbugs.gnu.org; h=content-transfer-encoding:in-reply-to:from:references:cc:to :content-language:subject:user-agent:mime-version:date:message-id :from:to:cc:subject:date:message-id:reply-to; bh=H4hm7EH+fKrPK8bUiUvGt0i7gqq/cQemtj2OY/qrNqY=; b=VU0+LkV0HNBe9St+2Z9cXMAJs/CFHJqTRO71cS2twd3fVMXpw/eGWJN8b/Ct3A2WFV MCnc+SSYf3stWxx0tfBnDz3WoXkJMDnAoOrJVCev+EmHLn0g+/p7CUyG3lBv3MFQfnEB CDGpf3PB5x98npy7TnzzhMupKcPXjG5rBoZNR7Z5NSSDMteaYHKPkGu60r1b7DXS74LF 8NgCAHBS5jyS1Gnkt+PSNyksxeospsnLWRtBbjt9pwhFlmo54gvXgS4hxYEKiFt2Ec2+ F7zVyLxXuKhLwfiD3QkOVz1f2JFl69YRNaeHVHqOizPAmH1kgtJgUMHlogEOuG4qI7Vy gvYQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1715432252; x=1716037052; h=content-transfer-encoding:in-reply-to:from:references:cc:to :content-language:subject:user-agent:mime-version:date:message-id :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=H4hm7EH+fKrPK8bUiUvGt0i7gqq/cQemtj2OY/qrNqY=; b=br7dW0sKy035uaCZmbif1wO2BIugAONnGlflOFDxECT6ZBTEbRpiQu5XwELDJN9izP /uPYwJ8bGGDPxZ5uluZHJXBYaoZUAfhMEScU3idj50CChwuytQyU2hZEuJk/DPIsb0XN W1G0eJhrYIPsnTUcUQhbAdv4oVkNIYoGEA+2p5hz+tn6lbM7+WxfhwJ5a0ZGlpNh5DPB IFax/qO7wCHi94NcnY8wHtyMwKtO1bEnU1WdJJL9fiOYlbeMZOxJ6hph/OUg3wftr8zJ 6MtTdiMIcF5sML10qASvar5o0yF6FYj2XikTXdDixSS4lR+FM6afGtJBNnxqhAdKg86S CJLw== X-Forwarded-Encrypted: i=1; AJvYcCWsCV2pGddwKTHiLgZnlwKe4+ef7l/gKRaNNFOF8GMRA6REhSMQEtH3WHqLKDM9u/4qN87fnMNBqfkI1w8rkIYppwcLCy0= X-Gm-Message-State: AOJu0YyFSeL/AUOSPqgnlyqDatt6g/TBmOUFDb9UQKfhESsq8Eky+QfD gOIcQPrFiBrxSoK/VXwporMM4d1seOaJTqNFM5HA/Cogha/Z2P0T X-Google-Smtp-Source: AGHT+IHB/ocHkMTBRVEw8g8ShsUpMyoGPz3Zi/I2T91l577c29Mv5RQCtzPuictLde8JaCQ4AcG6fg== X-Received: by 2002:a05:600c:3b26:b0:41f:3ee0:a302 with SMTP id 5b1f17b1804b1-41feac55f70mr35445975e9.30.1715432252369; Sat, 11 May 2024 05:57:32 -0700 (PDT) Received: from [192.168.1.100] ([152.37.93.248]) by smtp.gmail.com with ESMTPSA id 5b1f17b1804b1-420111f2decsm12576785e9.22.2024.05.11.05.57.32 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Sat, 11 May 2024 05:57:32 -0700 (PDT) Message-ID: <744fc21b-8a32-4bdc-bd58-08e1066ca20e@gmail.com> Date: Sat, 11 May 2024 13:57:31 +0100 MIME-Version: 1.0 User-Agent: Mozilla Thunderbird Content-Language: en-GB References: <9378099f-76e1-45b4-8e4d-0f077cb28307@gmail.com> <86o7b5zafb.fsf@gnu.org> <86jzl1r9mt.fsf@gnu.org> <86r0erw6pu.fsf@gnu.org> <86wmo378hj.fsf@gnu.org> <86a5kw3bvq.fsf@gnu.org> <40cfb760-bf82-4a02-bca5-bec81a00e619@gmail.com> <86wmo01qzr.fsf@gnu.org> From: Sergey Vinokurov In-Reply-To: <86wmo01qzr.fsf@gnu.org> Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit X-Spam-Score: 1.2 (+) X-Spam-Report: Spam detection software, running on the system "debbugs.gnu.org", has NOT identified this incoming email as spam. The original message has been attached to this so you can view it or label similar future email. If you have any questions, see the administrator of that system for details. Content preview: On 11/05/2024 13:18, Eli Zaretskii wrote: >> Date: Sat, 11 May 2024 13:12:33 +0100 >> Cc: p.stephani2@gmail.com, dancol@dancol.org, 69953@debbugs.gnu.org >> From: Sergey Vinokurov >> >>> Given the l [...] Content analysis details: (1.2 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 0.0 SPF_HELO_NONE SPF: HELO does not publish an SPF Record 0.0 FREEMAIL_FROM Sender email is commonly abused enduser mail provider (serg.foo[at]gmail.com) -0.0 SPF_PASS SPF: sender matches SPF record -0.0 RCVD_IN_MSPIKE_H2 RBL: Average reputation (+2) [209.85.128.46 listed in wl.mailspike.net] -0.0 RCVD_IN_DNSWL_NONE RBL: Sender listed at https://www.dnswl.org/, no trust [209.85.128.46 listed in list.dnswl.org] 0.1 URIBL_CSS_A Contains URL's A record listed in the Spamhaus CSS blocklist [URIs: dancol.org] 0.1 URIBL_CSS Contains an URL's NS IP listed in the Spamhaus CSS blocklist [URIs: dancol.org] 1.0 FREEMAIL_REPLY From and body contain different freemails X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.8 (/) On 11/05/2024 13:18, Eli Zaretskii wrote: >> Date: Sat, 11 May 2024 13:12:33 +0100 >> Cc: p.stephani2@gmail.com, dancol@dancol.org, 69953@debbugs.gnu.org >> From: Sergey Vinokurov >> >>> Given the lack of responses, I doubt that. >> >> Is there no way to reevaluate the patch from the start? It's fairly >> small, perhaps I did poor job explaining why it's good idea? > > AFAIU, the code isn't wrong, and doesn't cause any problems. You just > think it's redundant. That's a judgment call, and without Daniel and > Philipp, who worked on most of this case, assessing the proposal, I > don't want to change code that worked well for us for several Emacs > releases, just because it might be redundant. > > Why are you so eager to install these changes? As I benefit from Emacs daily I want to help make it the best version of itself. Many things in Emacs I rely on were made by someone, I thought this change would ever so slightly benefit others. It's small indeed and maybe even inconsequential. But as the saying goes, the devil is in the details - the small things. Another reason to bother is to see whether I can manage to get small things merged - bigger contributions would likely involve all the hard parts of merging small contributions and then some. If I'm not able to finish small things then bigger ones are unlikely to succeed. As for judgement call I don't know, I mostly unwrapped the various macro calls and saw that what one ends up with is assert after assert of the same property (e.g. that current thread is OK). For example, if in plain C within Emacs, in some other module one found Lisp_Object foo(Lisp_Object arg) { ... eassert(NILP(arg)); eassert(NILP(arg)); ... } then it would surely be desirable to keep only one call to eassert as the second one serves no purpose and provides no extra checks. I argue that my patch does exactly that, the only complication is that some assert calls come from macro definitions which need to be unwrapped to see what's going on. To paraphrase the example, I removed the second call to assert while keeping the first one so same checks happen in the same places as before. From unknown Tue Jun 17 22:23:40 2025 X-Loop: help-debbugs@gnu.org Subject: bug#69953: [PATCH] Remove duplicated asserts and checks Resent-From: Eli Zaretskii Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Sat, 11 May 2024 13:06:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 69953 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: patch wontfix To: Sergey Vinokurov Cc: p.stephani2@gmail.com, dancol@dancol.org, 69953@debbugs.gnu.org Received: via spool by 69953-submit@debbugs.gnu.org id=B69953.171543273125606 (code B ref 69953); Sat, 11 May 2024 13:06:02 +0000 Received: (at 69953) by debbugs.gnu.org; 11 May 2024 13:05:31 +0000 Received: from localhost ([127.0.0.1]:48256 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1s5mPq-0006ew-RN for submit@debbugs.gnu.org; Sat, 11 May 2024 09:05:31 -0400 Received: from eggs.gnu.org ([209.51.188.92]:39180) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1s5mPp-0006eo-7G for 69953@debbugs.gnu.org; Sat, 11 May 2024 09:05:29 -0400 Received: from fencepost.gnu.org ([2001:470:142:3::e]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1s5mPh-0004sf-N1; Sat, 11 May 2024 09:05:23 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnu.org; s=fencepost-gnu-org; h=References:Subject:In-Reply-To:To:From:Date: mime-version; bh=SqycmPOFQrbLrBXp1I3EeNp9kweN4fT93bq+O+vBNCc=; b=KoRIhFKuc+Xg o/9prcsv+1nb76KPoFQ1rJpH8duIV1DcuS9WjDuXEMdt+5KhO/9VHhnuShZIfZYajC56zQqxW7qaf ZwqqJIdrhnKP27c/QT6K7yH517hzaulM3CQV2vUVsty08CPS7ooHpMR2fPoDfbl/3JhljpedIuQOn YJrzjkriTnCNZhZBbG6G8qmHIi+7HJw2kcvwjrYUpFB+tRJtHTNzWY+YHFH0yV+QzjovzGpN3Dboa +9PMLbZPjVSE5d6g4CFexJfpwWkCiaV/Xjm1o7+JiNVfze3rq5R+0kzxPSQFZRsP3QCYtSYOP55sy h4bPNakoFfOT92zTFLGV2Q==; Date: Sat, 11 May 2024 16:05:15 +0300 Message-Id: <86v83k1otw.fsf@gnu.org> From: Eli Zaretskii In-Reply-To: <744fc21b-8a32-4bdc-bd58-08e1066ca20e@gmail.com> (message from Sergey Vinokurov on Sat, 11 May 2024 13:57:31 +0100) References: <9378099f-76e1-45b4-8e4d-0f077cb28307@gmail.com> <86o7b5zafb.fsf@gnu.org> <86jzl1r9mt.fsf@gnu.org> <86r0erw6pu.fsf@gnu.org> <86wmo378hj.fsf@gnu.org> <86a5kw3bvq.fsf@gnu.org> <40cfb760-bf82-4a02-bca5-bec81a00e619@gmail.com> <86wmo01qzr.fsf@gnu.org> <744fc21b-8a32-4bdc-bd58-08e1066ca20e@gmail.com> X-Spam-Score: -2.1 (--) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.1 (---) > Date: Sat, 11 May 2024 13:57:31 +0100 > Cc: p.stephani2@gmail.com, dancol@dancol.org, 69953@debbugs.gnu.org > From: Sergey Vinokurov > > It's small indeed and maybe even inconsequential. But as the saying > goes, the devil is in the details - the small things. Another reason to > bother is to see whether I can manage to get small things merged - > bigger contributions would likely involve all the hard parts of merging > small contributions and then some. If I'm not able to finish small > things then bigger ones are unlikely to succeed. I'm sure you will find a lot of other opportunities for small contributions, no need to extrapolate from this one. In many places in Emacs, there's more to the code than meets the eye, so bitter experience taught me to be extremely cautious with code I'm not familiar enough. From unknown Tue Jun 17 22:23:40 2025 X-Loop: help-debbugs@gnu.org Subject: bug#69953: [PATCH] Remove duplicated asserts and checks Resent-From: Daniel Colascione Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Sat, 11 May 2024 13:14:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 69953 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: patch wontfix To: Sergey Vinokurov Cc: Eli Zaretskii , 69953@debbugs.gnu.org, p.stephani2@gmail.com Received: via spool by 69953-submit@debbugs.gnu.org id=B69953.171543319125939 (code B ref 69953); Sat, 11 May 2024 13:14:01 +0000 Received: (at 69953) by debbugs.gnu.org; 11 May 2024 13:13:11 +0000 Received: from localhost ([127.0.0.1]:48288 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1s5mXG-0006kJ-SW for submit@debbugs.gnu.org; Sat, 11 May 2024 09:13:11 -0400 Received: from dancol.org ([96.126.100.184]:38706) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1s5mXF-0006kD-Dq for 69953@debbugs.gnu.org; Sat, 11 May 2024 09:13:09 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=dancol.org; s=x; h=Content-Type:MIME-Version:Message-ID:Date:References:In-Reply-To: Subject:Cc:To:From:Sender:Reply-To:Content-Transfer-Encoding:Content-ID: Content-Description:Resent-Date:Resent-From:Resent-Sender:Resent-To:Resent-Cc :Resent-Message-ID:List-Id:List-Help:List-Unsubscribe:List-Subscribe: List-Post:List-Owner:List-Archive; bh=fjxHVow0i0bxfU10QTAIiIZEr/wUKf3j03UQS2L/FAI=; b=maxk7jz+aFO2FSLq1ccxCgZENR DeXWAYigkbBcGP7wzW/aOLBKgtMF9bHk2j8m44KOC9X06uY5GzFr7/RPGxjkVfRhHREnN3khSvHLg b61U83FhmypshyymngUvxBPBcQAb/ELGaVYr4WlKrFftXOFew9VkbQagb5Nd5ZrgrINuqyjyf6WtJ tj9MKeHdIPIJ6puJ1tzl6YstYxDR8wubwWYYqoooEcdm3xD+anHM7aXuAZCoIbj2n2c8w+yh1Edxl IRB5YsuazmFwEBMKHCY72TwN8gSZKRpKSf7HaYpX1JsyvWay+MvDttuHD8b5vy+GXzz3CU/o/VCMd HuUBPcQA==; Received: from [198.134.98.50] (port=10403 helo=localhost) by dancol.org with esmtpsa (TLS1.3) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.94.2) (envelope-from ) id 1s5mV8-0002KE-V3; Sat, 11 May 2024 09:10:59 -0400 From: Daniel Colascione In-Reply-To: (Sergey Vinokurov's message of "Thu, 9 May 2024 15:16:05 +0100") References: <9378099f-76e1-45b4-8e4d-0f077cb28307@gmail.com> <86o7b5zafb.fsf@gnu.org> <86jzl1r9mt.fsf@gnu.org> <86r0erw6pu.fsf@gnu.org> <86wmo378hj.fsf@gnu.org> User-Agent: mu4e 1.11.27; emacs 30.0.50 Date: Sat, 11 May 2024 06:11:01 -0700 Message-ID: <87pltslcii.fsf@dancol.org> MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: 3.8 (+++) X-Spam-Report: Spam detection software, running on the system "debbugs.gnu.org", has NOT identified this incoming email as spam. The original message has been attached to this so you can view it or label similar future email. If you have any questions, see the administrator of that system for details. Content preview: Sergey Vinokurov writes: > On 09/05/2024 08:24, Eli Zaretskii wrote: >> tags 69953 wontfix >> close 69953 >> thanks >> >>> Cc: serg.foo@gmail.com, 69953@debbugs.gnu.org >>> Date: Sat, 27 Apr 2024 11:27:41 +0300 >>> From: Eli [...] Content analysis details: (3.8 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 3.6 RCVD_IN_SBL_CSS RBL: Received via a relay in Spamhaus SBL-CSS [96.126.100.184 listed in zen.spamhaus.org] 0.1 URIBL_CSS_A Contains URL's A record listed in the Spamhaus CSS blocklist [URIs: dancol.org] 0.1 URIBL_CSS Contains an URL's NS IP listed in the Spamhaus CSS blocklist [URIs: dancol.org] -0.0 SPF_HELO_PASS SPF: HELO matches SPF record -0.0 SPF_PASS SPF: sender matches SPF record X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: 2.8 (++) X-Spam-Report: Spam detection software, running on the system "debbugs.gnu.org", has NOT identified this incoming email as spam. The original message has been attached to this so you can view it or label similar future email. If you have any questions, see the administrator of that system for details. Content preview: Sergey Vinokurov writes: > On 09/05/2024 08:24, Eli Zaretskii wrote: >> tags 69953 wontfix >> close 69953 >> thanks >> >>> Cc: serg.foo@gmail.com, 69953@debbugs.gnu.org >>> Date: Sat, 27 Apr 2024 11:27:41 +0300 >>> From: Eli [...] Content analysis details: (2.8 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 3.6 RCVD_IN_SBL_CSS RBL: Received via a relay in Spamhaus SBL-CSS [96.126.100.184 listed in zen.spamhaus.org] 0.1 URIBL_CSS_A Contains URL's A record listed in the Spamhaus CSS blocklist [URIs: dancol.org] 0.1 URIBL_CSS Contains an URL's NS IP listed in the Spamhaus CSS blocklist [URIs: dancol.org] -0.0 SPF_HELO_PASS SPF: HELO matches SPF record -0.0 SPF_PASS SPF: sender matches SPF record -1.0 MAILING_LIST_MULTI Multiple indicators imply a widely-seen list manager Sergey Vinokurov writes: > On 09/05/2024 08:24, Eli Zaretskii wrote: >> tags 69953 wontfix >> close 69953 >> thanks >> >>> Cc: serg.foo@gmail.com, 69953@debbugs.gnu.org >>> Date: Sat, 27 Apr 2024 11:27:41 +0300 >>> From: Eli Zaretskii >>> >>> Ping! Ping! Philipp and Daniel, any comments? >>> >>>> Cc: serg.foo@gmail.com, 69953@debbugs.gnu.org >>>> Date: Sat, 13 Apr 2024 10:42:50 +0300 >>>> From: Eli Zaretskii >>>> >>>> Ping! Philipp and Daniel, do you have any comments on this? >>>> >>>>> Cc: Philipp Stephani , 69953@debbugs.gnu.org, >>>>> Daniel Colascione >>>>> Date: Sat, 23 Mar 2024 09:15:04 +0200 >>>>> From: Eli Zaretskii >>>>> >>>>>> Date: Sat, 23 Mar 2024 03:27:34 +0000 >>>>>> From: Sergey Vinokurov >>>>>> >>>>>> I noticed that emacs-module.c contains duplicate >>>>>> module_non_local_exit_check() checks and >>>>>> module_assert_thread/module_assert_env asserts, mostly performed at the >>>>>> same point in program sequentially. >>>>>> >>>>>> The module_non_local_exit_check() checks happen in >>>>>> MODULE_HANDLE_NONLOCAL_EXIT and MODULE_FUNCTION_BEGIN_NO_CATCH macros. >>>>>> The MODULE_HANDLE_NONLOCAL_EXIT is never used by itself, only as part of >>>>>> MODULE_FUNCTION_BEGIN which starts with MODULE_FUNCTION_BEGIN_NO_CATCH >>>>>> that performs the check. >>>>>> >>>>>> In addition, there're 6 "Implementation of runtime and environment >>>>>> functions" rules outlined where MODULE_HANDLE_NONLOCAL_EXIT should be >>>>>> called at step 4 but module_non_local_exit_check() is supposed to have >>>>>> already happened at step 3 so documentation does not seem to intend for >>>>>> the check to be repeated in MODULE_HANDLE_NONLOCAL_EXIT. >>>>>> >>>>>> Regarding asserts my observation is that module_non_local_exit_check() >>>>>> already contains module_assert_thread and module_assert_env so there's >>>>>> no need to do asserts if first thing we do is call >>>>>> module_non_local_exit_check. >>>>> >>>>> Thanks, but why is that a problem? module_assertions is false by >>>>> default, and the function to turn on module assertions is not even >>>>> documented in the ELisp manual. IOW, this is a debugging aid which >>>>> will rarely if at all activated, and if it is, that's on purpose by >>>>> the programmer who is investigating some tricky problem. Why is it a >>>>> problem to have too many assertions, which might help that programmer >>>>> find a bug? >>>>> >>>>> I added Daniel and Philipp to the discussion, in case they have >>>>> comments to this proposal. >> Given the lack of comments, I conclude that there's no interest in >> installing this, and I'm therefore closing this bug. > > I'm interested to get this installed - can I do anything to facilitate? Programming is not an exercise in Huffman compression :-). Sometimes, things that look repetitive are not duplicative: the same text can express different things in different contexts. The assertions in this patch express the intent of the authors of macros like MODULE_FUNCTION_BEGIN_NO_CATCH. Their presence in the code signifies in writing the contract to which users of MODULE_FUNCTION_BEGIN_NO_CATCH and other facilities must adhere. Deleting them would therefore make it incrementally harder to understand the code, as it costs the brain more to infer a contract than to read one. I definitely appreciate the desire to clean up the codebase. I think the energy that's gone into this thread could be more productively applied to other code cleanups.