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

Reply via email to