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

[Stefano Stabellini <sstabellini@xxxxxxxxxx>]

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.