17664c5a1SJeremy Fitzhardinge #ifndef _LINUX_BUG_H 27664c5a1SJeremy Fitzhardinge #define _LINUX_BUG_H 37664c5a1SJeremy Fitzhardinge 47664c5a1SJeremy Fitzhardinge #include <asm/bug.h> 5*a3ccc497SDaniel Santos #include <linux/compiler.h> 67664c5a1SJeremy Fitzhardinge 77664c5a1SJeremy Fitzhardinge enum bug_trap_type { 87664c5a1SJeremy Fitzhardinge BUG_TRAP_TYPE_NONE = 0, 97664c5a1SJeremy Fitzhardinge BUG_TRAP_TYPE_WARN = 1, 107664c5a1SJeremy Fitzhardinge BUG_TRAP_TYPE_BUG = 2, 117664c5a1SJeremy Fitzhardinge }; 127664c5a1SJeremy Fitzhardinge 13608e2619SHeiko Carstens struct pt_regs; 14608e2619SHeiko Carstens 1535edd910SPaul Gortmaker #ifdef __CHECKER__ 16ca623c91SDaniel Santos #define BUILD_BUG_ON_NOT_POWER_OF_2(n) (0) 1735edd910SPaul Gortmaker #define BUILD_BUG_ON_ZERO(e) (0) 1835edd910SPaul Gortmaker #define BUILD_BUG_ON_NULL(e) ((void*)0) 19c5782e9fSTushar Behera #define BUILD_BUG_ON_INVALID(e) (0) 20ca623c91SDaniel Santos #define BUILD_BUG_ON(condition) (0) 2135edd910SPaul Gortmaker #define BUILD_BUG() (0) 2235edd910SPaul Gortmaker #else /* __CHECKER__ */ 2335edd910SPaul Gortmaker 2435edd910SPaul Gortmaker /* Force a compilation error if a constant expression is not a power of 2 */ 2535edd910SPaul Gortmaker #define BUILD_BUG_ON_NOT_POWER_OF_2(n) \ 2635edd910SPaul Gortmaker BUILD_BUG_ON((n) == 0 || (((n) & ((n) - 1)) != 0)) 2735edd910SPaul Gortmaker 2835edd910SPaul Gortmaker /* Force a compilation error if condition is true, but also produce a 2935edd910SPaul Gortmaker result (of value 0 and type size_t), so the expression can be used 3035edd910SPaul Gortmaker e.g. in a structure initializer (or where-ever else comma expressions 3135edd910SPaul Gortmaker aren't permitted). */ 3235edd910SPaul Gortmaker #define BUILD_BUG_ON_ZERO(e) (sizeof(struct { int:-!!(e); })) 3335edd910SPaul Gortmaker #define BUILD_BUG_ON_NULL(e) ((void *)sizeof(struct { int:-!!(e); })) 3435edd910SPaul Gortmaker 35baf05aa9SKonstantin Khlebnikov /* 36baf05aa9SKonstantin Khlebnikov * BUILD_BUG_ON_INVALID() permits the compiler to check the validity of the 37baf05aa9SKonstantin Khlebnikov * expression but avoids the generation of any code, even if that expression 38baf05aa9SKonstantin Khlebnikov * has side-effects. 39baf05aa9SKonstantin Khlebnikov */ 40baf05aa9SKonstantin Khlebnikov #define BUILD_BUG_ON_INVALID(e) ((void)(sizeof((__force long)(e)))) 41baf05aa9SKonstantin Khlebnikov 4235edd910SPaul Gortmaker /** 4335edd910SPaul Gortmaker * BUILD_BUG_ON - break compile if a condition is true. 4435edd910SPaul Gortmaker * @condition: the condition which the compiler should know is false. 4535edd910SPaul Gortmaker * 4635edd910SPaul Gortmaker * If you have some code which relies on certain constants being equal, or 47*a3ccc497SDaniel Santos * some other compile-time-evaluated condition, you should use BUILD_BUG_ON to 4835edd910SPaul Gortmaker * detect if someone changes it. 4935edd910SPaul Gortmaker * 50*a3ccc497SDaniel Santos * The implementation uses gcc's reluctance to create a negative array, but gcc 51*a3ccc497SDaniel Santos * (as of 4.4) only emits that error for obvious cases (e.g. not arguments to 52*a3ccc497SDaniel Santos * inline functions). Luckily, in 4.3 they added the "error" function 53*a3ccc497SDaniel Santos * attribute just for this type of case. Thus, we use a negative sized array 54*a3ccc497SDaniel Santos * (should always create an error on gcc versions older than 4.4) and then call 55*a3ccc497SDaniel Santos * an undefined function with the error attribute (should always create an 56*a3ccc497SDaniel Santos * error on gcc 4.3 and later). If for some reason, neither creates a 57*a3ccc497SDaniel Santos * compile-time error, we'll still have a link-time error, which is harder to 58*a3ccc497SDaniel Santos * track down. 5935edd910SPaul Gortmaker */ 6035edd910SPaul Gortmaker #ifndef __OPTIMIZE__ 6135edd910SPaul Gortmaker #define BUILD_BUG_ON(condition) ((void)sizeof(char[1 - 2*!!(condition)])) 6235edd910SPaul Gortmaker #else 6335edd910SPaul Gortmaker #define BUILD_BUG_ON(condition) \ 6435edd910SPaul Gortmaker do { \ 651d6a0d19SDaniel Santos bool __cond = !!(condition); \ 66*a3ccc497SDaniel Santos extern void __build_bug_on_failed(void) \ 67*a3ccc497SDaniel Santos __compiletime_error("BUILD_BUG_ON failed"); \ 68*a3ccc497SDaniel Santos if (__cond) \ 69*a3ccc497SDaniel Santos __build_bug_on_failed(); \ 701d6a0d19SDaniel Santos ((void)sizeof(char[1 - 2 * __cond])); \ 7135edd910SPaul Gortmaker } while (0) 7235edd910SPaul Gortmaker #endif 7335edd910SPaul Gortmaker 7435edd910SPaul Gortmaker /** 7535edd910SPaul Gortmaker * BUILD_BUG - break compile if used. 7635edd910SPaul Gortmaker * 7735edd910SPaul Gortmaker * If you have some code that you expect the compiler to eliminate at 7835edd910SPaul Gortmaker * build time, you should use BUILD_BUG to detect if it is 7935edd910SPaul Gortmaker * unexpectedly used. 8035edd910SPaul Gortmaker */ 8135edd910SPaul Gortmaker #define BUILD_BUG() \ 8235edd910SPaul Gortmaker do { \ 8335edd910SPaul Gortmaker extern void __build_bug_failed(void) \ 846ae8d048SDaniel Santos __compiletime_error("BUILD_BUG failed");\ 8535edd910SPaul Gortmaker __build_bug_failed(); \ 8635edd910SPaul Gortmaker } while (0) 8735edd910SPaul Gortmaker 8835edd910SPaul Gortmaker #endif /* __CHECKER__ */ 8935edd910SPaul Gortmaker 907664c5a1SJeremy Fitzhardinge #ifdef CONFIG_GENERIC_BUG 917664c5a1SJeremy Fitzhardinge #include <asm-generic/bug.h> 927664c5a1SJeremy Fitzhardinge 937664c5a1SJeremy Fitzhardinge static inline int is_warning_bug(const struct bug_entry *bug) 947664c5a1SJeremy Fitzhardinge { 957664c5a1SJeremy Fitzhardinge return bug->flags & BUGFLAG_WARNING; 967664c5a1SJeremy Fitzhardinge } 977664c5a1SJeremy Fitzhardinge 987664c5a1SJeremy Fitzhardinge const struct bug_entry *find_bug(unsigned long bugaddr); 997664c5a1SJeremy Fitzhardinge 100608e2619SHeiko Carstens enum bug_trap_type report_bug(unsigned long bug_addr, struct pt_regs *regs); 1017664c5a1SJeremy Fitzhardinge 1027664c5a1SJeremy Fitzhardinge /* These are defined by the architecture */ 1037664c5a1SJeremy Fitzhardinge int is_valid_bugaddr(unsigned long addr); 1047664c5a1SJeremy Fitzhardinge 1057664c5a1SJeremy Fitzhardinge #else /* !CONFIG_GENERIC_BUG */ 1067664c5a1SJeremy Fitzhardinge 107608e2619SHeiko Carstens static inline enum bug_trap_type report_bug(unsigned long bug_addr, 108608e2619SHeiko Carstens struct pt_regs *regs) 1097664c5a1SJeremy Fitzhardinge { 1107664c5a1SJeremy Fitzhardinge return BUG_TRAP_TYPE_BUG; 1117664c5a1SJeremy Fitzhardinge } 1127664c5a1SJeremy Fitzhardinge 1137664c5a1SJeremy Fitzhardinge #endif /* CONFIG_GENERIC_BUG */ 1147664c5a1SJeremy Fitzhardinge #endif /* _LINUX_BUG_H */ 115