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
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
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