diff options
-rw-r--r-- | include/linux/compiler-gcc.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/include/linux/compiler-gcc.h b/include/linux/compiler-gcc.h index cb4c1eb7778e..59e4028e833d 100644 --- a/include/linux/compiler-gcc.h +++ b/include/linux/compiler-gcc.h | |||
@@ -34,8 +34,12 @@ | |||
34 | __asm__ ("" : "=r"(__ptr) : "0"(ptr)); \ | 34 | __asm__ ("" : "=r"(__ptr) : "0"(ptr)); \ |
35 | (typeof(ptr)) (__ptr + (off)); }) | 35 | (typeof(ptr)) (__ptr + (off)); }) |
36 | 36 | ||
37 | #ifdef __CHECKER__ | ||
38 | #define __must_be_array(arr) 0 | ||
39 | #else | ||
37 | /* &a[0] degrades to a pointer: a different type from an array */ | 40 | /* &a[0] degrades to a pointer: a different type from an array */ |
38 | #define __must_be_array(a) BUILD_BUG_ON_ZERO(__same_type((a), &(a)[0])) | 41 | #define __must_be_array(a) BUILD_BUG_ON_ZERO(__same_type((a), &(a)[0])) |
42 | #endif | ||
39 | 43 | ||
40 | /* | 44 | /* |
41 | * Force always-inline if the user requests it so via the .config, | 45 | * Force always-inline if the user requests it so via the .config, |