Re: [XEN PATCH 02/13] automation/eclair: add text-based deviation for empty headers

2023-08-30 Thread Simone Ballarin
On 29/08/23 08:35, Jan Beulich wrote: On 28.08.2023 15:19, Simone Ballarin wrote: --- a/automation/eclair_analysis/ECLAIR/deviations.ecl +++ b/automation/eclair_analysis/ECLAIR/deviations.ecl @@ -80,6 +80,7 @@ inline functions." -doc_begin="This header file is autogenerated or empty, theref

Re: [XEN PATCH 02/13] automation/eclair: add text-based deviation for empty headers

2023-08-30 Thread Simone Ballarin
On 29/08/23 00:00, Stefano Stabellini wrote: On Mon, 28 Aug 2023, Simone Ballarin wrote: This patch adds a text-based deviation for Directive 4.10: "Precautions shall be taken in order to prevent the contents of a header file being included more than once" Headers starting with the following co

Re: [XEN PATCH 02/13] automation/eclair: add text-based deviation for empty headers

2023-08-28 Thread Jan Beulich
On 28.08.2023 15:19, Simone Ballarin wrote: > --- a/automation/eclair_analysis/ECLAIR/deviations.ecl > +++ b/automation/eclair_analysis/ECLAIR/deviations.ecl > @@ -80,6 +80,7 @@ inline functions." > > -doc_begin="This header file is autogenerated or empty, therefore it poses no > risk if includ

Re: [XEN PATCH 02/13] automation/eclair: add text-based deviation for empty headers

2023-08-28 Thread Stefano Stabellini
On Mon, 28 Aug 2023, Simone Ballarin wrote: > This patch adds a text-based deviation for Directive 4.10: > "Precautions shall be taken in order to prevent the contents of > a header file being included more than once" > > Headers starting with the following comment are not supposed to > comply wit

[XEN PATCH 02/13] automation/eclair: add text-based deviation for empty headers

2023-08-28 Thread Simone Ballarin
This patch adds a text-based deviation for Directive 4.10: "Precautions shall be taken in order to prevent the contents of a header file being included more than once" Headers starting with the following comment are not supposed to comply with the directive: "/* empty */" These headers should be