Re: [PATCH] hw/misc: cast rpm to uint64_t

[Peter Maydell]

On Thu, 26 Dec 2024 at 13:59, Tigran Sogomonian
<tsogomonian@astralinux.ru> wrote:
>
> The value of an arithmetic expression
> 'rpm * NPCM7XX_MFT_PULSE_PER_REVOLUTION' is a subject
> to overflow because its operands are not cast to
> a larger data type before performing arithmetic. Thus, need
> to cast rpm to uint64_t.
>
> Found by Linux Verification Center (linuxtesting.org) with SVACE.
>
> Signed-off-by: Tigran Sogomonian <tsogomonian@astralinux.ru>


Applied to target-arm.next, thanks.

-- PMM