Defined in 2 files as a function:
Referenced in 2 files:
-
lib/test_maple_tree.c
- line 1008
- line 1009
- line 1010
- line 1017
- line 1025
- line 1033
- line 1039
- line 1049
- line 1077
- line 1078
- line 1092
- line 1093
- line 1106
- line 1107
- line 1120
- line 1121
- line 1147
- line 1149
- line 1150
- line 1151
- line 1152
- line 1153
- line 1161
- line 1163
- line 1164
- line 1165
- line 1166
- line 1167
- line 1168
- line 1180
- line 1187
- line 1202
- line 1209
- line 1219
- line 1230
- line 1244
- line 1246
- line 1247
- line 1248
- line 1249
- line 1262
- line 1264
- line 1273
- line 1275
- line 1276
- line 1277
- line 1278
- line 1279
- line 1288
- line 1293
- line 1297
- line 1303
- line 1315
- line 1323
- line 1332
- line 1339
- line 1344
- line 1345
- line 1346
- line 1347
- line 1348
- line 1350
- lib/test_xarray.c, line 2257
Smatch caller information:
lib/test_maple_tree.c check_ranges() -> check_store_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xa | 697437168751288320 |
| PARAM_VALUE | 0 | xa->ma_flags | 0 |
| PARAM_VALUE | 0 | xa->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | xa->ma_root | 0 |
| PARAM_VALUE | 1 | start | 17 |
| PARAM_VALUE | 2 | end | 22 |
| PARAM_VALUE | 3 | ptr | 35 |
| PARAM_VALUE | 4 | expected | 0 |
| DATA_SOURCE | 0 | xa | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_ranges() -> check_store_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xa | 697437168751288320 |
| PARAM_VALUE | 0 | xa->ma_flags | 0 |
| PARAM_VALUE | 0 | xa->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | xa->ma_root | 0 |
| PARAM_VALUE | 1 | start | 9 |
| PARAM_VALUE | 2 | end | 1000 |
| PARAM_VALUE | 3 | ptr | 19 |
| PARAM_VALUE | 4 | expected | 0 |
| DATA_SOURCE | 0 | xa | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_ranges() -> check_store_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xa | 697437168751288320 |
| PARAM_VALUE | 0 | xa->ma_flags | 0 |
| PARAM_VALUE | 0 | xa->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | xa->ma_root | 0 |
| PARAM_VALUE | 1 | start | 100 |
| PARAM_VALUE | 2 | end | 200 |
| PARAM_VALUE | 3 | ptr | 201 |
| PARAM_VALUE | 4 | expected | 0 |
| DATA_SOURCE | 0 | xa | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_ranges() -> check_store_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xa | 697437168751288320 |
| PARAM_VALUE | 0 | xa->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | xa->ma_root | 0 |
| PARAM_VALUE | 1 | start | 5 |
| PARAM_VALUE | 2 | end | 47 |
| PARAM_VALUE | 3 | ptr | 95 |
| PARAM_VALUE | 4 | expected | 0 |
| DATA_SOURCE | 0 | xa | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_ranges() -> check_store_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xa | 697437168751288320 |
| PARAM_VALUE | 0 | xa->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | xa->ma_root | 0 |
| PARAM_VALUE | 1 | start | 45 |
| PARAM_VALUE | 2 | end | 168 |
| PARAM_VALUE | 3 | ptr | 91 |
| PARAM_VALUE | 4 | expected | 0 |
| DATA_SOURCE | 0 | xa | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_ranges() -> check_store_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xa | 697437168751288320 |
| PARAM_VALUE | 0 | xa->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | xa->ma_root | 0 |
| PARAM_VALUE | 1 | start | 45 |
| PARAM_VALUE | 2 | end | 168 |
| PARAM_VALUE | 3 | ptr | 91 |
| PARAM_VALUE | 4 | expected | 0 |
| DATA_SOURCE | 0 | xa | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_ranges() -> check_store_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xa | 697437168751288320 |
| PARAM_VALUE | 0 | xa->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | xa->ma_root | 0 |
| PARAM_VALUE | 1 | start | 6 |
| PARAM_VALUE | 2 | end | 18 |
| PARAM_VALUE | 3 | ptr | 13 |
| PARAM_VALUE | 4 | expected | 0 |
| DATA_SOURCE | 0 | xa | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_ranges() -> check_store_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xa | 697437168751288320 |
| PARAM_VALUE | 0 | xa->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | xa->ma_root | 0 |
| PARAM_VALUE | 1 | start | 118 |
| PARAM_VALUE | 2 | end | 128 |
| PARAM_VALUE | 3 | ptr | 237 |
| PARAM_VALUE | 4 | expected | 0 |
| DATA_SOURCE | 0 | xa | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_ranges() -> check_store_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xa | 697437168751288320 |
| PARAM_VALUE | 0 | xa->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | xa->ma_root | 0 |
| PARAM_VALUE | 1 | start | 353 |
| PARAM_VALUE | 2 | end | 361 |
| PARAM_VALUE | 3 | ptr | 707 |
| PARAM_VALUE | 4 | expected | 0 |
| DATA_SOURCE | 0 | xa | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_ranges() -> check_store_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xa | 697437168751288320 |
| PARAM_VALUE | 0 | xa->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | xa->ma_root | 0 |
| PARAM_VALUE | 1 | start | 347 |
| PARAM_VALUE | 2 | end | 352 |
| PARAM_VALUE | 3 | ptr | 695 |
| PARAM_VALUE | 4 | expected | 0 |
| DATA_SOURCE | 0 | xa | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_ranges() -> check_store_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xa | 697437168751288320 |
| PARAM_VALUE | 0 | xa->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | xa->ma_root | 0 |
| PARAM_VALUE | 1 | start | 352 |
| PARAM_VALUE | 2 | end | 364 |
| PARAM_VALUE | 3 | ptr | 0 |
| PARAM_VALUE | 4 | expected | 0 |
| DATA_SOURCE | 0 | xa | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_ranges() -> check_store_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xa | 697437168751288320 |
| PARAM_VALUE | 0 | xa->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | xa->ma_root | 0 |
| PARAM_VALUE | 1 | start | 351 |
| PARAM_VALUE | 2 | end | 363 |
| PARAM_VALUE | 3 | ptr | 705 |
| PARAM_VALUE | 4 | expected | 0 |
| DATA_SOURCE | 0 | xa | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_ranges() -> check_store_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xa | 697437168751288320 |
| PARAM_VALUE | 0 | xa->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | xa->ma_root | 0 |
| PARAM_VALUE | 1 | start | 352 |
| PARAM_VALUE | 2 | end | 364 |
| PARAM_VALUE | 3 | ptr | 0 |
| PARAM_VALUE | 4 | expected | 0 |
| DATA_SOURCE | 0 | xa | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_ranges() -> check_store_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xa | 697437168751288320 |
| PARAM_VALUE | 0 | xa->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | xa->ma_root | 0 |
| PARAM_VALUE | 1 | start | 351 |
| PARAM_VALUE | 2 | end | 364 |
| PARAM_VALUE | 3 | ptr | 705 |
| PARAM_VALUE | 4 | expected | 0 |
| DATA_SOURCE | 0 | xa | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_ranges() -> check_store_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xa | 697437168751288320 |
| PARAM_VALUE | 0 | xa->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | xa->ma_root | 0 |
| PARAM_VALUE | 1 | start | 362 |
| PARAM_VALUE | 2 | end | 367 |
| PARAM_VALUE | 3 | ptr | 725 |
| PARAM_VALUE | 4 | expected | 0 |
| DATA_SOURCE | 0 | xa | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_ranges() -> check_store_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xa | 697437168751288320 |
| PARAM_VALUE | 0 | xa->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | xa->ma_root | 0 |
| PARAM_VALUE | 1 | start | 353 |
| PARAM_VALUE | 2 | end | 361 |
| PARAM_VALUE | 3 | ptr | 707 |
| PARAM_VALUE | 4 | expected | 0 |
| DATA_SOURCE | 0 | xa | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_ranges() -> check_store_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xa | 697437168751288320 |
| PARAM_VALUE | 0 | xa->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | xa->ma_root | 0 |
| PARAM_VALUE | 1 | start | 0-2500 |
| PARAM_VALUE | 2 | end | 5-2505 |
| PARAM_VALUE | 3 | ptr | 1,3-5001 |
| PARAM_VALUE | 4 | expected | 0 |
| CAPPED_DATA | 1 | start | 1 |
| CAPPED_DATA | 2 | end | 1 |
| DATA_SOURCE | 0 | xa | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_ranges() -> check_store_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xa | 697437168751288320 |
| PARAM_VALUE | 0 | xa->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | xa->ma_root | 0 |
| PARAM_VALUE | 1 | start | 2400 |
| PARAM_VALUE | 2 | end | 2400 |
| PARAM_VALUE | 3 | ptr | 4801 |
| PARAM_VALUE | 4 | expected | 0 |
| DATA_SOURCE | 0 | xa | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_ranges() -> check_store_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xa | 697437168751288320 |
| PARAM_VALUE | 0 | xa->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | xa->ma_root | 0 |
| PARAM_VALUE | 1 | start | 2411 |
| PARAM_VALUE | 2 | end | 2411 |
| PARAM_VALUE | 3 | ptr | 4823 |
| PARAM_VALUE | 4 | expected | 0 |
| DATA_SOURCE | 0 | xa | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_ranges() -> check_store_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xa | 697437168751288320 |
| PARAM_VALUE | 0 | xa->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | xa->ma_root | 0 |
| PARAM_VALUE | 1 | start | 2412 |
| PARAM_VALUE | 2 | end | 2412 |
| PARAM_VALUE | 3 | ptr | 4825 |
| PARAM_VALUE | 4 | expected | 0 |
| DATA_SOURCE | 0 | xa | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_ranges() -> check_store_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xa | 697437168751288320 |
| PARAM_VALUE | 0 | xa->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | xa->ma_root | 0 |
| PARAM_VALUE | 1 | start | 2396 |
| PARAM_VALUE | 2 | end | 2400 |
| PARAM_VALUE | 3 | ptr | 8104041 |
| PARAM_VALUE | 4 | expected | 0 |
| DATA_SOURCE | 0 | xa | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_ranges() -> check_store_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xa | 697437168751288320 |
| PARAM_VALUE | 0 | xa->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | xa->ma_root | 0 |
| PARAM_VALUE | 1 | start | 2402 |
| PARAM_VALUE | 2 | end | 2402 |
| PARAM_VALUE | 3 | ptr | 4805 |
| PARAM_VALUE | 4 | expected | 0 |
| DATA_SOURCE | 0 | xa | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_ranges() -> check_store_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xa | 697437168751288320 |
| PARAM_VALUE | 0 | xa->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | xa->ma_root | 0 |
| PARAM_VALUE | 1 | start | 0-2500 |
| PARAM_VALUE | 2 | end | 5-2505 |
| PARAM_VALUE | 3 | ptr | 1,3-5001 |
| PARAM_VALUE | 4 | expected | 0 |
| CAPPED_DATA | 1 | start | 1 |
| CAPPED_DATA | 2 | end | 1 |
| DATA_SOURCE | 0 | xa | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_ranges() -> check_store_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xa | 697437168751288320 |
| PARAM_VALUE | 0 | xa->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | xa->ma_root | 0 |
| PARAM_VALUE | 1 | start | 2422 |
| PARAM_VALUE | 2 | end | 2422 |
| PARAM_VALUE | 3 | ptr | 4845 |
| PARAM_VALUE | 4 | expected | 0 |
| DATA_SOURCE | 0 | xa | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_ranges() -> check_store_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xa | 697437168751288320 |
| PARAM_VALUE | 0 | xa->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | xa->ma_root | 0 |
| PARAM_VALUE | 1 | start | 2424 |
| PARAM_VALUE | 2 | end | 2424 |
| PARAM_VALUE | 3 | ptr | 4849 |
| PARAM_VALUE | 4 | expected | 0 |
| DATA_SOURCE | 0 | xa | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_ranges() -> check_store_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xa | 697437168751288320 |
| PARAM_VALUE | 0 | xa->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | xa->ma_root | 0 |
| PARAM_VALUE | 1 | start | 2425 |
| PARAM_VALUE | 2 | end | 2425 |
| PARAM_VALUE | 3 | ptr | 5 |
| PARAM_VALUE | 4 | expected | 0 |
| DATA_SOURCE | 0 | xa | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_ranges() -> check_store_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xa | 697437168751288320 |
| PARAM_VALUE | 0 | xa->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | xa->ma_root | 0 |
| PARAM_VALUE | 1 | start | 2460 |
| PARAM_VALUE | 2 | end | 2470 |
| PARAM_VALUE | 3 | ptr | 0 |
| PARAM_VALUE | 4 | expected | 0 |
| DATA_SOURCE | 0 | xa | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_ranges() -> check_store_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xa | 697437168751288320 |
| PARAM_VALUE | 0 | xa->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | xa->ma_root | 0 |
| PARAM_VALUE | 1 | start | 2435 |
| PARAM_VALUE | 2 | end | 2460 |
| PARAM_VALUE | 3 | ptr | 4871 |
| PARAM_VALUE | 4 | expected | 0 |
| DATA_SOURCE | 0 | xa | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_ranges() -> check_store_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xa | 697437168751288320 |
| PARAM_VALUE | 0 | xa->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | xa->ma_root | 0 |
| PARAM_VALUE | 1 | start | 2461 |
| PARAM_VALUE | 2 | end | 2470 |
| PARAM_VALUE | 3 | ptr | 4923 |
| PARAM_VALUE | 4 | expected | 0 |
| DATA_SOURCE | 0 | xa | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_ranges() -> check_store_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xa | 697437168751288320 |
| PARAM_VALUE | 0 | xa->ma_flags | 1 |
| PARAM_VALUE | 0 | xa->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | xa->ma_root | 0 |
| PARAM_VALUE | 1 | start | 1-2501 |
| PARAM_VALUE | 2 | end | 5-2505 |
| PARAM_VALUE | 3 | ptr | 3-5003 |
| PARAM_VALUE | 4 | expected | 0 |
| CAPPED_DATA | 1 | start | 1 |
| CAPPED_DATA | 2 | end | 1 |
| DATA_SOURCE | 0 | xa | $0 |
| PARAM_COMPARE | 1 | start | < $2 |
| PARAM_COMPARE | 2 | end | > $1 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_ranges() -> check_store_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xa | 697437168751288320 |
| PARAM_VALUE | 0 | xa->ma_flags | 1 |
| PARAM_VALUE | 0 | xa->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | xa->ma_root | 0 |
| PARAM_VALUE | 1 | start | 10-2519 |
| PARAM_VALUE | 2 | end | 14-2523 |
| PARAM_VALUE | 3 | ptr | 21-5039 |
| PARAM_VALUE | 4 | expected | 0 |
| CAPPED_DATA | 1 | start | 1 |
| CAPPED_DATA | 2 | end | 1 |
| DATA_SOURCE | 0 | xa | $0 |
| PARAM_COMPARE | 1 | start | < $2 |
| PARAM_COMPARE | 2 | end | > $1 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_ranges() -> check_store_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xa | 697437168751288320 |
| PARAM_VALUE | 0 | xa->ma_flags | 1 |
| PARAM_VALUE | 0 | xa->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | xa->ma_root | 0 |
| PARAM_VALUE | 1 | start | 51,61-146 |
| PARAM_VALUE | 2 | end | 56,66-151 |
| PARAM_VALUE | 3 | ptr | 103,123-293 |
| PARAM_VALUE | 4 | expected | 0 |
| CAPPED_DATA | 1 | start | 1 |
| CAPPED_DATA | 2 | end | 1 |
| DATA_SOURCE | 0 | xa | $0 |
| PARAM_COMPARE | 1 | start | < $2 |
| PARAM_COMPARE | 2 | end | > $1 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_ranges() -> check_store_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xa | 697437168751288320 |
| PARAM_VALUE | 0 | xa->ma_flags | 1 |
| PARAM_VALUE | 0 | xa->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | xa->ma_root | 0 |
| PARAM_VALUE | 1 | start | 245,255-340 |
| PARAM_VALUE | 2 | end | 250,260-345 |
| PARAM_VALUE | 3 | ptr | 491,511-681 |
| PARAM_VALUE | 4 | expected | 0 |
| CAPPED_DATA | 1 | start | 1 |
| CAPPED_DATA | 2 | end | 1 |
| DATA_SOURCE | 0 | xa | $0 |
| PARAM_COMPARE | 1 | start | > $2 |
| PARAM_COMPARE | 2 | end | < $1 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_ranges() -> check_store_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xa | 697437168751288320 |
| PARAM_VALUE | 0 | xa->ma_flags | 1 |
| PARAM_VALUE | 0 | xa->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | xa->ma_root | 0 |
| PARAM_VALUE | 1 | start | 495,510-640 |
| PARAM_VALUE | 2 | end | 501,516-646 |
| PARAM_VALUE | 3 | ptr | 991,1021-1281 |
| PARAM_VALUE | 4 | expected | 0 |
| CAPPED_DATA | 1 | start | 1 |
| CAPPED_DATA | 2 | end | 1 |
| DATA_SOURCE | 0 | xa | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_ranges() -> check_store_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xa | 697437168751288320 |
| PARAM_VALUE | 0 | xa->ma_flags | 3 |
| PARAM_VALUE | 0 | xa->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | xa->ma_root | 0 |
| PARAM_VALUE | 1 | start | 745,760-890 |
| PARAM_VALUE | 2 | end | 751,766-896 |
| PARAM_VALUE | 3 | ptr | 1491,1521-1781 |
| PARAM_VALUE | 4 | expected | 0 |
| CAPPED_DATA | 1 | start | 1 |
| CAPPED_DATA | 2 | end | 1 |
| DATA_SOURCE | 0 | xa | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_ranges() -> check_store_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xa | 697437168751288320 |
| PARAM_VALUE | 0 | xa->ma_flags | 1 |
| PARAM_VALUE | 0 | xa->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | xa->ma_root | 0 |
| PARAM_VALUE | 1 | start | 0-500 |
| PARAM_VALUE | 2 | end | 10-510 |
| PARAM_VALUE | 3 | ptr | 1,3-1001 |
| PARAM_VALUE | 4 | expected | 0 |
| CAPPED_DATA | 1 | start | 1 |
| CAPPED_DATA | 2 | end | 1 |
| DATA_SOURCE | 0 | xa | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_ranges() -> check_store_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xa | 697437168751288320 |
| PARAM_VALUE | 0 | xa->ma_flags | 1 |
| PARAM_VALUE | 0 | xa->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | xa->ma_root | 0 |
| PARAM_VALUE | 1 | start | 161 |
| PARAM_VALUE | 2 | end | 161 |
| PARAM_VALUE | 3 | ptr | 323 |
| PARAM_VALUE | 4 | expected | 0 |
| DATA_SOURCE | 0 | xa | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_ranges() -> check_store_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xa | 697437168751288320 |
| PARAM_VALUE | 0 | xa->ma_flags | 1 |
| PARAM_VALUE | 0 | xa->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | xa->ma_root | 0 |
| PARAM_VALUE | 1 | start | 162 |
| PARAM_VALUE | 2 | end | 162 |
| PARAM_VALUE | 3 | ptr | 325 |
| PARAM_VALUE | 4 | expected | 0 |
| DATA_SOURCE | 0 | xa | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_ranges() -> check_store_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xa | 697437168751288320 |
| PARAM_VALUE | 0 | xa->ma_flags | 1 |
| PARAM_VALUE | 0 | xa->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | xa->ma_root | 0 |
| PARAM_VALUE | 1 | start | 163 |
| PARAM_VALUE | 2 | end | 163 |
| PARAM_VALUE | 3 | ptr | 327 |
| PARAM_VALUE | 4 | expected | 0 |
| DATA_SOURCE | 0 | xa | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_ranges() -> check_store_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xa | 697437168751288320 |
| PARAM_VALUE | 0 | xa->ma_flags | 1 |
| PARAM_VALUE | 0 | xa->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | xa->ma_root | 0 |
| PARAM_VALUE | 1 | start | 240 |
| PARAM_VALUE | 2 | end | 249 |
| PARAM_VALUE | 3 | ptr | 0 |
| PARAM_VALUE | 4 | expected | 0 |
| DATA_SOURCE | 0 | xa | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_ranges() -> check_store_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xa | 697437168751288320 |
| PARAM_VALUE | 0 | xa->ma_flags | 1 |
| PARAM_VALUE | 0 | xa->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | xa->ma_root | 0 |
| PARAM_VALUE | 1 | start | 0-5000 |
| PARAM_VALUE | 2 | end | 10-5010 |
| PARAM_VALUE | 3 | ptr | 1,3-10001 |
| PARAM_VALUE | 4 | expected | 0 |
| CAPPED_DATA | 1 | start | 1 |
| CAPPED_DATA | 2 | end | 1 |
| DATA_SOURCE | 0 | xa | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_ranges() -> check_store_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xa | 697437168751288320 |
| PARAM_VALUE | 0 | xa->ma_flags | 1 |
| PARAM_VALUE | 0 | xa->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | xa->ma_root | 0 |
| PARAM_VALUE | 1 | start | 4600 |
| PARAM_VALUE | 2 | end | 4959 |
| PARAM_VALUE | 3 | ptr | 3 |
| PARAM_VALUE | 4 | expected | 0 |
| DATA_SOURCE | 0 | xa | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_ranges() -> check_store_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xa | 697437168751288320 |
| PARAM_VALUE | 0 | xa->ma_flags | 1 |
| PARAM_VALUE | 0 | xa->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | xa->ma_root | 0 |
| PARAM_VALUE | 1 | start | 0-5000 |
| PARAM_VALUE | 2 | end | 10-5010 |
| PARAM_VALUE | 3 | ptr | 1,3-10001 |
| PARAM_VALUE | 4 | expected | 0 |
| CAPPED_DATA | 1 | start | 1 |
| CAPPED_DATA | 2 | end | 1 |
| DATA_SOURCE | 0 | xa | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_ranges() -> check_store_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xa | 697437168751288320 |
| PARAM_VALUE | 0 | xa->ma_flags | 1 |
| PARAM_VALUE | 0 | xa->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | xa->ma_root | 0 |
| PARAM_VALUE | 1 | start | 4811 |
| PARAM_VALUE | 2 | end | 4811 |
| PARAM_VALUE | 3 | ptr | 9623 |
| PARAM_VALUE | 4 | expected | 0 |
| DATA_SOURCE | 0 | xa | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_ranges() -> check_store_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xa | 697437168751288320 |
| PARAM_VALUE | 0 | xa->ma_flags | 1 |
| PARAM_VALUE | 0 | xa->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | xa->ma_root | 0 |
| PARAM_VALUE | 1 | start | 4812 |
| PARAM_VALUE | 2 | end | 4812 |
| PARAM_VALUE | 3 | ptr | 9625 |
| PARAM_VALUE | 4 | expected | 0 |
| DATA_SOURCE | 0 | xa | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_ranges() -> check_store_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xa | 697437168751288320 |
| PARAM_VALUE | 0 | xa->ma_flags | 1 |
| PARAM_VALUE | 0 | xa->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | xa->ma_root | 0 |
| PARAM_VALUE | 1 | start | 4861 |
| PARAM_VALUE | 2 | end | 4861 |
| PARAM_VALUE | 3 | ptr | 9723 |
| PARAM_VALUE | 4 | expected | 0 |
| DATA_SOURCE | 0 | xa | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_ranges() -> check_store_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xa | 697437168751288320 |
| PARAM_VALUE | 0 | xa->ma_flags | 1 |
| PARAM_VALUE | 0 | xa->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | xa->ma_root | 0 |
| PARAM_VALUE | 1 | start | 4862 |
| PARAM_VALUE | 2 | end | 4862 |
| PARAM_VALUE | 3 | ptr | 9725 |
| PARAM_VALUE | 4 | expected | 0 |
| DATA_SOURCE | 0 | xa | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_ranges() -> check_store_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xa | 697437168751288320 |
| PARAM_VALUE | 0 | xa->ma_flags | 1 |
| PARAM_VALUE | 0 | xa->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | xa->ma_root | 0 |
| PARAM_VALUE | 1 | start | 4842 |
| PARAM_VALUE | 2 | end | 4849 |
| PARAM_VALUE | 3 | ptr | 0 |
| PARAM_VALUE | 4 | expected | 0 |
| DATA_SOURCE | 0 | xa | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_ranges() -> check_store_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xa | 697437168751288320 |
| PARAM_VALUE | 0 | xa->ma_flags | 1 |
| PARAM_VALUE | 0 | xa->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | xa->ma_root | 0 |
| PARAM_VALUE | 1 | start | 0-13000 |
| PARAM_VALUE | 2 | end | 10-13010 |
| PARAM_VALUE | 3 | ptr | 1,3-26001 |
| PARAM_VALUE | 4 | expected | 0 |
| CAPPED_DATA | 1 | start | 1 |
| CAPPED_DATA | 2 | end | 1 |
| DATA_SOURCE | 0 | xa | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_ranges() -> check_store_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xa | 697437168751288320 |
| PARAM_VALUE | 0 | xa->ma_flags | 1 |
| PARAM_VALUE | 0 | xa->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | xa->ma_root | 0 |
| PARAM_VALUE | 1 | start | 11455,11465-11664 |
| PARAM_VALUE | 2 | end | 11456,11466-11665 |
| PARAM_VALUE | 3 | ptr | 0 |
| PARAM_VALUE | 4 | expected | 0 |
| DATA_SOURCE | 0 | xa | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_ranges() -> check_store_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xa | 697437168751288320 |
| PARAM_VALUE | 0 | xa->ma_flags | 1 |
| PARAM_VALUE | 0 | xa->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | xa->ma_root | 0 |
| PARAM_VALUE | 1 | start | 11775,11785-11834 |
| PARAM_VALUE | 2 | end | 11776,11786-11835 |
| PARAM_VALUE | 3 | ptr | 0 |
| PARAM_VALUE | 4 | expected | 0 |
| DATA_SOURCE | 0 | xa | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_ranges() -> check_store_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xa | 697437168751288320 |
| PARAM_VALUE | 0 | xa->ma_flags | 1 |
| PARAM_VALUE | 0 | xa->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | xa->ma_root | 0 |
| PARAM_VALUE | 1 | start | 11705,11715-11744 |
| PARAM_VALUE | 2 | end | 11706,11716-11745 |
| PARAM_VALUE | 3 | ptr | 0 |
| PARAM_VALUE | 4 | expected | 0 |
| DATA_SOURCE | 0 | xa | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_ranges() -> check_store_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xa | 697437168751288320 |
| PARAM_VALUE | 0 | xa->ma_flags | 1 |
| PARAM_VALUE | 0 | xa->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | xa->ma_root | 0 |
| PARAM_VALUE | 1 | start | 0-12000 |
| PARAM_VALUE | 2 | end | 10-12010 |
| PARAM_VALUE | 3 | ptr | 1,3-24001 |
| PARAM_VALUE | 4 | expected | 0 |
| CAPPED_DATA | 1 | start | 1 |
| CAPPED_DATA | 2 | end | 1 |
| DATA_SOURCE | 0 | xa | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_ranges() -> check_store_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xa | 697437168751288320 |
| PARAM_VALUE | 0 | xa->ma_flags | 1 |
| PARAM_VALUE | 0 | xa->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | xa->ma_root | 0 |
| PARAM_VALUE | 1 | start | 7665-s32max |
| PARAM_VALUE | 2 | end | 0-s32max,18446744071562067968-u64max |
| PARAM_VALUE | 3 | ptr | 0 |
| PARAM_VALUE | 4 | expected | 0 |
| DATA_SOURCE | 0 | xa | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_ranges() -> check_store_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xa | 697437168751288320 |
| PARAM_VALUE | 0 | xa->ma_flags | 1 |
| PARAM_VALUE | 0 | xa->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | xa->ma_root | 0 |
| PARAM_VALUE | 1 | start | 9461-s32max |
| PARAM_VALUE | 2 | end | 0-s32max,18446744071562067968-u64max |
| PARAM_VALUE | 3 | ptr | 18923-u32max |
| PARAM_VALUE | 4 | expected | 0 |
| DATA_SOURCE | 0 | xa | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_ranges() -> check_store_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xa | 697437168751288320 |
| PARAM_VALUE | 0 | xa->ma_flags | 1 |
| PARAM_VALUE | 0 | xa->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | xa->ma_root | 0 |
| PARAM_VALUE | 1 | start | 8001-s32max |
| PARAM_VALUE | 2 | end | 0-s32max,18446744071562067968-u64max |
| PARAM_VALUE | 3 | ptr | 16003-u32max |
| PARAM_VALUE | 4 | expected | 0 |
| DATA_SOURCE | 0 | xa | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_ranges() -> check_store_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xa | 697437168751288320 |
| PARAM_VALUE | 0 | xa->ma_flags | 1 |
| PARAM_VALUE | 0 | xa->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | xa->ma_root | 0 |
| PARAM_VALUE | 1 | start | 8051 |
| PARAM_VALUE | 2 | end | 8051 |
| PARAM_VALUE | 3 | ptr | 16163 |
| PARAM_VALUE | 4 | expected | 0 |
| DATA_SOURCE | 0 | xa | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_ranges() -> check_store_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xa | 697437168751288320 |
| PARAM_VALUE | 0 | xa->ma_flags | 1 |
| PARAM_VALUE | 0 | xa->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | xa->ma_root | 0 |
| PARAM_VALUE | 1 | start | 8052 |
| PARAM_VALUE | 2 | end | 8052 |
| PARAM_VALUE | 3 | ptr | 16165 |
| PARAM_VALUE | 4 | expected | 0 |
| DATA_SOURCE | 0 | xa | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_ranges() -> check_store_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xa | 697437168751288320 |
| PARAM_VALUE | 0 | xa->ma_flags | 1 |
| PARAM_VALUE | 0 | xa->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | xa->ma_root | 0 |
| PARAM_VALUE | 1 | start | 8083 |
| PARAM_VALUE | 2 | end | 8083 |
| PARAM_VALUE | 3 | ptr | 16167 |
| PARAM_VALUE | 4 | expected | 0 |
| DATA_SOURCE | 0 | xa | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_ranges() -> check_store_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xa | 697437168751288320 |
| PARAM_VALUE | 0 | xa->ma_flags | 1 |
| PARAM_VALUE | 0 | xa->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | xa->ma_root | 0 |
| PARAM_VALUE | 1 | start | 8084 |
| PARAM_VALUE | 2 | end | 8084 |
| PARAM_VALUE | 3 | ptr | 16169 |
| PARAM_VALUE | 4 | expected | 0 |
| DATA_SOURCE | 0 | xa | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_ranges() -> check_store_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xa | 697437168751288320 |
| PARAM_VALUE | 0 | xa->ma_flags | 1 |
| PARAM_VALUE | 0 | xa->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | xa->ma_root | 0 |
| PARAM_VALUE | 1 | start | 8085 |
| PARAM_VALUE | 2 | end | 8085 |
| PARAM_VALUE | 3 | ptr | 16171 |
| PARAM_VALUE | 4 | expected | 0 |
| DATA_SOURCE | 0 | xa | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_ranges() -> check_store_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xa | 697437168751288320 |
| PARAM_VALUE | 0 | xa->ma_flags | 1 |
| PARAM_VALUE | 0 | xa->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | xa->ma_root | 0 |
| PARAM_VALUE | 1 | start | 8099 |
| PARAM_VALUE | 2 | end | 8100 |
| PARAM_VALUE | 3 | ptr | 3 |
| PARAM_VALUE | 4 | expected | 0 |
| DATA_SOURCE | 0 | xa | $0 |
| NOCHECK_CALL |
lib/test_xarray.c xarray_checks() -> check_store_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xa | 5024146686711472128 |
| PARAM_VALUE | 0 | xa->xa_head | 0 |
| NOCHECK_CALL |