Sat, 20 Dec 2025 11:11:58 +0100
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 } } }