compiler.h, bug.h: prevent double error messages with BUILD_BUG{,_ON}
[deliverable/linux.git] / include / linux / bug.h
CommitLineData
7664c5a1
JF
1#ifndef _LINUX_BUG_H
2#define _LINUX_BUG_H
3
7664c5a1 4#include <asm/bug.h>
a3ccc497 5#include <linux/compiler.h>
7664c5a1
JF
6
7enum bug_trap_type {
8 BUG_TRAP_TYPE_NONE = 0,
9 BUG_TRAP_TYPE_WARN = 1,
10 BUG_TRAP_TYPE_BUG = 2,
11};
12
608e2619
HC
13struct pt_regs;
14
35edd910 15#ifdef __CHECKER__
ca623c91 16#define BUILD_BUG_ON_NOT_POWER_OF_2(n) (0)
35edd910
PG
17#define BUILD_BUG_ON_ZERO(e) (0)
18#define BUILD_BUG_ON_NULL(e) ((void*)0)
c5782e9f 19#define BUILD_BUG_ON_INVALID(e) (0)
ca623c91 20#define BUILD_BUG_ON(condition) (0)
35edd910
PG
21#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
baf05aa9
KK
35/*
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
35edd910
PG
42/**
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
a3ccc497 47 * some other compile-time-evaluated condition, you should use BUILD_BUG_ON to
35edd910
PG
48 * detect if someone changes it.
49 *
a3ccc497
DS
50 * 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.
35edd910
PG
59 */
60#ifndef __OPTIMIZE__
61#define BUILD_BUG_ON(condition) ((void)sizeof(char[1 - 2*!!(condition)]))
62#else
a3ccc497
DS
63#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(); \
c361d3e5 70 __compiletime_error_fallback(__cond); \
1d6a0d19 71 } while (0)
35edd910
PG
72#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) \
6ae8d048 84 __compiletime_error("BUILD_BUG failed");\
35edd910
PG
85 __build_bug_failed(); \
86 } while (0)
87
88#endif /* __CHECKER__ */
89
7664c5a1
JF
90#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
608e2619 100enum bug_trap_type report_bug(unsigned long bug_addr, struct pt_regs *regs);
7664c5a1 101
7664c5a1
JF
102/* These are defined by the architecture */
103int is_valid_bugaddr(unsigned long addr);
104
105#else /* !CONFIG_GENERIC_BUG */
106
608e2619
HC
107static inline enum bug_trap_type report_bug(unsigned long bug_addr,
108 struct pt_regs *regs)
7664c5a1
JF
109{
110 return BUG_TRAP_TYPE_BUG;
111}
7664c5a1
JF
112
113#endif /* CONFIG_GENERIC_BUG */
114#endif /* _LINUX_BUG_H */
This page took 0.596281 seconds and 5 git commands to generate.