[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] Add more rules to docs/misra/rules.rst
- To: Stefano Stabellini <sstabellini@xxxxxxxxxx>
- From: Jan Beulich <jbeulich@xxxxxxxx>
- Date: Thu, 26 Jan 2023 10:08:45 +0100
- 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=6RiI8QZcCWBDagvCxjm3/OB8m9mvzCFh1dM4+LmAZCk=; b=dvTnxYXeZZGH0NOmgz1CyenNhIcKx2uSxTc/88GrcnvLaNL/QFpUO0Hpg1nx6tA5PMo8CJHq51GO/YA6xBDFdcf33OWUXeBDOzTSEYSGV8HrM5cGVO64oSWYo0VXz3HpVqAZEzYzWWNSNPSqJlq3bNNE8hSg3Rk8acaEq2dh3Ayen39kO4n1Ja1SCktMfrGwK5tTgvE8v/zhBqZpcvC7ofKT4o7unw3cxFwPiWE/gqg7Zmkh06zFy2hNJ9cff6Pen/qfYKhO8poKWD8UvHQypc8PeFCG0fPKJSgGajvlVCtn+nMn5ITB6goQt5H+k6lqTwqdFAsfS5iWG3kfwoU4qQ==
- Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=jB0sYNfFOrFzxdoHaH4DfaWjmX8FACGONScwucrBd0htmFLkAmcU7JqWTPwL3TPJ5rKIKUBiRnf/9IIi7LCS+U1AkPM/q2Bp2/poQOPR4KmUTwS4M44mcNqGxYINyN7+X7xV9xn0QklhU6fVzAQi1DQkUNpzssDa4UTzpJ5h5B7+GlsiGVHJD6cMruJvH+XSOd+4vJMPX69BFxOTqMGXsGH27XtMwrbGhUUzxwQV0YGI7ld0TC+WF0EiqtgazdQ3yuE/kZmGpcmqFk/+JGFPwujOKAw7wvmoiAX9o4RupmIbqk5eaLmj7AV6RyoCNLmbDjuMRsqaFWRjv7TZsKN13Q==
- Authentication-results: dkim=none (message not signed) header.d=none;dmarc=none action=none header.from=suse.com;
- Cc: george.dunlap@xxxxxxxxxx, andrew.cooper3@xxxxxxxxxx, roger.pau@xxxxxxxxxx, Bertrand.Marquis@xxxxxxx, julien@xxxxxxx, Stefano Stabellini <stefano.stabellini@xxxxxxx>, xen-devel@xxxxxxxxxxxxxxxxxxxx
- Delivery-date: Thu, 26 Jan 2023 09:09:01 +0000
- List-id: Xen developer discussion <xen-devel.lists.xenproject.org>
On 25.01.2023 21:57, Stefano Stabellini wrote:
> From: Stefano Stabellini <stefano.stabellini@xxxxxxx>
>
> As agreed during the last MISRA C discussion, I am adding the following
> MISRA C rules: 7.1, 7.3, 18.3.
>
> I am also adding 13.1 and 18.2 that were "agreed pending an analysis on
> the amount of violations".
>
> In the case of 13.1 there are zero violations reported by cppcheck.
>
> In the case of 18.2, there are zero violations reported by cppcheck
> after deviating the linker symbols, as discussed.
I find this suspicious. See e.g. ((pg) - frame_table) expressions both Arm
and x86 have. frame_table is neither a linker generated symbol, nor does
it represent something that the compiler (or static analysis tools) would
recognized as an "object". Still, the entire frame table of course
effectively is an object (array), yet there's no way for any tool to
actually recognize the array dimension.
Jan
|
