On 7/17/25 09:45, Jan Beulich wrote:
> 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
Sorry about that. Added.
Dmytro
