percpu: Make __verify_pcu_ptr handle per cpu pointers to arrays
Christoph Lameter [Fri, 18 Apr 2014 11:08:20 +0000 (16:08 +0530)]
__verify_pcpu_ptr() will cause a compilation failure if the type of the
pointer is a pointer to a fixed array of objects. Adding zero to the
pointer converts the type of pointer to that pointing to a single
object of the array.
(cherry picked from commit abec1a806e0c3cf168999667d5fb6218398ef12a)

Change-Id: I07a9df1e204aa5173fe66a4ad81e827422eeadca
Signed-off-by: Christoph Lameter <cl@linux.com>
Signed-off-by: Tejun Heo <tj@kernel.org>

include/linux/percpu-defs.h

index 27ef6b1..57e890a 100644 (file)
  * Macro which verifies @ptr is a percpu pointer without evaluating
  * @ptr.  This is to be used in percpu accessors to verify that the
  * input parameter is a percpu pointer.
+ *
+ * + 0 is required in order to convert the pointer type from a
+ * potential array type to a pointer to a single item of the array.
  */
 #define __verify_pcpu_ptr(ptr) do {                                    \
-       const void __percpu *__vpp_verify = (typeof(ptr))NULL;          \
+       const void __percpu *__vpp_verify = (typeof((ptr) + 0))NULL;    \
        (void)__vpp_verify;                                             \
 } while (0)