tree 16bea1eb47bf7e59fc917e03390fc3d263614ccc
parent efbeec7098eee2b3d2359d0cc24bbba0436e7f21
author Paolo Bonzini <pbonzini@redhat.com> 1419710896 +0100
committer Paolo Bonzini <pbonzini@redhat.com> 1419757285 +0100

kvm: warn on more invariant breakage

Modifying a non-existent slot is not allowed.  Also check that the
first loop doesn't move a deleted slot beyond the used part of
the mslots array.

Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>