From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Stefan Monnier Newsgroups: gmane.emacs.devel Subject: Re: Introducing 'safety' compilation parameter Date: Sun, 12 May 2024 22:29:08 -0400 Message-ID: References: Mime-Version: 1.0 Content-Type: text/plain Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="2237"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Gnus/5.13 (Gnus v5.13) Cc: emacs-devel@gnu.org, Eli Zaretskii , mattias.engdegard@gmail.com, stefankangas@gmail.com To: Andrea Corallo Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Mon May 13 04:30:20 2024 Return-path: Envelope-to: ged-emacs-devel@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 1s6LSF-0000P0-Ay for ged-emacs-devel@m.gmane-mx.org; Mon, 13 May 2024 04:30:19 +0200 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1s6LRK-0003OF-8t; Sun, 12 May 2024 22:29:22 -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 1s6LRI-0003Np-1H for emacs-devel@gnu.org; Sun, 12 May 2024 22:29:20 -0400 Original-Received: from mailscanner.iro.umontreal.ca ([132.204.25.50]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1s6LRG-0000ms-4j; Sun, 12 May 2024 22:29:19 -0400 Original-Received: from pmg1.iro.umontreal.ca (localhost.localdomain [127.0.0.1]) by pmg1.iro.umontreal.ca (Proxmox) with ESMTP id 8F57E100064; Sun, 12 May 2024 22:29:14 -0400 (EDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=iro.umontreal.ca; s=mail; t=1715567349; bh=Zw/NGAQRT7bqgu9cRnLai4xq/+WJjcttlTrWtj/eBfk=; h=From:To:Cc:Subject:In-Reply-To:References:Date:From; b=V1K9ruACiwQ5IqB6F1HI1Nj6PJULUpztJtI8Omh31pIyqyfaRhfToQzffQbPFjgrx H+QnH27eW4UVX7Poqajtbmn6TzeI4Mi/ujyvUFQyrqrYwyLGp8e6DpHBnxrFDvqvSQ tXnj9REJRcNhsf0TIoS+WrBIQed52WHpzzUtVgCUmHYWUFpMRgUCRM2BjtvUqfS9mx NbdNo1EIqgFU8JqN0KPux5vT+meJwGANkF7lrvYCT9+teuIUBpVb2BS3axzuqp5fAx 8BVrjDRdIhiBImkFIm0jnU8JST1N9SXyKQClDj9EtTGHFP9Xxk+U1dg7Ryxdfef6vs XrECrHTktkKHQ== Original-Received: from mail01.iro.umontreal.ca (unknown [172.31.2.1]) by pmg1.iro.umontreal.ca (Proxmox) with ESMTP id 01EB6100042; Sun, 12 May 2024 22:29:09 -0400 (EDT) Original-Received: from pastel (unknown [45.72.201.215]) by mail01.iro.umontreal.ca (Postfix) with ESMTPSA id BC0481206CD; Sun, 12 May 2024 22:29:08 -0400 (EDT) In-Reply-To: (Andrea Corallo's message of "Fri, 10 May 2024 13:58:38 -0400") Received-SPF: pass client-ip=132.204.25.50; envelope-from=monnier@iro.umontreal.ca; helo=mailscanner.iro.umontreal.ca X-Spam_score_int: -42 X-Spam_score: -4.3 X-Spam_bar: ---- X-Spam_report: (-4.3 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, RCVD_IN_DNSWL_MED=-2.3, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: "Emacs development discussions." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Original-Sender: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Xref: news.gmane.io gmane.emacs.devel:319195 Archived-At: > Okay I pushed scratch/comp-safety2 changing the knob name to > 'compilation-safety' and gating the dangerous optimizations as > discussed. Thanks. LGTM now (I'm still not sure we need both "safety" and "speed" controls, but we may as well follow CL's lead). Stefan