57 101: "PARAM_CLEARED",
58 103: "PARAM_LIMIT",
59 104: "PARAM_FILTER",
60 1001: "PARAM_VALUE",
61 1002: "BUF_SIZE",
62 1004: "CAPPED_DATA",
63 1005: "RETURN_VALUE",
64 1006: "DEREFERENCE",
65 1007: "RANGE_CAP",
66 1008: "LOCK_HELD",
67 1009: "LOCK_RELEASED",
68 1010: "ABSOLUTE_LIMITS",
69 1012: "PARAM_ADD",
70 1013: "PARAM_FREED",
71 1014: "DATA_SOURCE",
72 1015: "FUZZY_MAX",
73 1016: "STR_LEN",
74 1017: "ARRAY_LEN",
75 1018: "CAPABLE",
76 1019: "NS_CAPABLE",
77 1022: "TYPE_LINK",
78 1023: "UNTRACKED_PARAM",
79 1024: "CULL_PATH",
80 1025: "PARAM_SET",
81 1026: "PARAM_USED",
82 1027: "BYTE_UNITS",
83 1028: "COMPARE_LIMIT",
84 1029: "PARAM_COMPARE",
85 1030: "EXPECTS_TYPE",
86 1031: "CONSTRAINT",
87 1032: "PASSES_TYPE",
88 1033: "CONSTRAINT_REQUIRED",
89 1034: "BIT_INFO",
90 1035: "NOSPEC",
91 1036: "NOSPEC_WB",
92 1037: "STMT_CNT",
93 1038: "TERMINATED",
94 1039: "SLEEP",
95 1040: "NO_SLEEP_CNT",
96 1041: "SMALLISH",
97 1042: "FRESH_MTAG",
98
99 8017: "USER_DATA",
100 9017: "USER_DATA_SET",
101 8018: "NO_OVERFLOW",
102 8019: "NO_OVERFLOW_SIMPLE",
103 8020: "LOCKED",
104 8021: "UNLOCKED",
105 8023: "ATOMIC_INC",
106 8024: "ATOMIC_DEC",
107 };
108
109 def add_range(rl, min_val, max_val):
110 check_next = 0
111 done = 0
112 ret = []
113 idx = 0
114
115 if len(rl) == 0:
116 return [[min_val, max_val]]
117
118 for idx in range(len(rl)):
119 cur_min = rl[idx][0]
120 cur_max = rl[idx][1]
121
122 # we already merged the new range but we might need to change later
123 # ranges if they over lap with more than one
124 if check_next:
|
57 101: "PARAM_CLEARED",
58 103: "PARAM_LIMIT",
59 104: "PARAM_FILTER",
60 1001: "PARAM_VALUE",
61 1002: "BUF_SIZE",
62 1004: "CAPPED_DATA",
63 1005: "RETURN_VALUE",
64 1006: "DEREFERENCE",
65 1007: "RANGE_CAP",
66 1008: "LOCK_HELD",
67 1009: "LOCK_RELEASED",
68 1010: "ABSOLUTE_LIMITS",
69 1012: "PARAM_ADD",
70 1013: "PARAM_FREED",
71 1014: "DATA_SOURCE",
72 1015: "FUZZY_MAX",
73 1016: "STR_LEN",
74 1017: "ARRAY_LEN",
75 1018: "CAPABLE",
76 1019: "NS_CAPABLE",
77 1020: "CONTAINER",
78 1022: "TYPE_LINK",
79 1023: "UNTRACKED_PARAM",
80 1024: "CULL_PATH",
81 1025: "PARAM_SET",
82 1026: "PARAM_USED",
83 1027: "BYTE_UNITS",
84 1028: "COMPARE_LIMIT",
85 1029: "PARAM_COMPARE",
86 1030: "EXPECTS_TYPE",
87 1031: "CONSTRAINT",
88 1032: "PASSES_TYPE",
89 1033: "CONSTRAINT_REQUIRED",
90 1034: "BIT_INFO",
91 1035: "NOSPEC",
92 1036: "NOSPEC_WB",
93 1037: "STMT_CNT",
94 1038: "TERMINATED",
95 1039: "SLEEP",
96 1040: "PREEMPT_CNT",
97 1041: "SMALLISH",
98 1042: "FRESH_MTAG",
99
100 8017: "USER_DATA",
101 9017: "USER_DATA_SET",
102 8018: "NO_OVERFLOW",
103 8019: "NO_OVERFLOW_SIMPLE",
104 8020: "LOCKED",
105 8021: "UNLOCKED",
106 9022: "HALF_LOCKED",
107 9023: "LOCK_RESTORED",
108 9024: "KNOWN_LOCKED",
109 9025: "KNOWN_UNLOCKED",
110 8023: "ATOMIC_INC",
111 8024: "ATOMIC_DEC",
112 };
113
114 def add_range(rl, min_val, max_val):
115 check_next = 0
116 done = 0
117 ret = []
118 idx = 0
119
120 if len(rl) == 0:
121 return [[min_val, max_val]]
122
123 for idx in range(len(rl)):
124 cur_min = rl[idx][0]
125 cur_max = rl[idx][1]
126
127 # we already merged the new range but we might need to change later
128 # ranges if they over lap with more than one
129 if check_next:
|