Re: [PATCH] xen/misra: add rules 1.4 and 2.1

[Stefano Stabellini <sstabellini@xxxxxxxxxx>]

On Thu, 15 Jun 2023, Jan Beulich wrote:
> On 15.06.2023 01:03, Stefano Stabellini wrote:
> > --- a/docs/misra/rules.rst
> > +++ b/docs/misra/rules.rst
> > @@ -90,6 +90,17 @@ existing codebase are work-in-progress.
> >         behaviour
> >       -
> >  
> > +   * - Rule 1.4
> > +     - Required
> > +     - Emergent language features shall not be used
> > +     - Emergent language features, such as C11 features, should not be
> > +       confused with similar compiler extensions, which we use.
> 
> The plans to possibly use _Generic, as mentioned during the discussion,
> are (I think) making this the first case where we accept a rule with
> the expectation to later break (deviate) it. I don't think I'm aware of
> provisions in this regard, so by accepting the rule in the form you
> suggest may well lead to people later pointing here and say "no" to any
> attempt to use _Generic. IOW I think it wants clarifying in the text at
> the top of the file that there is flexibility to change in how far we
> mean to comply to already accepted rules.

I'll do both things:
- expand the comment in the Notes section of 1.4
- also add a comment at the top of the file