Signed-off-by: Paolo Bonzini <pbonz...@redhat.com> --- exec.c | 2 ++ 1 files changed, 2 insertions(+), 0 deletions(-)
diff --git a/exec.c b/exec.c index 19725db..2e5b89a 100644 --- a/exec.c +++ b/exec.c @@ -719,6 +719,8 @@ static void destroy_all_mappings(AddressSpaceDispatch *d) static uint16_t phys_section_add(MemoryRegionSection *section) { + assert(phys_sections_nb < TARGET_PAGE_SIZE); + if (phys_sections_nb == phys_sections_nb_alloc) { phys_sections_nb_alloc = MAX(phys_sections_nb_alloc * 2, 16); phys_sections = g_renew(MemoryRegionSection, phys_sections, -- 1.7.1