forked from error27/smatch
-
Notifications
You must be signed in to change notification settings - Fork 0
/
check_debug.h
90 lines (63 loc) · 3.18 KB
/
check_debug.h
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
#ifndef __SMATCH_CHECK_DEBUG
#define __SMATCH_CHECK_DEBUG
static inline void __smatch_about(long var){}
static inline void __smatch_cur_stree(void){}
static inline void __smatch_all_values(void){}
static inline void __smatch_state(const char *check_name, const char *state_name){}
static inline void __smatch_states(const char *check_name){}
static inline void __smatch_value(const char *unused){}
static inline void __smatch_known(long long val){}
static inline void __smatch_implied(long long val){}
static inline void __smatch_implied_min(long long val){}
static inline void __smatch_implied_max(long long val){}
static inline void __smatch_user_rl(long long val){}
static inline void __smatch_host_rl(long long val){}
static inline void __smatch_capped(long long val){}
static inline void __smatch_hard_max(long long val){}
static inline void __smatch_fuzzy_max(long long val){}
static inline void __smatch_absolute(long long val){}
static inline void __smatch_absolute_min(long long val){}
static inline void __smatch_absolute_max(long long val){}
static inline void __smatch_real_absolute(long long val){}
static inline void __smatch_sval_info(long long val){}
static inline void __smatch_member_name(long long val){}
static inline void __smatch_possible(const char *unused){}
static inline void __smatch_print_value(const char *unused){}
static inline void __smatch_strlen(const void *buf){}
static inline void __smatch_buf_size(const void *buf){}
static inline void __smatch_note(const char *note){}
static inline void __smatch_dump_related(void){}
static inline void __smatch_compare(long long one, long long two){}
static inline void __smatch_debug_on(void){}
static inline void __smatch_debug_check(const char *check_name){}
static inline void __smatch_debug_var(const char *var_name){}
static inline void __smatch_debug_off(void){}
static inline void __smatch_local_debug_on(void){}
static inline void __smatch_local_debug_off(void){}
static inline void __smatch_debug_db_on(void){}
static inline void __smatch_debug_db_off(void){}
static inline void __smatch_debug_implied_on(void){}
static inline void __smatch_debug_implied_off(void){}
static inline void __smatch_intersection(long long one, long long two){}
static inline void __smatch_type(long long one){}
static long long __smatch_val;
static inline long long __smatch_type_rl_helper(long long type, const char *str, ...)
{
return __smatch_val;
}
#define __smatch_type_rl(type, fmt...) __smatch_type_rl_helper((type)0, fmt)
#define __smatch_rl(fmt...) __smatch_type_rl(long long, fmt)
static inline void __smatch_bits(long long expr){}
static inline void __smatch_oops(unsigned long null_val){}
static inline void __smatch_merge_tree(long long var){}
static inline void __smatch_stree_id(void){}
static inline void __smatch_mtag(void *p){}
static inline void __smatch_mtag_data(long long arg){}
static inline void __smatch_exit(void){}
static inline void __smatch_expr(const char *str, void *p){}
static inline void __smatch_state_count(void){}
static inline void __smatch_mem(void){}
static inline void __smatch_timer_start(void){}
static inline void __smatch_timer_stop(void){}
static inline void __smatch_container(long long container, long long x){}
#endif