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

[Roberto Bagnara <roberto.bagnara@bugseng.com>]

On 20/06/23 16:52, 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 ...
> 
> Jan
> 
> [1] https://lists.xen.org/archives/html/xen-devel/2023-02/msg00445.html

Ok, removed from the document and from the tool configuration.