[PATCH v2 0/2] introduce docs/misra/rules.rst

Stefano Stabellini posted 2 patches 2 years, 6 months ago
Patches applied successfully (tree, apply log)
git fetch https://gitlab.com/xen-project/patchew/xen tags/patchew/alpine.DEB.2.22.394.2205311816170.1905099@ubuntu-linux-20-04-desktop
Test gitlab-ci passed
[PATCH v2 0/2] introduce docs/misra/rules.rst
Posted by Stefano Stabellini 2 years, 6 months ago
Hi all,

This patch series is a follow-up from the MISRA C meeting last Thursday,
when we went through the list of MISRA C rules on the spreadsheet and
agreed to accept into the Xen coding style the first ones, starting from
Dir 2.1 up until Rule 5.1 (except for Rule 2.2) in descending popularity
order.

This is the full list of accepted rules so far:

Dir 2.1
Dir 4.7
Dir 4.10
Dir 4.14
Rule 1.3
Rule 3.2
Rule 5.1
Rule 6.2
Rule 8.1
Rule 8.4
Rule 8.5
Rule 8.6
Rule 8.8
Rule 8.12

This short patch series add them as a new document under docs/misra as a
list in rst format. The file can be used as input to cppcheck using a
small python script from Bertrand (who will send it to the xen-devel
separately.)

Cheers,

Stefano
Re: [PATCH v2 0/2] introduce docs/misra/rules.rst
Posted by Stefano Stabellini 2 years, 5 months ago
On Tue, 31 May 2022, Stefano Stabellini wrote:
> Hi all,
> 
> This patch series is a follow-up from the MISRA C meeting last Thursday,
> when we went through the list of MISRA C rules on the spreadsheet and
> agreed to accept into the Xen coding style the first ones, starting from
> Dir 2.1 up until Rule 5.1 (except for Rule 2.2) in descending popularity
> order.
> 
> This is the full list of accepted rules so far:
> 
> Dir 2.1
> Dir 4.7
> Dir 4.10
> Dir 4.14
> Rule 1.3
> Rule 3.2
> Rule 5.1
> Rule 6.2
> Rule 8.1
> Rule 8.4
> Rule 8.5
> Rule 8.6
> Rule 8.8
> Rule 8.12
> 
> This short patch series add them as a new document under docs/misra as a
> list in rst format. The file can be used as input to cppcheck using a
> small python script from Bertrand (who will send it to the xen-devel
> separately.)

The two patches are acked and I plan to commit them in a day or two.