vim-patch:8.2.1973: finding a patch number can be a bit slow

Problem:    Finding a patch number can be a bit slow.
Solution:   Use binary search. (closes vim/vim#7279)
https://github.com/vim/vim/commit/232f4612e2b0a6a205ae385740078f6b8af05e75

1 files changed, 12 insertions, 2 deletions

diff --git a/src/nvim/version.c b/src/nvim/version.c
index 32cb0091a3..7296c74109 100644
--- a/src/nvim/version.c
+++ b/src/nvim/version.c
@@ -1970,11 +1970,21 @@ bool has_nvim_version(const char *const version_str)
 ///
 /// @return true if patch `n` has been included.
 bool has_vim_patch(int n)
+  FUNC_ATTR_PURE FUNC_ATTR_WARN_UNUSED_RESULT
 {
-  for (int i = 0; included_patches[i] != 0; i++) {
-    if (included_patches[i] == n) {
+  // Perform a binary search.
+  int l = 0;
+  int h = (int)(ARRAY_SIZE(included_patches)) - 1;
+  while (l < h) {
+    const int m = (l + h) / 2;
+    if (included_patches[m] == n) {
       return true;
     }
+    if (included_patches[m] < n) {
+      h = m;
+    } else {
+      l = m + 1;
+    }
   }
   return false;
 }