Messages in this thread | | | From | Nick Desaulniers <> | Date | Wed, 9 Jun 2021 10:31:13 -0700 | Subject | Re: [RFC] LKMM: Add volatile_if() |
| |
On Wed, Jun 9, 2021 at 10:20 AM Segher Boessenkool <segher@kernel.crashing.org> wrote: > > On Wed, Jun 09, 2021 at 06:13:00PM +0200, Marco Elver wrote: > > On Wed, 9 Jun 2021 at 17:33, Segher Boessenkool > > <segher@kernel.crashing.org> wrote: > > [...] > > > > 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/ -- Thanks, ~Nick Desaulniers
| |