Print this page
12166 resync smatch to 0.6.1-rc1-il-3
Split |
Close |
Expand all |
Collapse all |
--- old/usr/src/tools/smatch/src/check_debug.h
+++ new/usr/src/tools/smatch/src/check_debug.h
1 1 #ifndef __SMATCH_CHECK_DEBUG
2 2 #define __SMATCH_CHECK_DEBUG
3 3
4 4 static inline void __smatch_about(long var){}
5 5
6 6 static inline void __smatch_cur_stree(void){}
7 7 static inline void __smatch_all_values(void){}
8 8 static inline void __smatch_state(const char *check_name, const char *state_name){}
9 9 static inline void __smatch_states(const char *check_name){}
10 10 static inline void __smatch_value(const char *unused){}
11 11 static inline void __smatch_known(long long val){}
12 12 static inline void __smatch_implied(long long val){}
13 13 static inline void __smatch_implied_min(long long val){}
14 14 static inline void __smatch_implied_max(long long val){}
15 15 static inline void __smatch_user_rl(long long val){}
16 16 static inline void __smatch_capped(long long val){}
17 17
18 18 static inline void __smatch_hard_max(long long val){}
19 19 static inline void __smatch_fuzzy_max(long long val){}
20 20
21 21 static inline void __smatch_absolute(long long val){}
22 22 static inline void __smatch_absolute_min(long long val){}
23 23 static inline void __smatch_absolute_max(long long val){}
24 24 static inline void __smatch_real_absolute(long long val){}
25 25
26 26 static inline void __smatch_sval_info(long long val){}
27 27
28 28 static inline void __smatch_member_name(long long val){}
29 29
30 30 static inline void __smatch_possible(const char *unused){}
31 31 static inline void __smatch_print_value(const char *unused){}
32 32
33 33 static inline void __smatch_strlen(const void *buf){}
34 34 static inline void __smatch_buf_size(const void *buf){}
35 35
36 36 static inline void __smatch_note(const char *note){}
37 37
38 38 static inline void __smatch_dump_related(void){}
↓ open down ↓ |
38 lines elided |
↑ open up ↑ |
39 39
40 40 static inline void __smatch_compare(long long one, long long two){}
41 41
42 42 static inline void __smatch_debug_on(void){}
43 43 static inline void __smatch_debug_check(const char *check_name){}
44 44 static inline void __smatch_debug_off(void){}
45 45
46 46 static inline void __smatch_local_debug_on(void){}
47 47 static inline void __smatch_local_debug_off(void){}
48 48
49 +static inline void __smatch_debug_db_on(void){}
50 +static inline void __smatch_debug_db_off(void){}
51 +
49 52 static inline void __smatch_debug_implied_on(void){}
50 53 static inline void __smatch_debug_implied_off(void){}
51 54
52 55 static inline void __smatch_intersection(long long one, long long two){}
53 56 static inline void __smatch_type(long long one){}
54 57
55 58 static long long __smatch_val;
56 59 static inline long long __smatch_type_rl_helper(long long type, const char *str, ...)
57 60 {
58 61 return __smatch_val;
59 62 }
60 63 #define __smatch_type_rl(type, fmt...) __smatch_type_rl_helper((type)0, fmt)
61 64 #define __smatch_rl(fmt...) __smatch_type_rl(long long, fmt)
62 65
63 66 static inline void __smatch_bit_info(long long expr){}
64 67
65 68 static inline void __smatch_oops(unsigned long null_val){}
66 69
67 70 static inline void __smatch_merge_tree(long long var){}
68 71
69 72 static inline void __smatch_stree_id(void){}
70 73
71 74 static inline void __smatch_mtag(void *p){}
72 75 static inline void __smatch_mtag_data(long long arg){}
73 76 static inline void __smatch_exit(void){}
74 77
75 78 static inline void __smatch_state_count(void){}
76 79 static inline void __smatch_mem(void){}
77 80
78 81 static inline void __smatch_container(long long container, long long x){}
79 82 #endif
↓ open down ↓ |
21 lines elided |
↑ open up ↑ |
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX