From mboxrd@z Thu Jan  1 00:00:00 1970
From: Paolo Bonzini <pbonzini@redhat.com>
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
Message-ID: <55FC22B4.9010301@redhat.com>
References: <201509182109.6ccgXDVp%fengguang.wu@intel.com>
 <55FC16F4.7060407@openvz.org> <55FC17B4.9060702@redhat.com>
 <20150918144026.GJ3317@rkaganb.sw.ru>
Mime-Version: 1.0
Content-Type: text/plain; charset=windows-1252
Content-Transfer-Encoding: 7bit
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
Return-path: <kvm-owner@vger.kernel.org>
Received: from mx1.redhat.com ([209.132.183.28]:57644 "EHLO mx1.redhat.com"
	rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP
	id S1751754AbbIROmA (ORCPT <rfc822;kvm@vger.kernel.org>);
	Fri, 18 Sep 2015 10:42:00 -0400
In-Reply-To: <20150918144026.GJ3317@rkaganb.sw.ru>
Sender: kvm-owner@vger.kernel.org
List-ID: <kvm.vger.kernel.org>



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