The variables 'source', 'destination', and 'submodule_gitfile' are all of type "const char **", and an element of such an array is of "type const char *". Noticed while running "make contrib/coccinelle/array.cocci.patch". Signed-off-by: Junio C Hamano <gitster@xxxxxxxxx> --- * There is this rule in the array.cocci file: @@ type T; T *dst; T *src; expression n; @@ ( - memmove(dst, src, (n) * sizeof(*dst)); + MOVE_ARRAY(dst, src, n); | - memmove(dst, src, (n) * sizeof(*src)); + MOVE_ARRAY(dst, src, n); | - memmove(dst, src, (n) * sizeof(T)); + MOVE_ARRAY(dst, src, n); ) but it triggered only for modes[] array among the four parallel arrays that are being moved here. There are a few tangents. * Should we in general use sizeof(TYPE) in these cases, instead of the size of the zeroth element, e.g. memmove(source + i, source + i + 1, n * sizeof(source[i])); It would have been caught by the above Coccinelle rule (we are taking the size of *dst). * Shouldn't we have an array of struct with four members, instead of four parallel arrays, e.g. struct { const char *source; const char *destination; enum update_mode mode; const char *submodule_gitfile; } *mv_file; The latter question is important to answer before we accept Coccinelle-suggested rewrite to use four MOVE_ARRAY() on these four parallel arrays on top of this fix. builtin/mv.c | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git c/builtin/mv.c w/builtin/mv.c index 2a38e2af46..d419e83f0f 100644 --- c/builtin/mv.c +++ w/builtin/mv.c @@ -377,13 +377,13 @@ int cmd_mv(int argc, const char **argv, const char *prefix) if (--argc > 0) { int n = argc - i; memmove(source + i, source + i + 1, - n * sizeof(char *)); + n * sizeof(const char *)); memmove(destination + i, destination + i + 1, - n * sizeof(char *)); + n * sizeof(const char *)); memmove(modes + i, modes + i + 1, n * sizeof(enum update_mode)); memmove(submodule_gitfile + i, submodule_gitfile + i + 1, - n * sizeof(char *)); + n * sizeof(const char *)); i--; } }