[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#46988: 28.0.50; Documenting and verifying assumptions about C code n
From: |
Mattias Engdegård |
Subject: |
bug#46988: 28.0.50; Documenting and verifying assumptions about C code not calling quit or GCing |
Date: |
Thu, 23 Jun 2022 18:20:09 +0200 |
23 juni 2022 kl. 18.08 skrev Eli Zaretskii <eliz@gnu.org>:
> 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'?