From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Dmitry Gutov Newsgroups: gmane.emacs.devel Subject: Re: native-comp-async-report-warnings-errors default value Date: Tue, 28 Dec 2021 03:59:26 +0200 Message-ID: <5c75fd47-5e50-938d-6f4d-1882ac8cbdb1@yandex.ru> References: <87h7dj7su7.fsf@gmail.com> <83r1cnlu6y.fsf@gnu.org> <87czo77rx7.fsf@gmail.com> <837dcmamt2.fsf@gnu.org> <83v90694ka.fsf@gnu.org> <83v901zdh6.fsf@gnu.org> <83k0g3cagl.fsf@gnu.org> <8ea45edf-0bd2-a9b4-2341-e08446ea9965@yandex.ru> <9325beca-d34f-23f8-17a1-c52863b2ae82@yandex.ru> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="18463"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101 Thunderbird/78.13.0 Cc: Eli Zaretskii , emacs-devel@gnu.org, Stefan Kangas , rpluim@gmail.com To: Andrea Corallo Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Tue Dec 28 03:02:23 2021 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 1n21ok-0004aI-CW for ged-emacs-devel@m.gmane-mx.org; Tue, 28 Dec 2021 03:02:22 +0100 Original-Received: from localhost ([::1]:48174 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1n21oi-0001Jl-0g for ged-emacs-devel@m.gmane-mx.org; Mon, 27 Dec 2021 21:02:20 -0500 Original-Received: from eggs.gnu.org ([209.51.188.92]:56504) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1n21nA-0000V6-3l for emacs-devel@gnu.org; Mon, 27 Dec 2021 21:00:44 -0500 Original-Received: from [2a00:1450:4864:20::32d] (port=56017 helo=mail-wm1-x32d.google.com) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1n21n7-0002yT-1i; Mon, 27 Dec 2021 21:00:43 -0500 Original-Received: by mail-wm1-x32d.google.com with SMTP id c66so10668093wma.5; Mon, 27 Dec 2021 18:00:40 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=sender:subject:to:cc:references:from:message-id:date:user-agent :mime-version:in-reply-to:content-language:content-transfer-encoding; bh=qZo93azv9AckDsd7F7hocOFT2mQpUgHeI7MXv6PDPEI=; b=iC8i9E7XoifwcwwHM+IeO4viNL7lIP68jXGhwY8xp6f2gb0naRBgfhSUeN/+KQcPT7 CAfCknrlJ2vEnGxEMDTAHqvqz4xNU3UCwfoHn8TpS3696zWesb8yfUmbuOg4/DK2/HLY aarCPtP6InZr5gTF7NN+4zxD1oUV8NjHkUcYLPnA23HEGOdjHjkxY4OtpjpJ9JTTNfOW q7V4fWE/InJ6FtrXjrllZXGVu+z6Qo3VcyRi924miv8fsdg7FUJV7g3oVCfTIxPj/jhn nl4flaf4iO9X4yPF/qqcRMJhHN1rFZ1BMjQoSfSff+sbOq4/qm7fJw9dRfgD2WRiu+vB D03A== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:sender:subject:to:cc:references:from:message-id :date:user-agent:mime-version:in-reply-to:content-language :content-transfer-encoding; bh=qZo93azv9AckDsd7F7hocOFT2mQpUgHeI7MXv6PDPEI=; b=hQJNFp5a/MEWSGP0CVUJJJzVpVpH0J1kgyZa3496Ts0JWsJqGIkAbdLvIE21hG8p4y Wc91DE8wT95twtlpAwJVYGyAtmV7T6DS19xFRJ9sCfUiEHW9inNSpW400zNqtvUgSJcg UsYf1ocPe3odLZFZIxORAG9hS+ptWkocDGzlgTOMBK6CQceM+KZDUiBWv1ttRrcGpZqy C3gKYpYMvUdUIrLzLaQCitymcb/btE3X3BVUBHd/igmmyFsFwbusTzRjAOPoAfFgHlf4 Xvh5KdYXzYunJ5DeEMCOxSmt/2hmtui35UU4sCqvK54peTyK9azHDLWXIG4+MRyymn4H 3v8w== X-Gm-Message-State: AOAM531Eb4oBM4+2d0zvctpZmWarid74P85X1S7OtLk8nErHS01j0otw gIElgqKN3fbav8Zjf5cwut29eyg31rg= X-Google-Smtp-Source: ABdhPJxmAwh3Dgzrj1lWjNxjINXJlGoWaFs4o5lMV0i+vD4VZz2lnEGJfZuB82RtxCixiStKHhm/8g== X-Received: by 2002:a7b:c958:: with SMTP id i24mr15062033wml.75.1640656839177; Mon, 27 Dec 2021 18:00:39 -0800 (PST) Original-Received: from [10.111.255.129] ([185.209.196.135]) by smtp.googlemail.com with ESMTPSA id c187sm20186480wme.33.2021.12.27.18.00.37 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Mon, 27 Dec 2021 18:00:38 -0800 (PST) In-Reply-To: Content-Language: en-US X-Host-Lookup-Failed: Reverse DNS lookup failed for 2a00:1450:4864:20::32d (failed) Received-SPF: pass client-ip=2a00:1450:4864:20::32d; envelope-from=raaahh@gmail.com; helo=mail-wm1-x32d.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_EF=-0.1, FREEMAIL_FORGED_FROMDOMAIN=0.248, FREEMAIL_FROM=0.001, HEADER_FROM_DIFFERENT_DOMAINS=0.249, NICE_REPLY_A=-1.363, RCVD_IN_DNSWL_NONE=-0.0001, RDNS_NONE=0.793, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=no 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" Xref: news.gmane.io gmane.emacs.devel:283459 Archived-At: On 25.12.2021 13:53, Andrea Corallo wrote: > Dmitry Gutov writes: > >> Hi Andrea, >> >> On 24.12.2021 12:53, Andrea Corallo wrote: >>> this is not a trivial modification so I might easily miss some aspects >>> of it but... >>> Certanly bytecode ATM has no way to store declaration specifiers and >>> these are used for native compilation. I guess we should at least >>> extend this first. >> >> Thanks for the answer, I really wanted at least a high-level >> understanding of this point. I wouldn't presume to ask you to work on >> this, but maybe some of the others here who also complained about the >> warnings, would be interested in taking the initiative? >> >> Regarding declaration specifiers, I think the new (declare (modes >> ...)) feature had the same problem. >> >> Not sure how it was solved (or whether it was solved at all). > > I guess the mode declaration has affect during byte compilation so it > should be fine. The issue is for other declarations that are taking > effect afterwards in the native compilation pipeline. It has an effect at runtime: Emacs needs to look up those properties after the byte code is evaluated. That's why .elc files have additional forms added which basically call 'function-put' (as set up in defun-declarations-alist). But... > As the bytecompiler pipeline was always assumed to be the only and last > compilation step, bytecode is ATM not designed to retain these > information. I'm sure it's extensible somehow but we probably need some > advise on what's the best way to approach this. ...I suppose you might want to access that information without evaluating said additional byte code forms either. Or could it evaluate them anyway? If native compilation happens after the code is loaded, the symbols will have the necessary properties then.