arm: 0.751
device: 0.696
graphic: 0.646
PID: 0.615
semantic: 0.598
vnc: 0.588
network: 0.580
ppc: 0.578
socket: 0.570
kernel: 0.565
architecture: 0.508
files: 0.507
mistranslation: 0.504
risc-v: 0.483
register: 0.477
performance: 0.469
virtual: 0.444
boot: 0.442
user-level: 0.398
x86: 0.382
i386: 0.368
VMM: 0.362
hypervisor: 0.343
peripherals: 0.309
TCG: 0.300
assembly: 0.270
permissions: 0.266
KVM: 0.256
debug: 0.241

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.

libvixl is not part of QEMU proper, but is an upstream library which we use (as documented in disas/libvixl/README). If you want to suggest coding style changes to it I would recommend reporting them to the upstream project:  https://github.com/armvixl/vixl .

QEMU just takes the most recent release of the library and includes it in our repo without making any changes to the code if we can avoid it.



>If you want to suggest coding style changes to it I would recommend reporting them to the upstream project: 

Thanks. Done here:

https://github.com/armvixl/vixl/issues