[CC sparse people]
On Fri, Sep 18, 2015 at 04:41:56PM +0200, Paolo Bonzini wrote:
>
>
> 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
> _______________________________________________
> kbuild-all mailing list
> kbuild-all@xxxxxxxxxxxx
> https://lists.01.org/mailman/listinfo/kbuild-all
--
To unsubscribe from this list: send the line "unsubscribe linux-sparse" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
