In handle_interrupt() we use level as an index into the interrupt_vector[] array. This is safe because we have checked it against env->config->nlevel, but Coverity can't see that (and it is only true because each CPU config sets its XCHAL_NUM_INTLEVELS to something less than MAX_NLEVELS), so it complains about a possible array overrun (CID 1507131) Add an assert() which will make Coverity happy and catch the unlikely case of a mis-set XCHAL_NUM_INTLEVELS in future. Signed-off-by: Peter Maydell <peter.maydell@linaro.org> Acked-by: Max Filippov <jcmvbkbc@gmail.com> Message-id: 20230623154135.1930261-1-peter.maydell@linaro.org |
||
|---|---|---|
| .. | ||
| core-dc232b | ||
| core-dc233c | ||
| core-de212 | ||
| core-de233_fpu | ||
| core-dsp3400 | ||
| core-fsf | ||
| core-lx106 | ||
| core-sample_controller | ||
| core-test_kc705_be | ||
| core-test_mmuhifi_c3 | ||
| core-dc232b.c | ||
| core-dc233c.c | ||
| core-de212.c | ||
| core-de233_fpu.c | ||
| core-dsp3400.c | ||
| core-fsf.c | ||
| core-lx106.c | ||
| core-sample_controller.c | ||
| core-test_kc705_be.c | ||
| core-test_mmuhifi_c3.c | ||
| cores.list | ||
| cpu-param.h | ||
| cpu-qom.h | ||
| cpu.c | ||
| cpu.h | ||
| dbg_helper.c | ||
| exc_helper.c | ||
| fpu_helper.c | ||
| gdbstub.c | ||
| helper.c | ||
| helper.h | ||
| import_core.sh | ||
| Kconfig | ||
| meson.build | ||
| mmu_helper.c | ||
| monitor.c | ||
| op_helper.c | ||
| overlay_tool.h | ||
| translate.c | ||
| win_helper.c | ||
| xtensa-isa-internal.h | ||
| xtensa-isa.c | ||
| xtensa-isa.h | ||
| xtensa-semi.c | ||