[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [XEN PATCH v2] docs/misra: document the C dialect and translation toolchain assumptions.
- To: Roberto Bagnara <roberto.bagnara@xxxxxxxxxxx>
- From: Jan Beulich <jbeulich@xxxxxxxx>
- Date: Tue, 20 Jun 2023 16:52:21 +0200
- Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=suse.com; dmarc=pass action=none header.from=suse.com; dkim=pass header.d=suse.com; arc=none
- Arc-message-signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=oxz8OWuCwNF2lB/M8a6RHiRB3d1gs6NFo+p4pvbr/jQ=; b=hqcdjmVqxyr5SX9qg3veSUigk5PhQB9yEVEWeaWnOVaodU0TB5anhzQYGi6yG21qcEsz5nNNGEnLi9ii9dBWi1rCwwCPCBJUcqWpwqhAbEcqt5QlhDs74VF2ohg76r8U+Ubjmkj5DakdadD6pMKbM9Llln27bSGAQvFytJlRarYEmo2pGTKdfkiMPmQEALke1by2tWxgq36Mg9bHpwjPdMn16P9WaNwCL/ZvdlGFZ83asrqNpHABKFr04kfd4ivQE6EHhulR3LQN/FaP22SO91WlgYqSeZMrsgp84p3hWSLk7k1IjvUvwPyZ1W6yBLUQYBCUuMFswKRL9NUV5oI6Uw==
- Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=f9ZddI0qbFA/DkSD2LtiK5WEaFs6VUhO2xW5f51Syrg8tuYG0hkGCf2yxh0tGiGEi/7OyHxEvzOrhrgPFkeUF3isXsWAYWTRF30IIW2nfEfH6tyAU3jRRO94En2q3REY/sV8l6ooGsdP2x0AQrMv21e0Vj0+Hfi9I3S0bojWIMFgqwLhj+30AR9P7mP7JsloOVZxMeQWosqhuS10LiDr7r6BmJ9LAQt0hEJCgOpZFCxHnfEWspdFRahLdrjBog6XnfbjLo8Z4lYmnF6tm7kYSGteJG2aXgvTcCT4DTZwUVv1d5+Dvv5cBNhQ88JWcqmF5u3k/piZTWkvsJM/Lz210Q==
- Authentication-results: dkim=none (message not signed) header.d=none;dmarc=none action=none header.from=suse.com;
- Cc: roger.pau@xxxxxxxxxx, bertrand.marquis@xxxxxxx, michal.orzel@xxxxxxx, xenia.ragiadakou@xxxxxxx, ayan.kumar.halder@xxxxxxx, consulting@xxxxxxxxxxx, Andrew Cooper <andrew.cooper3@xxxxxxxxxx>, George Dunlap <george.dunlap@xxxxxxxxxx>, Julien Grall <julien@xxxxxxx>, Stefano Stabellini <sstabellini@xxxxxxxxxx>, Wei Liu <wl@xxxxxxx>, xen-devel@xxxxxxxxxxxxxxxxxxxx
- Delivery-date: Tue, 20 Jun 2023 14:52:36 +0000
- List-id: Xen developer discussion <xen-devel.lists.xenproject.org>
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
|
