# HG changeset patch
# User Mike Becker <universe@uap-core.de>
# Date 1766225518 -3600
# Node ID 045894204ca5167aae6649ad2212ab47de6a2d34
# Parent  ae5f20db094a88e6c9294045e798a84b91fe0180
annotate unreachable path (if the pre-condition is not violated)

diff -r ae5f20db094a -r 045894204ca5 src/array_list.c
--- a/src/array_list.c	Sat Dec 20 11:08:30 2025 +0100
+++ b/src/array_list.c	Sat Dec 20 11:11:58 2025 +0100
@@ -314,7 +314,9 @@
                             left_src += elem_size;
                             skip_len++;
                         } else {
-                            break;
+                            // should be unreachable because the requirement is
+                            // that the source array is sorted
+                            break; // LCOV_EXCL_LINE
                         }
                     }
                 }