annotate unreachable path (if the pre-condition is not violated) default tip

Sat, 20 Dec 2025 11:11:58 +0100

author
Mike Becker <universe@uap-core.de>
date
Sat, 20 Dec 2025 11:11:58 +0100
changeset 1643
045894204ca5
parent 1642
ae5f20db094a

annotate unreachable path (if the pre-condition is not violated)

src/array_list.c file | annotate | diff | comparison | revisions
--- 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
                         }
                     }
                 }

mercurial