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.
