1 /* SPDX-License-Identifier: GPL-2.0 */
2 #ifndef TYPECHECK_H_INCLUDED
3 #define TYPECHECK_H_INCLUDED
4
5 /*
6 * Check at compile time that something is of a particular type.
7 * Always evaluates to 1 so you may use it easily in comparisons.
8 */
9 #define typecheck(type,x) \
10 ({ type __dummy; \
11 typeof(x) __dummy2; \
12 (void)(&__dummy == &__dummy2); \
13 1; \
14 })
15
16 /*
17 * Check at compile time that 'function' is a certain type, or is a pointer
18 * to that type (needs to use typedef for the function type.)
19 */
20 #define typecheck_fn(type,function) \
21 ({ typeof(type) __tmp = function; \
22 (void)__tmp; \
23 })
24
25 /*
26 * Check at compile time that something is a pointer type.
27 */
28 #define typecheck_pointer(x) \
29 ({ typeof(x) __dummy; \
30 (void)sizeof(*__dummy); \
31 1; \
32 })
33
34 #endif /* TYPECHECK_H_INCLUDED */
35
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.