[PATCH] frv: __user infrastructure
authorAl Viro <viro@zeniv.linux.org.uk>
Fri, 23 Jun 2006 09:04:03 +0000 (02:04 -0700)
committerLinus Torvalds <torvalds@g5.osdl.org>
Fri, 23 Jun 2006 14:42:54 +0000 (07:42 -0700)
Add general annotations to the FRV arch for sparse.

Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>
Signed-off-by: David Howells <dhowells@redhat.com>
Signed-off-by: Andrew Morton <akpm@osdl.org>
Signed-off-by: Linus Torvalds <torvalds@osdl.org>
arch/frv/kernel/uaccess.c
include/asm-frv/uaccess.h

index 9b751c0f0e84677a00b0a4245a38792fd7c501e0..9fb771a20df3cf831f4779aba7859e4c865928de 100644 (file)
@@ -17,7 +17,7 @@
 /*
  * copy a null terminated string from userspace
  */
-long strncpy_from_user(char *dst, const char *src, long count)
+long strncpy_from_user(char *dst, const char __user *src, long count)
 {
        unsigned long max;
        char *p, ch;
@@ -70,9 +70,9 @@ EXPORT_SYMBOL(strncpy_from_user);
  *
  * Return 0 on exception, a value greater than N if too long
  */
-long strnlen_user(const char *src, long count)
+long strnlen_user(const char __user *src, long count)
 {
-       const char *p;
+       const char __user *p;
        long err = 0;
        char ch;
 
index a1d140438863a957991f9cd765af3a2d1a2f6d10..3d90e1018ee228c443e838632b386bc5b224b000 100644 (file)
@@ -22,7 +22,7 @@
 
 #define HAVE_ARCH_UNMAPPED_AREA        /* we decide where to put mmaps */
 
-#define __ptr(x) ((unsigned long *)(x))
+#define __ptr(x) ((unsigned long __force *)(x))
 
 #define VERIFY_READ    0
 #define VERIFY_WRITE   1
@@ -64,7 +64,7 @@ static inline int ___range_ok(unsigned long addr, unsigned long size)
 
 #define __range_ok(addr,size) ___range_ok((unsigned long) (addr), (unsigned long) (size))
 
-#define access_ok(type,addr,size) (__range_ok((addr), (size)) == 0)
+#define access_ok(type,addr,size) (__range_ok((void __user *)(addr), (size)) == 0)
 #define __access_ok(addr,size) (__range_ok((addr), (size)) == 0)
 
 /*
@@ -97,6 +97,7 @@ extern unsigned long search_exception_table(unsigned long);
        int __pu_err = 0;                                               \
                                                                        \
        typeof(*(ptr)) __pu_val = (x);                                  \
+       __chk_user_ptr(ptr);                                            \
                                                                        \
        switch (sizeof (*(ptr))) {                                      \
        case 1:                                                         \
@@ -120,7 +121,7 @@ extern unsigned long search_exception_table(unsigned long);
 
 #define put_user(x, ptr)                       \
 ({                                             \
-       typeof(&*ptr) _p = (ptr);               \
+       typeof(*(ptr)) __user *_p = (ptr);      \
        int _e;                                 \
                                                \
        _e = __range_ok(_p, sizeof(*_p));       \
@@ -175,33 +176,44 @@ do {                                              \
  */
 #define __get_user(x, ptr)                                             \
 ({                                                                     \
-       typeof(*(ptr)) __gu_val = 0;                                    \
        int __gu_err = 0;                                               \
+       __chk_user_ptr(ptr);                                            \
                                                                        \
        switch (sizeof(*(ptr))) {                                       \
-       case 1:                                                         \
-               __get_user_asm(__gu_err, *(u8*)&__gu_val, ptr, "ub", "=r"); \
+       case 1: {                                                       \
+               unsigned char __gu_val;                                 \
+               __get_user_asm(__gu_err, __gu_val, ptr, "ub", "=r");    \
+               (x) = *(__force __typeof__(*(ptr)) *) &__gu_val;        \
                break;                                                  \
-       case 2:                                                         \
-               __get_user_asm(__gu_err, *(u16*)&__gu_val, ptr, "uh", "=r"); \
+       }                                                               \
+       case 2: {                                                       \
+               unsigned short __gu_val;                                \
+               __get_user_asm(__gu_err, __gu_val, ptr, "uh", "=r");    \
+               (x) = *(__force __typeof__(*(ptr)) *) &__gu_val;        \
                break;                                                  \
-       case 4:                                                         \
-               __get_user_asm(__gu_err, *(u32*)&__gu_val, ptr, "", "=r"); \
+       }                                                               \
+       case 4: {                                                       \
+               unsigned int __gu_val;                                  \
+               __get_user_asm(__gu_err, __gu_val, ptr, "", "=r");      \
+               (x) = *(__force __typeof__(*(ptr)) *) &__gu_val;        \
                break;                                                  \
-       case 8:                                                         \
-               __get_user_asm(__gu_err, *(u64*)&__gu_val, ptr, "d", "=e"); \
+       }                                                               \
+       case 8: {                                                       \
+               unsigned long long __gu_val;                            \
+               __get_user_asm(__gu_err, __gu_val, ptr, "d", "=e");     \
+               (x) = *(__force __typeof__(*(ptr)) *) &__gu_val;        \
                break;                                                  \
+       }                                                               \
        default:                                                        \
                __gu_err = __get_user_bad();                            \
                break;                                                  \
        }                                                               \
-       (x) = __gu_val;                                                 \
        __gu_err;                                                       \
 })
 
 #define get_user(x, ptr)                       \
 ({                                             \
-       typeof(&*ptr) _p = (ptr);               \
+       const typeof(*(ptr)) __user *_p = (ptr);\
        int _e;                                 \
                                                \
        _e = __range_ok(_p, sizeof(*_p));       \
@@ -248,19 +260,20 @@ do {                                                      \
 /*
  *
  */
+#define ____force(x) (__force void *)(void __user *)(x)
 #ifdef CONFIG_MMU
 extern long __memset_user(void *dst, unsigned long count);
 extern long __memcpy_user(void *dst, const void *src, unsigned long count);
 
-#define clear_user(dst,count)                  __memset_user((dst), (count))
-#define __copy_from_user_inatomic(to, from, n) __memcpy_user((to), (from), (n))
-#define __copy_to_user_inatomic(to, from, n)   __memcpy_user((to), (from), (n))
+#define clear_user(dst,count)                  __memset_user(____force(dst), (count))
+#define __copy_from_user_inatomic(to, from, n) __memcpy_user((to), ____force(from), (n))
+#define __copy_to_user_inatomic(to, from, n)   __memcpy_user(____force(to), (from), (n))
 
 #else
 
-#define clear_user(dst,count)                  (memset((dst), 0, (count)), 0)
-#define __copy_from_user_inatomic(to, from, n) (memcpy((to), (from), (n)), 0)
-#define __copy_to_user_inatomic(to, from, n)   (memcpy((to), (from), (n)), 0)
+#define clear_user(dst,count)                  (memset(____force(dst), 0, (count)), 0)
+#define __copy_from_user_inatomic(to, from, n) (memcpy((to), ____force(from), (n)), 0)
+#define __copy_to_user_inatomic(to, from, n)   (memcpy(____force(to), (from), (n)), 0)
 
 #endif
 
@@ -278,7 +291,7 @@ __copy_from_user(void *to, const void __user *from, unsigned long n)
        return __copy_from_user_inatomic(to, from, n);
 }
 
-static inline long copy_from_user(void *to, const void *from, unsigned long n)
+static inline long copy_from_user(void *to, const void __user *from, unsigned long n)
 {
        unsigned long ret = n;
 
@@ -291,16 +304,13 @@ static inline long copy_from_user(void *to, const void *from, unsigned long n)
        return ret;
 }
 
-static inline long copy_to_user(void *to, const void *from, unsigned long n)
+static inline long copy_to_user(void __user *to, const void *from, unsigned long n)
 {
        return likely(__access_ok(to, n)) ? __copy_to_user(to, from, n) : n;
 }
 
-#define copy_to_user_ret(to,from,n,retval)     ({ if (copy_to_user(to,from,n)) return retval; })
-#define copy_from_user_ret(to,from,n,retval)   ({ if (copy_from_user(to,from,n)) return retval; })
-
-extern long strncpy_from_user(char *dst, const char *src, long count);
-extern long strnlen_user(const char *src, long count);
+extern long strncpy_from_user(char *dst, const char __user *src, long count);
+extern long strnlen_user(const char __user *src, long count);
 
 #define strlen_user(str) strnlen_user(str, 32767)