[<prev] [next>] [<thread-prev] [day] [month] [year] [list]
Message-ID: <20251107155158-90fb8c9c-59bf-47b3-8756-7c406166db70@linutronix.de>
Date: Fri, 7 Nov 2025 15:54:39 +0100
From: Thomas Weißschuh <thomas.weissschuh@...utronix.de>
To: kernel test robot <lkp@...el.com>
Cc: x86-ml <x86@...nel.org>, linux-kernel@...r.kernel.org
Subject: Re: [tip:timers/vdso] BUILD SUCCESS WITH UNVERIFIED WARNING
4c6736970fbf35aa65512ce7f82abd970f133c8e
On Mon, Nov 03, 2025 at 12:58:28AM +0800, kernel test robot wrote:
> tree/branch: https://git.kernel.org/pub/scm/linux/kernel/git/tip/tip.git timers/vdso
> branch HEAD: 4c6736970fbf35aa65512ce7f82abd970f133c8e clocksource: Remove ARCH_CLOCKSOURCE_DATA
>
> Unverified Warning (likely false positive, kindly check if interested):
>
> arch/sparc/include/uapi/../../../../lib/vdso/gettimeofday.c:325 __cvdso_clock_gettime_common() warn: bitwise AND condition is false here
> arch/sparc/include/uapi/../../../../lib/vdso/gettimeofday.c:325 __cvdso_clock_gettime_common() warn: right shifting more than type allows 32 vs 40
While I can't reproduce this specific warning, this is most likely an issue in
the sparse configuration in the kernel. The CHECKFLAGS are not adapted for the
compat vDSO. Therefore sparse runs with a mixed 32-bit and 64-bit configuration.
Other architectures are also affected.
There are a few different aproaches for cleaning this up, but I'm not sure yet
which to use.
(...)
Powered by blists - more mailing lists