On 17.07.2025 03:09, Stefano Stabellini wrote: > On Wed, 16 Jul 2025, Dmytro Prokopchuk1 wrote: >> From: Nicola Vetrini <nicola.vetr...@bugseng.com> >> >> The definition of MISRA C Rule 12.2 ("The right hand operand of a shift >> operator shall lie in the range zero to one less than the width in bits >> of the essential type of the left hand operand") is concerned with the >> essential type of an expression, while the C Undefined Behaviour is >> related to C standard types, which may be wider but not narrower than >> the MISRA C essential type. For this reason, it is safe to consider the >> C standard type, rather than the essential type when checking the rule. >> >> To avoid regressions, tag the rule as clean and add it to the >> monitored set. >> >> Signed-off-by: Nicola Vetrini <nicola.vetr...@bugseng.com> > > Reviewed-by: Stefano Stabellini <sstabell...@kernel.org>
I was about to commit this, but Dmytro - your S-o-b is missing. Jan