https://gcc.gnu.org/bugzilla/show_bug.cgi?id=59850

--- Comment #33 from Tom Tromey <tromey at gcc dot gnu.org> ---
My current patch fails on some of the sparse validation tests.
E.g., attr-in-parameter.c:

attr_in_parameter.c:8:4: warning: assignment from pointer to different address
space [-Waddress-space]

This happens due to this line:

static int (A *p);

I have yet to debug this one.


Also from noderef.c I found out that sparse accepts "noderef"
on non-pointer types:

    struct x __A x;

I hadn't realized this was possible.
It seems somewhat weird to me, but I suppose I'll update my patch
to follow.

This also affects address_space, as shown by typeof-attribute.c:

       unsigned int __percpu x;

Reply via email to