Subject: bug#46988: 28.0.50; Documenting and verifying assumptions about C code not calling quit or GCing

From: Mattias Engdegård <[email-masked]>
Date: Thu, 23 Jun 2022 18:20:09 +0200

23 juni 2022 kl. 18.08 skrev Eli Zaretskii <[email-masked]>:

> Clang at least attempts to be GCC-compliant.  But there are other C
> compilers we want to support which don't do even that.

Quite true. I don't think we should bother supporting them (at least not right away); just disable the feature for them.

The feature looks sound in principle and probably useful. Matt Armstrong had some good comments on the surface (https://debbugs.gnu.org/cgi/bugreport.cgi?bug=46988#20) to make it more readable.

Maybe it would be useful to generalise it to other dynamic checks, such as 'no consing', 'no lisp', 'no bytecode', 'no regexp', 'no signalling'?