Re: [PATCH] target/xtensa: Assert that interrupt level is within bounds

2023-07-04 Thread Max Filippov
On Tue, Jul 4, 2023 at 6:27 AM Peter Maydell wrote: > > On Sat, 24 Jun 2023 at 01:20, Max Filippov wrote: > > > > On Fri, Jun 23, 2023 at 8:41 AM Peter Maydell > > wrote: > > > > > > In handle_interrupt() we use level as an index into the interrupt_vector[] > > > array. This is safe because we

Re: [PATCH] target/xtensa: Assert that interrupt level is within bounds

2023-07-04 Thread Peter Maydell
On Sat, 24 Jun 2023 at 01:20, Max Filippov wrote: > > On Fri, Jun 23, 2023 at 8:41 AM Peter Maydell > wrote: > > > > 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

Re: [PATCH] target/xtensa: Assert that interrupt level is within bounds

2023-06-23 Thread Max Filippov
On Fri, Jun 23, 2023 at 8:41 AM Peter Maydell wrote: > > 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