Home
last modified time | relevance | path

Searched hist:c5d36da7ec62e4c72a72a437057fb6072cf0d6ab (Results 1 – 1 of 1) sorted by relevance

/openbmc/qemu/hw/timer/
H A Dexynos4210_mct.cdiff c5d36da7ec62e4c72a72a437057fb6072cf0d6ab Tue Nov 19 07:02:05 CST 2024 Dmitry Frolov <frolov@swemel.ru> 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>