]> git.ipfire.org Git - thirdparty/git.git/commit
diff: check range before dereferencing an array element
authorJohannes Schindelin <johannes.schindelin@gmx.de>
Tue, 29 Apr 2025 11:37:58 +0000 (11:37 +0000)
committerJunio C Hamano <gitster@pobox.com>
Tue, 29 Apr 2025 19:38:34 +0000 (12:38 -0700)
commit104add8368617f80ee356ea48497364ed39a7b7a
treece4b669664e81dc64c0b6729c233e91a8d7656a3
parentd50a5e8939abfc07c2ff97ae72e9330939b36ee0
diff: check range before dereferencing an array element

Before accessing an array element at a given index, it should be
verified that the index is within the desired bounds, not afterwards,
otherwise it may not make sense to even access the array element in the
first place. This is the point of CodeQL's
`cpp/offset-use-before-range-check` rule.

This CodeQL rule unfortunately is also triggered by the
`fill_es_indent_data()` code, even though the condition `off < len - 1`
does not even need to guarantee that the offset is in bounds (`s` points
to a NUL-terminated string, for which `s[off] == '\r'` would fail before
running out of bounds).

Let's work around this rare false positive to help us use an otherwise
mostly useful tool is a worthy thing to do.

Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
diff.c