diff options
Diffstat (limited to 'include/linux/compiler.h')
| -rw-r--r-- | include/linux/compiler.h | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/include/linux/compiler.h b/include/linux/compiler.h index 62949aa638bb..b1a757d315a5 100644 --- a/include/linux/compiler.h +++ b/include/linux/compiler.h @@ -1,6 +1,8 @@ #ifndef __LINUX_COMPILER_H #define __LINUX_COMPILER_H +#ifndef __ASSEMBLY__ + #ifdef __CHECKER__ # define __user __attribute__((noderef, address_space(1))) # define __kernel /* default address space */ @@ -17,11 +19,11 @@ extern void __chk_io_ptr(void __iomem *); # define __iomem # define __chk_user_ptr(x) (void)0 # define __chk_io_ptr(x) (void)0 +# define __builtin_warning(x, y...) (1) #endif #ifdef __KERNEL__ -#ifndef __ASSEMBLY__ #if __GNUC__ > 3 # include <linux/compiler-gcc+.h> /* catch-all for GCC 4, 5, etc. */ #elif __GNUC__ == 3 @@ -31,7 +33,6 @@ extern void __chk_io_ptr(void __iomem *); #else # error Sorry, your compiler is too old/not recognized. #endif -#endif /* Intel compiler defines __GNUC__. So we will overwrite implementations * coming from above header files here @@ -61,6 +62,8 @@ extern void __chk_io_ptr(void __iomem *); (typeof(ptr)) (__ptr + (off)); }) #endif +#endif /* __ASSEMBLY__ */ + #endif /* __KERNEL__ */ /* |