On Wed, Jun 9, 2021 at 10:20 AM Segher Boessenkool
[off-list ref] wrote:

On Wed, Jun 09, 2021 at 06:13:00PM +0200, Marco Elver wrote:

quoted

On Wed, 9 Jun 2021 at 17:33, Segher Boessenkool
[off-list ref] wrote:
[...]

quoted

quoted

An alternative design would be to use a statement attribute to only
enforce (C) ("__attribute__((mustcontrol))" ?).

Statement attributes only exist for empty statements.  It is unclear how
(and if!) we could support it for general statements.

Statement attributes can apply to anything -- Clang has had them apply
to non-empty statements for a while.

First off, it is not GCC's problem if LLVM decides to use a GCC
extension in some non-compatible way.

Reminds me of
https://lore.kernel.org/lkml/CAHk-=whu19Du_rZ-zBtGsXAB-Qo7NtoJjQjd-Sa9OB5u1Cq_Zw@mail.gmail.com/ (local)
-- 
Thanks,
~Nick Desaulniers