[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] docs/misra: add R18.6 to rules.rst
- To: Stefano Stabellini <sstabellini@xxxxxxxxxx>
- From: Bertrand Marquis <Bertrand.Marquis@xxxxxxx>
- Date: Wed, 24 Jul 2024 06:58:22 +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=STMM9gnCdcRI3+WIFUerMS57w76gji1YK6QzXU6p6EM=; b=HybZCMjgB9jpIVdR1ija0emPbUVu6siBsqV1hTNb1Y63r9g1MoDA5QFkD+KIcjLp2xfMXWk7C9ebV72bdsPDpwcTwbKPAqJ1UUNDBcGS3NKVJQ/VdBnnP/wY1ARYZcY6gn2ox3748IVNTbrzGD41rpwvGJ+UW46knmrlgOxt3RIaMhm5Mm7Jos+0m9Gc921LiS/C4n4fWOi+e0pE30mO4sQsJVJIsH8XYr9XlB+0WYrxPNSRcxRPANAPhY0kc61jaWCmxLJxr3PNYS6ndfnw7wSqBiEprtLmZzwqVDYGIcJmR0a82W3dyT7CJtg74p0RbgU+H6rruuS2OsC6PUc96w==
- 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=STMM9gnCdcRI3+WIFUerMS57w76gji1YK6QzXU6p6EM=; b=V622p6lAJBbLnWJiQuPkAQzZNbyPoX+QGwqfav5rmaKDPQle2N1B8YmKiK3eRMr3jWPY7WL/vnicCB1PsBDXJBZKij8vVMeorY+lXr6cTLLaawgocgyavEmh4fqjvIkGGCWYg59skGpyaL+QA3Z2LFJuWbh+IxLfiDTykFT0t3Yz929XzkrrHpbr9A80R42mSogbbsEWjXak8whryKWoC/Zn+wXd1lm92HoGCgbo0riT8vG3/kuYoQ8mJOBW4SU+Hp9JRekkN3KJPRdxia6pn2ZcLTJvDwHG133ZgchHHxY7bTrmWmld1oL8yjDKWOg5GgFXL1Ods6SuM08qAHCZiA==
- Arc-seal: i=2; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=pass; b=XC/3A8/g6IUkry3XG8t3b9Z+hYKtOzlswcJn4T8I22YBy07gNRY+CeixazXY2XqK8ffv2YbrMrymzFZuBlnwp1aiBKSQPZsDb2lbsPl3m5U15dCkVI4WFpKH/Amjslazma6UHSjJubxqks6lI5RZX5AWBEIBvdwHos4pVrMl3BnB5xLM4IQ0cjzl36I1q7ARADvzZUQkx6Ljxn6vq/kp62vTxaOW0k5GZOgwaDCTuIatKeFnvGHPSVK9AvgT/puPZY0Ja7l5fJ4fVp/ZIBqY6z+8Kd4EahRD+De6RKFCrvXvNmFYKrFAMav6BQtS0pfFDNmXZMgbu08oeOXpLP6MKA==
- Arc-seal: i=1; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=none; b=f049cRIVES87bWIXbBsHeQHVtLHjIaFeKKSfWjBJCabv8LJHpZfUYPmFCY/HKysjczgHsx5HHAqXdygNz42nyXe7lpmwpEFlVFMx2GabT/XUVENmhSYJP+rBvwanrGtL+MCiXQ2fDJJZjtlLDkzUSh/P/ARcLJidQs7H43xoC8m/laAsuL4hNwFqWbv+dwEGwTFDMru/ztr/jHr/T1zwrtejXn2c4HNWkPAYkZPs1y/3VgbqRaf8Vt+WJoa/H0v+UEzGLYZhDPM555tUqC2ezABPm6HyxjUIZiCf1ldU9xagVztZmCCb5zh3F1gtPWMDVZnlZ9TRguvWu4Ey1khvqg==
- 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>, Jan Beulich <jbeulich@xxxxxxxx>, Andrew Cooper <andrew.cooper3@xxxxxxxxxx>, Roger Pau Monné <roger.pau@xxxxxxxxxx>, Julien Grall <julien@xxxxxxx>
- Delivery-date: Wed, 24 Jul 2024 06:58:41 +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: AQHa3UkiFuR/2tGAzkO/R7OVV1IOyLIFcx6A
- Thread-topic: [PATCH] docs/misra: add R18.6 to rules.rst
Hi Stefano,
> On 23 Jul 2024, at 23:41, Stefano Stabellini <sstabellini@xxxxxxxxxx> wrote:
>
> In practice, we are already following R18.6 and we have zero violations
> reported by ECLAIR (there are some cautions being reported.)
>
> Signed-off-by: Stefano Stabellini <stefano.stabellini@xxxxxxx>
Acked-by: Bertrand Marquis <bertrand.marquis@xxxxxxx>
Cheers
Bertrand
>
> diff --git a/docs/misra/rules.rst b/docs/misra/rules.rst
> index 80e5e972ad..0cb2fb8f24 100644
> --- a/docs/misra/rules.rst
> +++ b/docs/misra/rules.rst
> @@ -580,6 +580,13 @@ maintainers if you want to suggest a change.
> - The relational operators > >= < and <= shall not be applied to objects
> of pointer type except where they point into the same object
> -
>
> + * - `Rule 18.6
> <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_18_06_1.c>`_
> + - Required
> + - The address of an object with automatic storage shall not be
> + copied to another object that persists after the first object has
> + ceased to exist
> + -
> +
> * - `Rule 19.1
> <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_19_01.c>`_
> - Mandatory
> - An object shall not be assigned or copied to an overlapping
|
