This patch doesn't seem related to the series cover. On 6/5/19 8:21 AM, Lidong Chen wrote: > The check for poll_fds in g_assert() was incorrect. The correct assertion > should check "n_poll_fds + w->num <= ARRAY_SIZE(poll_fds)" because the > subsequent for-loop is doing access to poll_fds[n_poll_fds + i] where i > is in [0, w->num). >
Suggested-by: Peter Maydell <[email protected]> > Signed-off-by: Lidong Chen <[email protected]> > Reviewed-by: Liran Alon <[email protected]> > Reviewed-by: Darren Kenny <[email protected]> Reviewed-by: Philippe Mathieu-Daudé <[email protected]> > --- > util/main-loop.c | 2 +- > 1 file changed, 1 insertion(+), 1 deletion(-) > > diff --git a/util/main-loop.c b/util/main-loop.c > index e1e349c..a9f4e8d 100644 > --- a/util/main-loop.c > +++ b/util/main-loop.c > @@ -422,7 +422,7 @@ static int os_host_main_loop_wait(int64_t timeout) > g_main_context_prepare(context, &max_priority); > n_poll_fds = g_main_context_query(context, max_priority, &poll_timeout, > poll_fds, ARRAY_SIZE(poll_fds)); > - g_assert(n_poll_fds <= ARRAY_SIZE(poll_fds)); > + g_assert(n_poll_fds + w->num <= ARRAY_SIZE(poll_fds)); > > for (i = 0; i < w->num; i++) { > poll_fds[n_poll_fds + i].fd = (DWORD_PTR)w->events[i]; >
