From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Pip Cet Newsgroups: gmane.emacs.bugs Subject: bug#46988: 28.0.50; Documenting and verifying assumptions about C code not calling quit or GCing Date: Sun, 7 Mar 2021 13:47:10 +0000 Message-ID: Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="18411"; mail-complaints-to="usenet@ciao.gmane.io" To: 46988@debbugs.gnu.org Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Sun Mar 07 14:48:28 2021 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 1lItlj-0004hq-UT for geb-bug-gnu-emacs@m.gmane-mx.org; Sun, 07 Mar 2021 14:48:27 +0100 Original-Received: from localhost ([::1]:45712 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1lItlh-00051z-Rd for geb-bug-gnu-emacs@m.gmane-mx.org; Sun, 07 Mar 2021 08:48:27 -0500 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:54350) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lItlK-0004yt-CF for bug-gnu-emacs@gnu.org; Sun, 07 Mar 2021 08:48:02 -0500 Original-Received: from debbugs.gnu.org ([209.51.188.43]:55690) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1lItlK-0001Qe-48 for bug-gnu-emacs@gnu.org; Sun, 07 Mar 2021 08:48:02 -0500 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1lItlK-00065W-29 for bug-gnu-emacs@gnu.org; Sun, 07 Mar 2021 08:48:02 -0500 X-Loop: help-debbugs@gnu.org Resent-From: Pip Cet Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Sun, 07 Mar 2021 13:48:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 46988 X-GNU-PR-Package: emacs X-Debbugs-Original-To: bug-gnu-emacs@gnu.org Original-Received: via spool by submit@debbugs.gnu.org id=B.161512487223383 (code B ref -1); Sun, 07 Mar 2021 13:48:01 +0000 Original-Received: (at submit) by debbugs.gnu.org; 7 Mar 2021 13:47:52 +0000 Original-Received: from localhost ([127.0.0.1]:39003 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lItl9-000654-M1 for submit@debbugs.gnu.org; Sun, 07 Mar 2021 08:47:51 -0500 Original-Received: from lists.gnu.org ([209.51.188.17]:46562) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lItl7-00064w-EN for submit@debbugs.gnu.org; Sun, 07 Mar 2021 08:47:50 -0500 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:54194) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lItl7-0004eN-6F for bug-gnu-emacs@gnu.org; Sun, 07 Mar 2021 08:47:49 -0500 Original-Received: from mail-ot1-x335.google.com ([2607:f8b0:4864:20::335]:45628) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1lItl5-0001J1-Dr for bug-gnu-emacs@gnu.org; Sun, 07 Mar 2021 08:47:48 -0500 Original-Received: by mail-ot1-x335.google.com with SMTP id d9so6589338ote.12 for ; Sun, 07 Mar 2021 05:47:47 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:from:date:message-id:subject:to; bh=GLLSTw9VY8Fh9aOTcNbUnFHXo/9K5t0ZQre2Pu8rqx4=; b=mXwz8IgSA0ZToAYLIA5cZM2KzhLBESll9N34lm+wgpjGVKOtS3STxCLFCYeUArq+Gp NhTSoeFUotTkeAsB7LLWt3a5CG2ext/c9JDb9Rp6m9vnnTLcwp3jXSUn6njiz+yyaNbD P88ALJwesK1Hi50M2pYLGmE9FaolyJ8okgMi+oxNuH5UBQV069mz8nJjMs5LDrX4sjQB 0Z8i6ui739u3DGRi74rUlwF6YBIyR2k7zDJQxVmNBrp5srT9BvVqb3vavSHli18o2TWb hhQmes7fD1tW6e82cYPQNzOui/q/c3c2YaY1apB7XlUYTJ3vzl0JzjeHAdjv1MY5VJfA iWQA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=GLLSTw9VY8Fh9aOTcNbUnFHXo/9K5t0ZQre2Pu8rqx4=; b=NAxSGYdW1cwAr0K5WY49E6q4R3M4xKW37xhseKnNFhMl0pYyMcDv1BB/XgNeVqq4Ug ZOLTSZsVmavfjy7e4h5D6IP0ClpDlbYPv4zqqOvew7eO+DQSmnIxXM3JIOzle3YpPOL2 ktMD2ASw8j+yWbxwdfcYC83ui+PeMXs/Xixh2JB0WShA4E5LKo+dJ4jlovBmvz69Z+v1 CKrBCBbLHVjC72u9wIzPorKQfQzwW5AqydAukyOwsMU1uGhFSY5tmPxbkkNx3cnfKFoI crHVYOG37HLlj0+Yjy4S8/2L8IpxodSEGZ7xluyu9Um57puoUGoQnRdXlVJssTm2MhIn B6/A== X-Gm-Message-State: AOAM532tqdDYJJqRZECELdNtvcMVTviJWWPDfQfWZz6JXJCmX5NKaT+n PTekX3e/MnOjfnpEliScBDDzG8te8tAE0hSHRwOKEpQqX5sB6g== X-Google-Smtp-Source: ABdhPJwucaNwKLQIuwRD7NdDeJnDWP5D3fj/R8rdlawgF7jWhmfGhlhSKHYN6rNyzvdDb716tKUYsW8qbP5m9jbYdfM= X-Received: by 2002:a05:6830:1011:: with SMTP id a17mr13789252otp.154.1615124866157; Sun, 07 Mar 2021 05:47:46 -0800 (PST) Received-SPF: pass client-ip=2607:f8b0:4864:20::335; envelope-from=pipcet@gmail.com; helo=mail-ot1-x335.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-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" Xref: news.gmane.io gmane.emacs.bugs:201740 Archived-At: This is a request for a debugging feature which would verify (at run time or at compile time or both) that functions we know shouldn't call GC don't call GC. See https://lists.gnu.org/archive/html/emacs-devel/2021-03/msg00306.html Proof-of-concept patch for a runtime check will be attached once this has a bug number.