On Thu, Aug 29, 2013 at 05:57:33PM -0700, Paul E. McKenney wrote:
> On Fri, Aug 23, 2013 at 02:08:22PM -0700, Paul E. McKenney wrote:
> > On Fri, Aug 23, 2013 at 01:16:53PM -0400, Mathieu Desnoyers wrote:
> > > #define __rcu_assign_pointer(p, v, space) \
> > > do { \
> > > smp_wmb(); \
> > > (p) = (typeof(*v) __force space *)(v); \
> > > } while (0)
> >
> > Or I need to fix this one as well. ;-)
>
> In that vein... Is there anything like typeof() that also preserves
> sparse's notion of address space? Wrapping an ACCESS_ONCE() around
> "p" in the assignment above results in sparse errors.
typeof() will preserve sparse's notion of address space as long as you
do typeof(p), not typeof(*p):
$ cat test.c
#define as(n) __attribute__((address_space(n),noderef))
#define __force __attribute__((force))
int main(void)
{
int target = 0;
int as(1) *foo = (__force typeof(target) as(1) *) ⌖
typeof(foo) bar = foo;
return *bar;
}
$ sparse test.c
test.c:9:13: warning: dereference of noderef expression
Notice that sparse didn't warn on the assignment of foo to bar (because
typeof propagated the address space of 1), and warned on the dereference
of bar (because typeof propagated noderef).
- Josh Triplett
--
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
