hw/timer/exynos4210_mct: fix possible int overflow
authorDmitry Frolov <frolov@swemel.ru>
Tue, 19 Nov 2024 13:02:05 +0000 (13:02 +0000)
committerPeter Maydell <peter.maydell@linaro.org>
Tue, 19 Nov 2024 13:02:05 +0000 (13:02 +0000)
commitc5d36da7ec62e4c72a72a437057fb6072cf0d6ab
treec4e75576b0111c08a42cbef66b8bc6e86d1a791c
parentaf4c4fd128d3e73f7435a3723e9fcd2ec64c5f4c
hw/timer/exynos4210_mct: fix possible int overflow

The product "icnto * s->tcntb" may overflow uint32_t.

Found by Linux Verification Center (linuxtesting.org) with SVACE.

Signed-off-by: Dmitry Frolov <frolov@swemel.ru>
Message-id: 20241106083801.219578-2-frolov@swemel.ru
Reviewed-by: Peter Maydell <peter.maydell@linaro.org>
Signed-off-by: Peter Maydell <peter.maydell@linaro.org>
hw/timer/exynos4210_mct.c