target/xtensa: Correct assert condition in handle_interrupt()
authorPeter Maydell <peter.maydell@linaro.org>
Wed, 31 Jul 2024 17:22:46 +0000 (18:22 +0100)
committerPeter Maydell <peter.maydell@linaro.org>
Thu, 1 Aug 2024 09:59:01 +0000 (10:59 +0100)
commit5e8e4f098d872818aa9a138a171200068b81c8d1
tree47e9575673b794170f0522301c02942846fe6fae
parent55f9f4ee018c5ccea81d8c8c586756d7711ae46f
target/xtensa: Correct assert condition in handle_interrupt()

In commit ad18376b90c8101 we added an assert that the level value was
in-bounds for the array we're about to index into.  However, the
assert condition is wrong -- env->config->interrupt_vector is an
array of uint32_t, so we should bounds check the index against
ARRAY_SIZE(...), not against sizeof().

Resolves: Coverity CID 1507131
Fixes: ad18376b90c8101 ("target/xtensa: Assert that interrupt level is within bounds")
Signed-off-by: Peter Maydell <peter.maydell@linaro.org>
Acked-by: Max Filippov <jcmvbkbc@gmail.com>
Reviewed-by: Philippe Mathieu-Daudé <philmd@linaro.org>
Message-id: 20240731172246.3682311-1-peter.maydell@linaro.org
target/xtensa/exc_helper.c