GNU bug report logs - #46847
28.0.50; [native-comp] assume pseudo-insns should be verified

Previous Next

Full log

Message #31 received at 46847 <at> debbugs.gnu.org (full text, mbox):

From: Eli Zaretskii <eliz <at> gnu.org>
To: Andrea Corallo <acorallo <at> gnu.org>
Cc: 46847 <at> debbugs.gnu.org, pipcet <at> gmail.com
Subject: Re: bug#46847: 28.0.50;
 [native-comp] assume pseudo-insns should be verified
Date: Wed, 20 Mar 2024 15:05:40 +0200

> Resent-To: bug-gnu-emacs <at> gnu.org
> Cc: 46847-done <at> debbugs.gnu.org, Pip Cet <pipcet <at> gmail.com>
> From: Andrea Corallo <acorallo <at> gnu.org>
> Date: Wed, 20 Mar 2024 05:30:04 -0400
> 
> 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, but would it be possible to document the suggested use of this
sanitizer in the comments somewhere?

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.