[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH v2] docs/misra: add R17.2 and R18.2
- To: Stefano Stabellini <sstabellini@xxxxxxxxxx>
- From: Bertrand Marquis <Bertrand.Marquis@xxxxxxx>
- Date: Thu, 19 Sep 2024 11:53:19 +0000
- Accept-language: en-GB, en-US
- Arc-authentication-results: i=2; mx.microsoft.com 1; spf=pass (sender ip is 63.35.35.123) smtp.rcpttodomain=lists.xenproject.org smtp.mailfrom=arm.com; dmarc=pass (p=none sp=none pct=100) action=none header.from=arm.com; dkim=pass (signature was verified) header.d=arm.com; arc=pass (0 oda=1 ltdi=1 spf=[1,1,smtp.mailfrom=arm.com] dkim=[1,1,header.d=arm.com] dmarc=[1,1,header.from=arm.com])
- Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=arm.com; dmarc=pass action=none header.from=arm.com; dkim=pass header.d=arm.com; arc=none
- Arc-message-signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector10001; 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=nlghDQzdo04bKGITpolabJX8FvX8BVdxQL2ss6EjCFs=; b=MUVR6V0tuzZ2vLg1cBJ2C43dPsGBZ5dZkc2WTlMH9wm2i5+weGNAuLrwDMR6R3PdhEmGxu2ps7L9BWV3OAbyzfMknPYLpx8duDB6wzudYcSEjOYWuMk85l/6u9pODbXQhct9WyFSAJt9bAXPGxCy+ZCzq9YX7c4PCBCadCQDEvyFpmeRYpq0tzhvIU5V8/p2+ovSW/pkilrZ1Mqzx7LsJnAZqQhfzxc4clqBR4mO1Vu0dWGHXFZS8/XcbGo+Nz+VCWigznK8GSHWDFhIlJDaPztLCBAlcmTSvqtSorBxC6/rx5tpt6jvPPlQeyUx30p0bfILQQBat+ucg77wf3en1g==
- Arc-message-signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector10001; 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=nlghDQzdo04bKGITpolabJX8FvX8BVdxQL2ss6EjCFs=; b=LKRFvJA+mSh1AepDRd8Ui3eYTgY5Xa2e4cjQH9oykqQjTjbwy2+RhHqScgffeXqVj+6AePD3h/NYRSDJSz+KTCROxbZYHRzxjYOZjwEVhT5fu0AOpXdJOcQkxpn/OOlyc1iuWu0cd7uAXPcOzBjjdWkqC6dBfexRN/zl0Gi3OZY5DsorYCrrtJjD93OI0MNerG4NBDLPOBgoltP02JD3zFztOZQS8lMTwAWjYYFDCfa+T4UpMo3AwDbh7p5JP+qkZQJmOKywMoru/KAJc3SzgLWdwJaTDN/4IZdri5pDpHqBaHvCFu6Xoj7tL1agmBhyYilUMlVkHpBCL2bCUsdj9A==
- Arc-seal: i=2; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=pass; b=JssUsnXORHcxqxCs1ZvRPiOOD4ZgfJtCf17z9rvL6ZW565iIZ71Ob6KsfDyXzH4r4aMh4jLpvVgXOxUSYf6W6ddlnTrLOiuKnd1tK/eLUJ1jW94m/Lu7EN8a1Th3IWuhwGkc+0RZcjtsWq7CdDtSKAtFtpXxLDpi0rT0AlshGCbj7RXa/TZtiftFd+b61Di3uxfGAl7HOumw9YninwX+izGiu6hGVVCcCD6t5N19pC4/DUA6z4fuaLgGJH/MuOYgFI/47U+zqVqjEPvNBcR61E/g0GkfWABUMmnwSiEzH/jtUW3TEcKeITBI8d3RnZL7/MJlHckd7oCg0ju8iqHUgA==
- Arc-seal: i=1; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=none; b=r0y73OMajPJqDbnS8pO79CBRGMZ46dn2NfsX80IRGEb72ozH8NlwPY1D9Sonb38gq1wfiyBNS9gJ6MBHMkW2gfz1hfIxV1M+ajsLILGvEpZ5FFCTMGC2farFog1jG+DJARYkDdA/phcEBsG5E0y6kIRP/FIuEIYrin3C5vftmh6rHBHsbKoe8B+ZoR5/uKuJxdD1++jg28DmrT7kPVze4RRl3TIa2xADuPvbOUPC4Al7EBoOHoYsj0+9ukRXvg5kJ7o5r5sHdbUrx4Ufbu24sDkGwg5B8k2mZ/UvIo1JqiL2PzImMjsJmn4fw04GpQIq13/+ru3yyF5IUE9emkxnFw==
- Authentication-results-original: dkim=none (message not signed) header.d=none;dmarc=none action=none header.from=arm.com;
- Cc: Xen-devel <xen-devel@xxxxxxxxxxxxxxxxxxxx>, Andrew Cooper <andrew.cooper3@xxxxxxxxxx>, Jan Beulich <jbeulich@xxxxxxxx>, Roger Pau Monné <roger.pau@xxxxxxxxxx>, Julien Grall <julien@xxxxxxx>, Michal Orzel <michal.orzel@xxxxxxx>
- Delivery-date: Thu, 19 Sep 2024 12:02:10 +0000
- List-id: Xen developer discussion <xen-devel.lists.xenproject.org>
- Nodisclaimer: true
- Original-authentication-results: dkim=none (message not signed) header.d=none;dmarc=none action=none header.from=arm.com;
- Thread-index: AQHbCgie8BoAtxq2Jk+2dIA8q9C8grJfAOyA
- Thread-topic: [PATCH v2] docs/misra: add R17.2 and R18.2
Hi Stefano,
> On 18 Sep 2024, at 22:23, Stefano Stabellini <sstabellini@xxxxxxxxxx> wrote:
>
> The Xen community is already informally following both rules. Let's make
> it explicit. Both rules have zero violations, only cautions. While we
> want to go down to zero cautions in time, adding both rules to rules.rst
> enables us to immediately make both rules gating in the ECLAIR job part
> of gitlab-ci.
>
> Signed-off-by: Stefano Stabellini <stefano.stabellini@xxxxxxx>
Acked-by: Bertrand Marquis <bertrand.marquis@xxxxxxx>
Cheers
Bertrand
> ---
> Changes in v2:
> - improve the note of 17.2
>
> diff --git a/docs/misra/rules.rst b/docs/misra/rules.rst
> index e99cb81089..4a144da8d6 100644
> --- a/docs/misra/rules.rst
> +++ b/docs/misra/rules.rst
> @@ -561,6 +561,13 @@ maintainers if you want to suggest a change.
> - The features of <stdarg.h> shall not be used
> -
>
> + * - `Rule 17.2
> <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_17_02.c>`_
> + - Required
> + - Functions shall not call themselves, either directly or indirectly
> + - Limited forms of recursion are allowed if the recursion is bound
> + (there is an upper limit and the upper limit is enforced.) The
> + bounding should be explained in a comment or in a deviation.
> +
> * - `Rule 17.3
> <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_17_03.c>`_
> - Mandatory
> - A function shall not be declared implicitly
> @@ -593,6 +600,12 @@ maintainers if you want to suggest a change.
> submitting new patches please try to decrease the number of
> violations when possible.
>
> + * - `Rule 18.1
> <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_18_01.c>`_
> + - Required
> + - A pointer resulting from arithmetic on a pointer operand shall
> + address an element of the same array as that pointer operand
> + -
> +
> * - `Rule 18.2
> <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_18_02.c>`_
> - Required
> - Subtraction between pointers shall only be applied to pointers
|
