correct pointer types for a_ll_p and a_sc_p primitives on mips64
authorRich Felker <dalias@aerifal.cx>
Fri, 11 Mar 2016 05:12:56 +0000 (05:12 +0000)
committerRich Felker <dalias@aerifal.cx>
Fri, 11 Mar 2016 05:12:56 +0000 (05:12 +0000)
these changes should not affect generated code, but they reflect that
the underlying objects operated on by a_cas_p are supposed to have
type volatile void *, not volatile long. in theory a compiler could
treat the effective type mismatch in the "m" memory operands as
undefined behavior.

arch/mips64/atomic_arch.h

index 8664e11c79daeaa1feb0b69638536f28049ea14a..b468fd95fc31e437d4e984d2079dd09fec66631c 100644 (file)
@@ -19,22 +19,22 @@ static inline int a_sc(volatile int *p, int v)
 }
 
 #define a_ll_p a_ll_p
-static inline void *a_ll_p(volatile long *p)
+static inline void *a_ll_p(volatile void *p)
 {
        void *v;
        __asm__ __volatile__ (
                "lld %0, %1"
-               : "=r"(v) : "m"(*p));
+               : "=r"(v) : "m"(*(void *volatile *)p));
        return v;
 }
 
 #define a_sc_p a_sc_p
-static inline int a_sc_p(volatile long *p, void *v)
+static inline int a_sc_p(volatile void *p, void *v)
 {
        long r;
        __asm__ __volatile__ (
                "scd %0, %1"
-               : "=r"(r), "=m"(*p) : "0"(v) : "memory");
+               : "=r"(r), "=m"(*(void *volatile *)p) : "0"(v) : "memory");
        return r;
 }