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
