]> www.infradead.org Git - users/dwmw2/qemu.git/commit
hw/misc: cast rpm to uint64_t
authorTigran Sogomonian <tsogomonian@astralinux.ru>
Mon, 13 Jan 2025 12:35:32 +0000 (12:35 +0000)
committerPeter Maydell <peter.maydell@linaro.org>
Mon, 13 Jan 2025 12:35:32 +0000 (12:35 +0000)
commit593b910ebedb9f8969aba22ca35970f710722ba7
tree588ece8fe44b829cdb20ffeb7461734e373db1b4
parent906853e1427a1ff89c64c0ebb6faa9c68f0a5d74
hw/misc: cast rpm to uint64_t

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>
Reviewed-by: Patrick Leis <venture@google.com>
Reviewed-by: Hao Wu <wuhaotsh@google.com>
Message-id: 20241226130311.1349-1-tsogomonian@astralinux.ru
Signed-off-by: Peter Maydell <peter.maydell@linaro.org>
hw/misc/npcm7xx_mft.c