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
--
To unsubscribe from this list: send the line "unsubscribe kvm" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
