[Qemu-devel] [Bug 1533141] [NEW] qemu/disas/libvixl/vixl/invalset.h: 2 * sanity check after use ?

[dcb]

Public bug reported:

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.

** Affects: qemu
     Importance: Undecided
         Status: New

-- 
You received this bug notification because you are a member of qemu-
devel-ml, which is subscribed to QEMU.
https://bugs.launchpad.net/bugs/1533141

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

Status in QEMU:
  New

Bug description:
  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.

To manage notifications about this bug go to:
https://bugs.launchpad.net/qemu/+bug/1533141/+subscriptions