From: Paolo Bonzini <pbonzini@redhat.com>
To: Roman Kagan <rkagan@virtuozzo.com>,
"Denis V. Lunev" <den@openvz.org>,
kbuild test robot <fengguang.wu@intel.com>,
Andrey Smetanin <asmetanin@virtuozzo.com>,
kbuild-all@01.org, kvm@vger.kernel.org
Subject: Re: [kvm:queue 27/38] arch/x86/kvm/hyperv.c:186:41: sparse: incorrect type in argument 2 (different modifiers)
Date: Fri, 18 Sep 2015 16:41:56 +0200 [thread overview]
Message-ID: <55FC22B4.9010301@redhat.com> (raw)
In-Reply-To: <20150918144026.GJ3317@rkaganb.sw.ru>
On 18/09/2015 16:40, Roman Kagan wrote:
> typedef unsigned long __nocast cputime_t;
>
> extern void task_cputime_adjusted(cputime_t *);
> extern void current_task_runtime_100ns(void);
>
> void current_task_runtime_100ns(void)
> {
> cputime_t utime;
>
> task_cputime_adjusted(&utime);
> }
> %%% gcc -c x.c -Wall -Werror -O2; echo $?
> 0
> %%% sparse x.c
> x.c:16:32: warning: incorrect type in argument 1 (different modifiers)
> x.c:16:32: expected unsigned long [nocast] [usertype] *<noident>
> x.c:16:32: got unsigned long *<noident>
> x.c:16:32: warning: implicit cast to nocast type
>
> Looks like a sparse bug to me.
Indeed...
Paolo
next prev parent reply other threads:[~2015-09-18 14:42 UTC|newest]
Thread overview: 8+ messages / expand[flat|nested] mbox.gz Atom feed top
2015-09-18 13:39 [kvm:queue 27/38] arch/x86/kvm/hyperv.c:186:41: sparse: incorrect type in argument 2 (different modifiers) kbuild test robot
2015-09-18 13:51 ` Denis V. Lunev
2015-09-18 13:55 ` Paolo Bonzini
2015-09-18 13:57 ` Denis V. Lunev
2015-09-18 14:40 ` Roman Kagan
2015-09-18 14:41 ` Paolo Bonzini [this message]
2015-09-18 15:06 ` [kbuild-all] " Fengguang Wu
2016-01-05 13:51 ` Luc Van Oostenryck
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=55FC22B4.9010301@redhat.com \
--to=pbonzini@redhat.com \
--cc=asmetanin@virtuozzo.com \
--cc=den@openvz.org \
--cc=fengguang.wu@intel.com \
--cc=kbuild-all@01.org \
--cc=kvm@vger.kernel.org \
--cc=rkagan@virtuozzo.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