On Fri, 28 Jun 2024 20:30:54 +0200 Stefano Brivio <sbrivio(a)redhat.com> wrote:I think this proves that Coverity really isn't happy unless the sum itself happens in infinite precision (not even size_t domain with ssize_t operands is enough). So, well, I can report the false positive, unless you have further ideas to check. Meanwhile, we can either try to make this patch more acceptable, or I'll suppress checks (downstream) as needed.By the way, somewhat on the subject: https://lore.kernel.org/all/202404291502.612E0A10@keescook/#r https://lwn.net/ml/linux-kernel/202404291502.612E0A10@keescook/ (I read it from my client, but I can't decide what web interface I would otherwise like the most...) -- Stefano