blob: 73af37ca472cba435657d56b570f8717d36de80e [file] [log] [blame]
Jeremy Fitzhardinge7664c5a2006-12-08 02:36:19 -08001#ifndef _LINUX_BUG_H
2#define _LINUX_BUG_H
3
Jeremy Fitzhardinge7664c5a2006-12-08 02:36:19 -08004#include <asm/bug.h>
Daniel Santosa3ccc492013-02-21 16:41:52 -08005#include <linux/compiler.h>
Jeremy Fitzhardinge7664c5a2006-12-08 02:36:19 -08006
7enum bug_trap_type {
8 BUG_TRAP_TYPE_NONE = 0,
9 BUG_TRAP_TYPE_WARN = 1,
10 BUG_TRAP_TYPE_BUG = 2,
11};
12
Heiko Carstens608e2612007-07-15 23:41:39 -070013struct pt_regs;
14
Paul Gortmaker35edd912011-11-16 23:51:05 -050015#ifdef __CHECKER__
Daniel Santosca623c92013-02-21 16:41:44 -080016#define BUILD_BUG_ON_NOT_POWER_OF_2(n) (0)
Paul Gortmaker35edd912011-11-16 23:51:05 -050017#define BUILD_BUG_ON_ZERO(e) (0)
18#define BUILD_BUG_ON_NULL(e) ((void*)0)
Tushar Beherac5782e92012-11-26 16:29:38 -080019#define BUILD_BUG_ON_INVALID(e) (0)
Daniel Santosca623c92013-02-21 16:41:44 -080020#define BUILD_BUG_ON(condition) (0)
Paul Gortmaker35edd912011-11-16 23:51:05 -050021#define BUILD_BUG() (0)
22#else /* __CHECKER__ */
23
24/* Force a compilation error if a constant expression is not a power of 2 */
25#define BUILD_BUG_ON_NOT_POWER_OF_2(n) \
26 BUILD_BUG_ON((n) == 0 || (((n) & ((n) - 1)) != 0))
27
28/* Force a compilation error if condition is true, but also produce a
29 result (of value 0 and type size_t), so the expression can be used
30 e.g. in a structure initializer (or where-ever else comma expressions
31 aren't permitted). */
32#define BUILD_BUG_ON_ZERO(e) (sizeof(struct { int:-!!(e); }))
33#define BUILD_BUG_ON_NULL(e) ((void *)sizeof(struct { int:-!!(e); }))
34
Konstantin Khlebnikovbaf05aa2012-05-29 15:06:27 -070035/*
36 * BUILD_BUG_ON_INVALID() permits the compiler to check the validity of the
37 * expression but avoids the generation of any code, even if that expression
38 * has side-effects.
39 */
40#define BUILD_BUG_ON_INVALID(e) ((void)(sizeof((__force long)(e))))
41
Paul Gortmaker35edd912011-11-16 23:51:05 -050042/**
43 * BUILD_BUG_ON - break compile if a condition is true.
44 * @condition: the condition which the compiler should know is false.
45 *
46 * If you have some code which relies on certain constants being equal, or
Daniel Santosa3ccc492013-02-21 16:41:52 -080047 * some other compile-time-evaluated condition, you should use BUILD_BUG_ON to
Paul Gortmaker35edd912011-11-16 23:51:05 -050048 * detect if someone changes it.
49 *
Daniel Santosa3ccc492013-02-21 16:41:52 -080050 * The implementation uses gcc's reluctance to create a negative array, but gcc
51 * (as of 4.4) only emits that error for obvious cases (e.g. not arguments to
52 * inline functions). Luckily, in 4.3 they added the "error" function
53 * attribute just for this type of case. Thus, we use a negative sized array
54 * (should always create an error on gcc versions older than 4.4) and then call
55 * an undefined function with the error attribute (should always create an
56 * error on gcc 4.3 and later). If for some reason, neither creates a
57 * compile-time error, we'll still have a link-time error, which is harder to
58 * track down.
Paul Gortmaker35edd912011-11-16 23:51:05 -050059 */
60#ifndef __OPTIMIZE__
61#define BUILD_BUG_ON(condition) ((void)sizeof(char[1 - 2*!!(condition)]))
62#else
Daniel Santosa3ccc492013-02-21 16:41:52 -080063#define BUILD_BUG_ON(condition) \
64 do { \
65 bool __cond = !!(condition); \
66 extern void __build_bug_on_failed(void) \
67 __compiletime_error("BUILD_BUG_ON failed"); \
68 if (__cond) \
69 __build_bug_on_failed(); \
70 ((void)sizeof(char[1 - 2 * __cond])); \
Daniel Santos1d6a0d12013-02-21 16:41:45 -080071 } while (0)
Paul Gortmaker35edd912011-11-16 23:51:05 -050072#endif
73
74/**
75 * BUILD_BUG - break compile if used.
76 *
77 * If you have some code that you expect the compiler to eliminate at
78 * build time, you should use BUILD_BUG to detect if it is
79 * unexpectedly used.
80 */
81#define BUILD_BUG() \
82 do { \
83 extern void __build_bug_failed(void) \
Daniel Santos6ae8d042013-02-21 16:41:42 -080084 __compiletime_error("BUILD_BUG failed");\
Paul Gortmaker35edd912011-11-16 23:51:05 -050085 __build_bug_failed(); \
86 } while (0)
87
88#endif /* __CHECKER__ */
89
Jeremy Fitzhardinge7664c5a2006-12-08 02:36:19 -080090#ifdef CONFIG_GENERIC_BUG
91#include <asm-generic/bug.h>
92
93static inline int is_warning_bug(const struct bug_entry *bug)
94{
95 return bug->flags & BUGFLAG_WARNING;
96}
97
98const struct bug_entry *find_bug(unsigned long bugaddr);
99
Heiko Carstens608e2612007-07-15 23:41:39 -0700100enum bug_trap_type report_bug(unsigned long bug_addr, struct pt_regs *regs);
Jeremy Fitzhardinge7664c5a2006-12-08 02:36:19 -0800101
Jeremy Fitzhardinge7664c5a2006-12-08 02:36:19 -0800102/* These are defined by the architecture */
103int is_valid_bugaddr(unsigned long addr);
104
105#else /* !CONFIG_GENERIC_BUG */
106
Heiko Carstens608e2612007-07-15 23:41:39 -0700107static inline enum bug_trap_type report_bug(unsigned long bug_addr,
108 struct pt_regs *regs)
Jeremy Fitzhardinge7664c5a2006-12-08 02:36:19 -0800109{
110 return BUG_TRAP_TYPE_BUG;
111}
Jeremy Fitzhardinge7664c5a2006-12-08 02:36:19 -0800112
113#endif /* CONFIG_GENERIC_BUG */
114#endif /* _LINUX_BUG_H */