[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] misra: deviate C library-style functions from Misra C:2012 rule 11.8
- To: Andrew Cooper <andrew.cooper3@xxxxxxxxxx>
- From: Nicola Vetrini <nicola.vetrini@xxxxxxxxxxx>
- Date: Thu, 01 Oct 2026 15:35:28 +0200
- Arc-authentication-results: i=1; bugseng.com; arc=none smtp.remote-ip=162.55.131.47
- Arc-message-signature: i=1; d=bugseng.com; s=openarc; a=rsa-sha256; c=relaxed/relaxed; t=1790861729; h=MIME-Version:Date:From:To:Cc:Subject:In-Reply-To:References: Message-ID:X-Sender:Organization:Content-Type: Content-Transfer-Encoding; bh=PsgLv0+JVFkZZR//5DOG/cSKwYlJbO9mVstpnbJOOns=; b=n4m/SA5w/S0TBm36bPuWQuSg+32KCA0E2OaGjPPgvE6SVgq1dGjGX4aBTYPpFhAwmM// DPJZL/6J0T1TdZzoOxGCixYkPNeIHHkOQow1n9VmFqRCWn0ZqqRTDEsbITokAB9C8BWUa UuWsrgpF7QFqSqdc+so5pvE1U2cCXoBBiu1QkLu8nHTIldZNGb8/UnvAq9Z3Erb6RkJWJ f8sqMeL+6t3lhzNXEckY5LhQFE+jY1XQ27ylU0tQBM5kTh6AalCMPP1Z+AIemTdEYwppk LmYs1sBokEO6vKo+Ruohdgxy4m31euRM7Zb+VvFajew6BtpqyDy/wOZZzMzkO4y/Bzh4z t98oSCfhIm0ddfxY+l/14E2Yoo4ANhT1KS6FHIkY+5FzwBUnJcHkLomLiN4rJ5VOyC2U0 lHNLDJRiH+xfLlsDsO1tyEo6OcLVbauBio4Spj4vZbc0YCriZ/iiDeeis5jQBAcC8U0sD jUoBkIL/PeXLNp/PJU3nrE6kwolLDKvYkTiIszcibunkZ6ZlBTe8WttABgEukJRe4lQHo JOT/zmPofM9ZL68XgyytTKaXDCMTi77xNI6/HD2gjg6UPu1WS2p5FQlvKnZUaxhKvADaF MmdSmGYn7Ze6G8OgPbhNvii888HRwHmrpDh6eA292dIHA0DdNUXTT8od5a011dQ=
- Arc-seal: i=1; d=bugseng.com; s=openarc; a=rsa-sha256; cv=none; t=1790861729; b=oBIhli+vQv07pXOwc11LZxAsDidCojCCSpg9deL0HIRCQQtnVsHM0LTwdHNxmwwS2jhw vy9iw/1aojmGGlxkHEb0JI3gzjXfvXa6VDQCStkaQ3CwUcI497gQXY6XX/Dz/PV3I/gqz 8n4Ry111rDF1LH63R0H3PDNgPbvLe/QLiwsvAqua6vfpGRSllTLBAECbPvTapeZQm3dC8 jlel1GXC6l4Xb5g2T4bIeJTDt/ZR7n/AuyIYdkUSri8k5XkdT2e8JLt0kFGmhSpRbzpQB 4D8lyEqr+euUTurPfyKh9x9pYEgnasJtUr4yGKLVfvMFc1Ai6LFakOUDghbJwdbbtnMKA uLtcGWX6OLy6zaQ2ElVIh78Fxuh/uWQ0qqzrbiDvFrL0UjOggxKOOc8DY4wOd9EpwUo2u ekZeXdi5q+EEo78aa4XFA/yHwDAZMIQxBElGxcrW05G1I5E15QCRoAN68qAhgvvKuWdSJ oAEnhIGBPDEsLjW+VQqmVDpIQqitjeQkBbEH1axTz9X9bS1qeGDZx5aU4WiCO7Fu2CWar my3JpAdpM6jqwGOqz2smH0KPDWziSx6HQSMmmJcAlkQ7mCUgi0BJbwtyhKVuqYjOIzOBN hSMH6tM/h8znHXBCs9PBNA2OWri3LU2Mi2QbHJIBd5dsOXc8+fs9Ou0It8wmiJU=
- Authentication-results: eu.smtp.expurgate.cloud; none
- Authentication-results: bugseng.com; arc=none smtp.remote-ip=162.55.131.47
- Cc: Jan Beulich <jbeulich@xxxxxxxx>, Dmytro Prokopchuk1 <dmytro_prokopchuk1@xxxxxxxx>, Doug Goldstein <cardoe@xxxxxxxxxx>, Stefano Stabellini <sstabellini@xxxxxxxxxx>, Anthony PERARD <anthony.perard@xxxxxxxxxx>, Michal Orzel <michal.orzel@xxxxxxx>, Julien Grall <julien@xxxxxxx>, Roger Pau Monné <roger@xxxxxxxxxxxxxx>, xen-devel@xxxxxxxxxxxxxxxxxxxx
- Delivery-date: Thu, 01 Oct 2026 13:35:44 +0000
- List-id: Xen developer discussion <xen-devel.lists.xenproject.org>
On 2026-10-01 15:16, Andrew Cooper wrote:
On 01/10/2026 1:43 pm, Jan Beulich wrote:
On 01.10.2026 14:39, Andrew Cooper wrote:
We want _Generic() for const-correctness reasons only. (And possibly
API transition work - this has mixed results but can substantially
reduce churn in a series if done well).
This depends on moving to C11, which we need to at some point anyway
even if weren't for _Generic().
Why is this? Can't we use _Generic() as a compiler extension, i.e.
without
fully going to C11?
AIUI, the parsing rules had to change in C11 to support _Generic()'s
syntax, and IIRC Eclair can't parse it without specifying C11 or later.
That's not true, ECLAIR copes just fine with _Generic regardless of the
-std:
0|$ cat p.c
void f(void) {
int x;
_Generic(x, int: 0, unsigned: 1);
}
nicola@nico:~
0|$ eclair_env -- gcc -std=c99 -c p.c
--
Nicola Vetrini, B.Sc.
Software Engineer
BUGSENG (https://bugseng.com)
LinkedIn: https://www.linkedin.com/in/nicola-vetrini-a42471253
|
