Pacify Coverity (CID 1692449) #12835

Job	Run time
pre-ci	5s
master-self-ubuntu24-linux-gcc-ndebug	5m 47s
master-self-ubuntu24-linux-gcc-lean	5m 16s
master-self-ubuntu24-linux-clang	7m 20s
master-self-ubuntu24-linux-clang-lean	6m 59s
master-self-ubuntu24-linux-clang-ndebug	6m 16s
master-self-ubuntu24-linux-gcc	5m 14s
master-self-ubuntu24-linux-fuzzer	5m 8s
master-self-ubuntu24-linux-clang-altlibs	5m 48s
master-self-ubuntu24-linux-gcc-O2-g3	5m 37s
master-self-ubuntu24-linux-clang-O2-g3	5m 51s
Merge into upstream	0s
pre-ci	8s
master-self-ubuntu24-linux-gcc-lean	9m 11s
master-self-ubuntu24-linux-gcc-O2-g3	14m 26s
master-self-ubuntu24-linux-clang-lean	14m 26s
master-self-ubuntu24-linux-clang	2m 34s
master-self-ubuntu24-linux-gcc-ndebug	2m 34s
master-self-ubuntu24-linux-gcc	2m 34s
master-self-ubuntu24-linux-clang-ndebug	2m 34s
master-self-ubuntu24-linux-clang-altlibs	2m 34s
master-self-ubuntu24-linux-clang-O2-g3	14m 26s
master-self-ubuntu24-linux-fuzzer	2m 34s
Merge into upstream	0s
pre-ci	8s
master-self-ubuntu24-linux-clang-O2-g3	10m 21s
master-self-ubuntu24-linux-gcc-O2-g3	8m 29s
master-self-ubuntu24-linux-gcc-ndebug	7m 45s
master-self-ubuntu24-linux-clang-altlibs	10m 12s
master-self-ubuntu24-linux-clang-lean	9m 23s
master-self-ubuntu24-linux-clang-ndebug	10m 2s
master-self-ubuntu24-linux-fuzzer	8m 15s
master-self-ubuntu24-linux-clang	10m 15s
master-self-ubuntu24-linux-gcc	8m 25s
master-self-ubuntu24-linux-gcc-lean	7m 42s
Merge into upstream	26s
	3h 38m 45s

Provide feedback