From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Andrea Corallo Newsgroups: gmane.emacs.bugs Subject: bug#46847: 28.0.50; [native-comp] assume pseudo-insns should be verified Date: Wed, 20 Mar 2024 05:30:04 -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="22219"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Gnus/5.13 (Gnus v5.13) Cc: 46847-done@debbugs.gnu.org, Pip Cet To: Andrea Corallo Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Wed Mar 20 10:33:55 2024 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 1rmsKZ-0005Qs-Hm for geb-bug-gnu-emacs@m.gmane-mx.org; Wed, 20 Mar 2024 10:33:55 +0100 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1rmsK7-00031n-3L; Wed, 20 Mar 2024 05:33:27 -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 1rmsK4-0002vY-1d for bug-gnu-emacs@gnu.org; Wed, 20 Mar 2024 05:33:24 -0400 Original-Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1rmsK3-0003cS-Ou for bug-gnu-emacs@gnu.org; Wed, 20 Mar 2024 05:33:23 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1rmsKg-0003jz-Mt for bug-gnu-emacs@gnu.org; Wed, 20 Mar 2024 05:34:02 -0400 Resent-From: Andrea Corallo Original-Sender: "Debbugs-submit" Resent-To: bug-gnu-emacs@gnu.org Resent-Date: Wed, 20 Mar 2024 09:34:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: cc-closed 46847 X-GNU-PR-Package: emacs Mail-Followup-To: 46847@debbugs.gnu.org, acorallo@gnu.org, pipcet@gmail.com Original-Received: via spool by 46847-done@debbugs.gnu.org id=D46847.171092718914256 (code D ref 46847); Wed, 20 Mar 2024 09:34:02 +0000 Original-Received: (at 46847-done) by debbugs.gnu.org; 20 Mar 2024 09:33:09 +0000 Original-Received: from localhost ([127.0.0.1]:60750 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rmsJo-0003hs-QM for submit@debbugs.gnu.org; Wed, 20 Mar 2024 05:33:09 -0400 Original-Received: from eggs.gnu.org ([209.51.188.92]:33232) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rmsJm-0003hF-UT for 46847-done@debbugs.gnu.org; Wed, 20 Mar 2024 05:33:08 -0400 Original-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 1rmsGw-0002Qv-Gz; Wed, 20 Mar 2024 05:30:10 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnu.org; s=fencepost-gnu-org; h=MIME-Version:Date:References:In-Reply-To:Subject:To: From; bh=2GO/ruUJ21m1Lxo2kfbJ0mJ9ZDFytKs06ktkHDi6p+A=; b=jRNX5A9kix0JleGMd6zj Ar1Qd3UYRLeYZKhwFvZ1yjR1psznPfH4ijZj9X53TygtUqkO8eZU7dXq7EeQf395FHbzYBxbEEw++ I8919cGlYYkCNiKRS1H/2zKA2pM7dsCE+YUsyE/kPA0nvm9fBK/sT9JTSlmf3zDJdDQTG2hdq3/s5 STsVebj4+FiIzKBlK6RFhp57/RLHGxvu0b/yGM+kS2EQ2JqfkOzzxMq4GjHW/12/cro/CL77o3qkU U4rZrSeoekPcSvmhdh0QAaurw2uWmR4sQdurZWDW7UK3VQyljOcQGgOVuVEB9CNk+BdyLGPCR++PV sqG651yvkeYeCw==; Original-Received: from acorallo by fencepost.gnu.org with local (Exim 4.90_1) (envelope-from ) id 1rmsGu-00070t-Kz; Wed, 20 Mar 2024 05:30:09 -0400 In-Reply-To: (Andrea Corallo's message of "Sun, 14 Mar 2021 21:07:47 +0000") 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:281853 Archived-At: I'm closing this old bug as with 0b0c7da8c80 I've installed a sanitizer that instruments the code in order to check that compile time value predictions of mvars are respected at runtime. Mvars verified are all mvars being tested by conditional branches, this to verify the correct CFG/execution of the program. Enabling sanitizer instrumentation and runtime verification I'm able to bootstrap the compiler and run all the compiler testsuite. We might extend this further in the future but I think for now is okay. Thanks Andrea