Re: [XEN PATCH] automaton/eclair: add deviations for MISRA C:2012 Rule 13.6

[Federico Serafini <federico.serafini@xxxxxxxxxxx>]

On 05/04/24 08:06, Jan Beulich wrote:
> On 05.04.2024 02:04, Stefano Stabellini wrote:
> > On Thu, 4 Apr 2024, Jan Beulich wrote:
> > > Further, according to the discussion on the matter: alternative_call() is
> > > quite similar in this regard, just that it uses typeof(). Imo it should be
> > > deviated here as well right away, no matter whether Eclair can actually be
> > > configured to also check typeof() and alignof().
> > On this specific point regarding typeof, I agree but it should be done
> > as a separate rule (not 13.6), to make sure it matches the scanner
> > results. It looks like the new rule will be called B.MISLEFF.
> Fine with me, as long as things stay together (i.e. in a single commit).
Noted.

--
Federico Serafini, M.Sc.

Software Engineer, BUGSENG (http://bugseng.com)