qemu/disas/libvixl/vixl/invalset.h: 2 * sanity check after use ?

1.

[qemu/disas/libvixl/vixl/invalset.h:442]: (style) Array index 'low' is used before limits check.

 while (!IsValid(elements[low]) && (low < high)) ++low;

2.

[qemu/disas/libvixl/vixl/invalset.h:450]: (style) Array index 'middle' is used before limits check.

  while (!IsValid(elements[middle]) && (middle < high - 1)) ++middle;

Also, binary search is a standard C library routine. Suggest use.