[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] add more MISRA C rules to docs/misra/rules.rst
- To: Stefano Stabellini <sstabellini@xxxxxxxxxx>
- From: Jan Beulich <jbeulich@xxxxxxxx>
- Date: Mon, 13 Jun 2022 09:04:24 +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=szkmJEdVyBE6hyeBpHT+9SbE+OaQlTpnUNFdqDV7kXM=; b=OsqdZvp7VTNfy4nN9EGbqueEJ/NnVj+AvMsQB+cUXSA7Vlt7ll494ddpiteuX7+or3agTD4vXFMPSWTFCYjQAjXkCT99aHc/kBH+3BqMKILmkMYUPU+DNBFJR3WTS1b6NUVAj7C1mmN35FHzi9JXI7dz/3gMNQDfQY3JzLMtHMwM3wmuJVUvqPkjnVzd7Abxd0OOA2D8Iu60/3qL5lEqeFYQ2f7aTUjToH+NNKEcZzZIFnIMFl3xQ4CRqMUWHFXAV77VV9bF1Q2QY9sf2LsC+TpwuOMWCAAinbDtqbSt/sNtH/CeWlHAC6hUjg/GKmg9DajEL6t5m26rNZ/wEhAJyg==
- Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=mSUjFW+Dgl7GdLDG/L95oXLVr5abz9yD6y7oiiwXr+jar74F5U5nJldN0fLWah5S2rOMuxe5ghbAwBChpg9IXTxVh7/acZO8mhfBmQhHqXWgaiLnvkMJHFvWymG2FjZJ/uMvAjGUgyt2UQh0eUjdGM0J8B8IZwf5+1ZTDbdaB0jGb8axK35mrcGDIydtOi69FOx800mWYjm7g5eyi9tfn9q2FJAsKj2AMUWUbMVNCMxwY4feS1vV7JLG9ij2rYHZX4QWbcmFI8qMBSCWCqZWcXvGHHB7XWq/m0HmGxmX7+xK78L69r24gi0rIsd525XFHYgM9yQILi4oNPyEHYETUQ==
- Authentication-results: dkim=none (message not signed) header.d=none;dmarc=none action=none header.from=suse.com;
- Cc: George.Dunlap@xxxxxxxxxx, roger.pau@xxxxxxxxxx, Artem_Mygaiev@xxxxxxxx, Andrew.Cooper3@xxxxxxxxxx, julien@xxxxxxx, Bertrand.Marquis@xxxxxxx, xen-devel@xxxxxxxxxxxxxxxxxxxx
- Delivery-date: Mon, 13 Jun 2022 07:04:33 +0000
- List-id: Xen developer discussion <xen-devel.lists.xenproject.org>
On 10.06.2022 23:24, Stefano Stabellini wrote:
> On Fri, 10 Jun 2022, Jan Beulich wrote:
>> On 10.06.2022 02:48, Stefano Stabellini wrote:
>>> + * - `Rule 14.1
>>> <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_14_01.c>`_
>>> + - Required
>>> + - A loop counter shall not have essentially floating type
>>
>> This looks to be missing "point"?
>
> I am not sure what you mean. Do you mean "floating-point" instead of
> "floating" ?
>
> This is the actual headline for Rule 14.1. MISRA defines "Essential
> types" (8.10.2), so in this case it is referring to the type
> "essentially floating", which includes float, double and long double.
Yes, I mean "floating-point". But now that I look more closely I actually
notice that the C standard also uses the term "floating type" in a number
of instances. So perhaps it's just me who considers this odd.
Jan
|
