diff options
Diffstat (limited to 'results/scraper/launchpad-without-comments/1655700')
| -rw-r--r-- | results/scraper/launchpad-without-comments/1655700 | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/results/scraper/launchpad-without-comments/1655700 b/results/scraper/launchpad-without-comments/1655700 new file mode 100644 index 000000000..d84ace910 --- /dev/null +++ b/results/scraper/launchpad-without-comments/1655700 @@ -0,0 +1,25 @@ +disas/libvixl/vixl/invalset.h: possible dodgy code in binary search ? + + +[qemu/disas/libvixl/vixl/invalset.h:442]: (style) Array index 'low' is used before limits check. + +Source code is + + while (!IsValid(elements[low]) && (low < high)) ++low; + +Also: + +qemu/disas/libvixl/vixl/invalset.h:450]: (style) Array index 'middle' is used before limits check. + +The source code is + + while (!IsValid(elements[high]) && (low < high)) --high; + +Mind you, these lines of code look similar but didn't get reported: + + while (!IsValid(elements[middle]) && (middle < high - 1)) ++middle; + while (!IsValid(elements[middle]) && (low + 1 < middle)) --middle; + +Given that binary search is notoriously tricky to get correct and a standard C library routine +I am puzzled as to why the standard library routine didn't get used, with of course a custom +comparison function. \ No newline at end of file |