29
30 static inline void __smatch_possible(const char *unused){}
31 static inline void __smatch_print_value(const char *unused){}
32
33 static inline void __smatch_strlen(const void *buf){}
34 static inline void __smatch_buf_size(const void *buf){}
35
36 static inline void __smatch_note(const char *note){}
37
38 static inline void __smatch_dump_related(void){}
39
40 static inline void __smatch_compare(long long one, long long two){}
41
42 static inline void __smatch_debug_on(void){}
43 static inline void __smatch_debug_check(const char *check_name){}
44 static inline void __smatch_debug_off(void){}
45
46 static inline void __smatch_local_debug_on(void){}
47 static inline void __smatch_local_debug_off(void){}
48
49 static inline void __smatch_debug_implied_on(void){}
50 static inline void __smatch_debug_implied_off(void){}
51
52 static inline void __smatch_intersection(long long one, long long two){}
53 static inline void __smatch_type(long long one){}
54
55 static long long __smatch_val;
56 static inline long long __smatch_type_rl_helper(long long type, const char *str, ...)
57 {
58 return __smatch_val;
59 }
60 #define __smatch_type_rl(type, fmt...) __smatch_type_rl_helper((type)0, fmt)
61 #define __smatch_rl(fmt...) __smatch_type_rl(long long, fmt)
62
63 static inline void __smatch_bit_info(long long expr){}
64
65 static inline void __smatch_oops(unsigned long null_val){}
66
67 static inline void __smatch_merge_tree(long long var){}
68
|
29
30 static inline void __smatch_possible(const char *unused){}
31 static inline void __smatch_print_value(const char *unused){}
32
33 static inline void __smatch_strlen(const void *buf){}
34 static inline void __smatch_buf_size(const void *buf){}
35
36 static inline void __smatch_note(const char *note){}
37
38 static inline void __smatch_dump_related(void){}
39
40 static inline void __smatch_compare(long long one, long long two){}
41
42 static inline void __smatch_debug_on(void){}
43 static inline void __smatch_debug_check(const char *check_name){}
44 static inline void __smatch_debug_off(void){}
45
46 static inline void __smatch_local_debug_on(void){}
47 static inline void __smatch_local_debug_off(void){}
48
49 static inline void __smatch_debug_db_on(void){}
50 static inline void __smatch_debug_db_off(void){}
51
52 static inline void __smatch_debug_implied_on(void){}
53 static inline void __smatch_debug_implied_off(void){}
54
55 static inline void __smatch_intersection(long long one, long long two){}
56 static inline void __smatch_type(long long one){}
57
58 static long long __smatch_val;
59 static inline long long __smatch_type_rl_helper(long long type, const char *str, ...)
60 {
61 return __smatch_val;
62 }
63 #define __smatch_type_rl(type, fmt...) __smatch_type_rl_helper((type)0, fmt)
64 #define __smatch_rl(fmt...) __smatch_type_rl(long long, fmt)
65
66 static inline void __smatch_bit_info(long long expr){}
67
68 static inline void __smatch_oops(unsigned long null_val){}
69
70 static inline void __smatch_merge_tree(long long var){}
71
|