linux-arm-kernel.lists.infradead.org archive mirror
 help / color / mirror / Atom feed
From: Marc Gonzalez <marc.w.gonzalez@free.fr>
To: Vincenzo Frascino <vincenzo.frascino@arm.com>,
	Thomas Gleixner <tglx@linutronix.de>
Cc: Mark Rutland <mark.rutland@arm.com>,
	Arnd Bergmann <arnd@arndb.de>,
	Ard Biesheuvel <ard.biesheuvel@linaro.org>,
	Catalin Marinas <catalin.marinas@arm.com>,
	Will Deacon <will.deacon@arm.com>,
	Russell King <linux@armlinux.org.uk>,
	Dave Martin <dave.martin@arm.com>,
	Linux ARM <linux-arm-kernel@lists.infradead.org>
Subject: Re: sparse warnings for arch/arm64/kernel/vdso/vgettimeofday.c
Date: Thu, 28 Nov 2019 13:24:17 +0100	[thread overview]
Message-ID: <23a4ac1c-40c2-94ba-63ff-8c74c26fdbf2@free.fr> (raw)
In-Reply-To: <848ca352-ea77-9840-d94a-96cc78b79795@arm.com>

On 28/11/2019 11:44, Vincenzo Frascino wrote:

> On 26/11/2019 10:42, Marc Gonzalez wrote:
>
>> Running 'make C=2' on v5.4 (arm64 defconfig) outputs:
>>
>>   CHECK   arch/arm64/kernel/vdso/vgettimeofday.c
> 
> [...]
> 
>> Are the above warnings all false positives?
>> Do I need to update my version of sparse maybe?
>>
> 
> I downloaded the latest git of sparse and seems that the only warning I am
> getting is:
> 
> linux/lib/vdso/gettimeofday.c:224:5: warning: symbol '__cvdso_clock_getres' was
> not declared. Should it be static?

Interesting. Dunno which version I'm running, as sparse appears
to ignores the --version flag.

$ apt list --installed | grep ^sparse
sparse/bionic,now 0.5.1-2 amd64 [installed]

https://sparse.wiki.kernel.org/index.php/Main_Page

I appear to be running a 2 year old version.

Sorry for the noise. I need to figure out how to upgrade this without
breaking apt...

Regards.

_______________________________________________
linux-arm-kernel mailing list
linux-arm-kernel@lists.infradead.org
http://lists.infradead.org/mailman/listinfo/linux-arm-kernel

  reply	other threads:[~2019-11-28 12:24 UTC|newest]

Thread overview: 6+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2019-11-26 10:42 sparse warnings for arch/arm64/kernel/vdso/vgettimeofday.c Marc Gonzalez
2019-11-28 10:44 ` Vincenzo Frascino
2019-11-28 12:24   ` Marc Gonzalez [this message]
2019-11-28 12:29     ` Vincenzo Frascino
2020-01-23  9:58       ` Marc Gonzalez
2020-01-23 10:10         ` Vincenzo Frascino

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=23a4ac1c-40c2-94ba-63ff-8c74c26fdbf2@free.fr \
    --to=marc.w.gonzalez@free.fr \
    --cc=ard.biesheuvel@linaro.org \
    --cc=arnd@arndb.de \
    --cc=catalin.marinas@arm.com \
    --cc=dave.martin@arm.com \
    --cc=linux-arm-kernel@lists.infradead.org \
    --cc=linux@armlinux.org.uk \
    --cc=mark.rutland@arm.com \
    --cc=tglx@linutronix.de \
    --cc=vincenzo.frascino@arm.com \
    --cc=will.deacon@arm.com \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).