Messages in this thread | | | Date | Wed, 9 Jun 2021 15:24:27 -0500 | From | Segher Boessenkool <> | Subject | Re: [RFC] LKMM: Add volatile_if() |
| |
On Wed, Jun 09, 2021 at 10:31:13AM -0700, Nick Desaulniers wrote: > 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/
And my reply to that https://lore.kernel.org/lkml/20200910154423.GK28786@gate.crashing.org/
Segher
| |