Re: [XEN PATCH v2] docs/misra: document the C dialect and translation toolchain assumptions.

[Stefano Stabellini <sstabellini@xxxxxxxxxx>]

On Tue, 20 Jun 2023, Jan Beulich wrote:
> On 20.06.2023 14:10, Roberto Bagnara wrote:
> > +   * - Non-standard tokens
> > +     - ARM64, X86_64
> > +     - _Static_assert:
> > +          see Section "2.1 C Language" of GCC_MANUAL.
> > +       asm, __asm__:
> > +          see Sections "6.48 Alternate Keywords" and "6.47 How to Use 
> > Inline Assembly Language in C Code" of GCC_MANUAL.
> > +       __volatile__:
> > +          see Sections "6.48 Alternate Keywords" and "6.47.2.1 Volatile" 
> > of GCC_MANUAL.
> > +       __const__, __inline__, __inline:
> > +          see Section "6.48 Alternate Keywords" of GCC_MANUAL.
> > +       typeof, __typeof__:
> > +          see Section "6.7 Referring to a Type with typeof" of GCC_MANUAL.
> > +       __alignof__, __alignof:
> > +          see Sections "6.48 Alternate Keywords" and "6.44 Determining the 
> > Alignment of Functions, Types or Variables" of GCC_MANUAL.
> > +       __attribute__:
> > +          see Section "6.39 Attribute Syntax" of GCC_MANUAL.
> > +       __builtin_types_compatible_p:
> > +          see Section "6.59 Other Built-in Functions Provided by GCC" of 
> > GCC_MANUAL.
> > +       __builtin_va_arg:
> > +          non-documented GCC extension.
> > +       __builtin_offsetof:
> > +          see Section "6.53 Support for offsetof" of GCC_MANUAL.
> > +       __signed__:
> > +          non-documented GCC extension.
> 
> I'd like to note that there is a patch [1] pending which removes all uses
> of this extension. Hopefully in Prague we can settle on how to progress
> this ...
> 
> [1] https://lists.xen.org/archives/html/xen-devel/2023-02/msg00445.html

I would keep __signed__ in this document for now and remove __signed__
on commit if [1] gets committed first