Defined in 1 files as a function:
Referenced in 2 files:
-
lib/test_maple_tree.c
- line 1051
- line 1052
- line 1053
- line 1054
- line 1055
- line 1056
- line 1057
- line 1058
- line 1059
- line 1060
- line 1684
- line 1686
- line 1710
- line 1712
- line 1714
- line 1762
- line 1776
- line 1777
- line 2425
- line 2427
- line 2438
- line 2439
- line 2440
- line 2442
- line 2444
- line 2445
- line 2451
- line 2467
- line 2471
- line 2494
- line 2505
- line 2512
- line 2516
- line 2519
- line 2530
- line 2534
- line 2537
- line 2544
- line 2546
- line 2552
- line 2554
- line 2557
- line 2560
- line 2575
- line 2582
- line 2589
- line 2595
- line 2598
- line 2602
- line 2605
- line 2606
- line 2610
- line 2617
- line 2630
- line 2631
- line 2638
- line 2646
- line 2650
- line 2651
- line 2652
- line 2653
- line 2657
- line 2660
- line 2661
- line 2663
- line 2664
- line 2667
- line 2669
- line 2672
- line 2673
- line 2683
- line 2705
- line 2708
- line 2710
- line 2714
- line 2716
- line 2730
- line 2736
- line 2758
- line 2764
- line 2766
- line 2781
- tools/testing/radix-tree/maple.c, line 67
Smatch caller information:
lib/test_maple_tree.c check_fuzzer() -> mtree_test_erase()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mt | 4096-ptr_max |
| PARAM_VALUE | 0 | mt->ma_flags | 0 |
| PARAM_VALUE | 0 | mt->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | mt->ma_root | 0 |
| PARAM_VALUE | 1 | index | 4 |
| DATA_SOURCE | 0 | mt | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_fuzzer() -> mtree_test_erase()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mt | 4096-ptr_max |
| PARAM_VALUE | 0 | mt->ma_flags | 0 |
| PARAM_VALUE | 0 | mt->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | mt->ma_root | 0 |
| PARAM_VALUE | 1 | index | 0 |
| DATA_SOURCE | 0 | mt | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_fuzzer() -> mtree_test_erase()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mt | 4096-ptr_max |
| PARAM_VALUE | 0 | mt->ma_flags | 0 |
| PARAM_VALUE | 0 | mt->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | mt->ma_root | 0 |
| PARAM_VALUE | 1 | index | 5 |
| DATA_SOURCE | 0 | mt | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_fuzzer() -> mtree_test_erase()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mt | 4096-ptr_max |
| PARAM_VALUE | 0 | mt->ma_flags | 0 |
| PARAM_VALUE | 0 | mt->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | mt->ma_root | 0 |
| PARAM_VALUE | 1 | index | 0 |
| DATA_SOURCE | 0 | mt | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_fuzzer() -> mtree_test_erase()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mt | 4096-ptr_max |
| PARAM_VALUE | 0 | mt->ma_flags | 0 |
| PARAM_VALUE | 0 | mt->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | mt->ma_root | 0 |
| PARAM_VALUE | 1 | index | 4 |
| DATA_SOURCE | 0 | mt | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_fuzzer() -> mtree_test_erase()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mt | 4096-ptr_max |
| PARAM_VALUE | 0 | mt->ma_flags | 0 |
| PARAM_VALUE | 0 | mt->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | mt->ma_root | 0 |
| PARAM_VALUE | 1 | index | 5 |
| DATA_SOURCE | 0 | mt | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_fuzzer() -> mtree_test_erase()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mt | 4096-ptr_max |
| PARAM_VALUE | 0 | mt->ma_flags | 0 |
| PARAM_VALUE | 0 | mt->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | mt->ma_root | 0 |
| PARAM_VALUE | 1 | index | 5 |
| DATA_SOURCE | 0 | mt | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_fuzzer() -> mtree_test_erase()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mt | 4096-ptr_max |
| PARAM_VALUE | 0 | mt->ma_flags | 0 |
| PARAM_VALUE | 0 | mt->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | mt->ma_root | 0 |
| PARAM_VALUE | 1 | index | 4 |
| DATA_SOURCE | 0 | mt | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_fuzzer() -> mtree_test_erase()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mt | 4096-ptr_max |
| PARAM_VALUE | 0 | mt->ma_flags | 0 |
| PARAM_VALUE | 0 | mt->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | mt->ma_root | 0 |
| PARAM_VALUE | 1 | index | 0 |
| DATA_SOURCE | 0 | mt | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_fuzzer() -> mtree_test_erase()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mt | 4096-ptr_max |
| PARAM_VALUE | 0 | mt->ma_flags | 0 |
| PARAM_VALUE | 0 | mt->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | mt->ma_root | 0 |
| PARAM_VALUE | 1 | index | 1 |
| DATA_SOURCE | 0 | mt | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_fuzzer() -> mtree_test_erase()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mt | 4096-ptr_max |
| PARAM_VALUE | 0 | mt->ma_flags | 0 |
| PARAM_VALUE | 0 | mt->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | mt->ma_root | 0 |
| PARAM_VALUE | 1 | index | 1 |
| DATA_SOURCE | 0 | mt | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_fuzzer() -> mtree_test_erase()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mt | 4096-ptr_max |
| PARAM_VALUE | 0 | mt->ma_flags | 0 |
| PARAM_VALUE | 0 | mt->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | mt->ma_root | 0 |
| PARAM_VALUE | 1 | index | u64max |
| DATA_SOURCE | 0 | mt | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_fuzzer() -> mtree_test_erase()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mt | 4096-ptr_max |
| PARAM_VALUE | 0 | mt->ma_flags | 0 |
| PARAM_VALUE | 0 | mt->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | mt->ma_root | 0 |
| PARAM_VALUE | 1 | index | 3 |
| DATA_SOURCE | 0 | mt | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_fuzzer() -> mtree_test_erase()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mt | 4096-ptr_max |
| PARAM_VALUE | 0 | mt->ma_flags | 0 |
| PARAM_VALUE | 0 | mt->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | mt->ma_root | 0 |
| PARAM_VALUE | 1 | index | 1 |
| DATA_SOURCE | 0 | mt | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_fuzzer() -> mtree_test_erase()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mt | 4096-ptr_max |
| PARAM_VALUE | 0 | mt->ma_flags | 0 |
| PARAM_VALUE | 0 | mt->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | mt->ma_root | 0 |
| PARAM_VALUE | 1 | index | 1 |
| DATA_SOURCE | 0 | mt | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_fuzzer() -> mtree_test_erase()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mt | 4096-ptr_max |
| PARAM_VALUE | 0 | mt->ma_flags | 0 |
| PARAM_VALUE | 0 | mt->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | mt->ma_root | 0 |
| PARAM_VALUE | 1 | index | 3 |
| DATA_SOURCE | 0 | mt | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_fuzzer() -> mtree_test_erase()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mt | 4096-ptr_max |
| PARAM_VALUE | 0 | mt->ma_flags | 0 |
| PARAM_VALUE | 0 | mt->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | mt->ma_root | 0 |
| PARAM_VALUE | 1 | index | 1 |
| DATA_SOURCE | 0 | mt | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_fuzzer() -> mtree_test_erase()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mt | 4096-ptr_max |
| PARAM_VALUE | 0 | mt->ma_flags | 0 |
| PARAM_VALUE | 0 | mt->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | mt->ma_root | 0 |
| PARAM_VALUE | 1 | index | 1 |
| DATA_SOURCE | 0 | mt | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_fuzzer() -> mtree_test_erase()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mt | 4096-ptr_max |
| PARAM_VALUE | 0 | mt->ma_flags | 0 |
| PARAM_VALUE | 0 | mt->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | mt->ma_root | 0 |
| PARAM_VALUE | 1 | index | 3 |
| DATA_SOURCE | 0 | mt | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_fuzzer() -> mtree_test_erase()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mt | 4096-ptr_max |
| PARAM_VALUE | 0 | mt->ma_flags | 0 |
| PARAM_VALUE | 0 | mt->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | mt->ma_root | 0 |
| PARAM_VALUE | 1 | index | 1 |
| DATA_SOURCE | 0 | mt | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_fuzzer() -> mtree_test_erase()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mt | 4096-ptr_max |
| PARAM_VALUE | 0 | mt->ma_flags | 0 |
| PARAM_VALUE | 0 | mt->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | mt->ma_root | 0 |
| PARAM_VALUE | 1 | index | 62 |
| DATA_SOURCE | 0 | mt | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_fuzzer() -> mtree_test_erase()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mt | 4096-ptr_max |
| PARAM_VALUE | 0 | mt->ma_flags | 0 |
| PARAM_VALUE | 0 | mt->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | mt->ma_root | 0 |
| PARAM_VALUE | 1 | index | 62 |
| DATA_SOURCE | 0 | mt | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_fuzzer() -> mtree_test_erase()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mt | 4096-ptr_max |
| PARAM_VALUE | 0 | mt->ma_flags | 0 |
| PARAM_VALUE | 0 | mt->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | mt->ma_root | 0 |
| PARAM_VALUE | 1 | index | 1 |
| DATA_SOURCE | 0 | mt | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_fuzzer() -> mtree_test_erase()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mt | 4096-ptr_max |
| PARAM_VALUE | 0 | mt->ma_flags | 0 |
| PARAM_VALUE | 0 | mt->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | mt->ma_root | 0 |
| PARAM_VALUE | 1 | index | 1 |
| DATA_SOURCE | 0 | mt | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_fuzzer() -> mtree_test_erase()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mt | 4096-ptr_max |
| PARAM_VALUE | 0 | mt->ma_flags | 0 |
| PARAM_VALUE | 0 | mt->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | mt->ma_root | 0 |
| PARAM_VALUE | 1 | index | 62 |
| DATA_SOURCE | 0 | mt | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_fuzzer() -> mtree_test_erase()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mt | 4096-ptr_max |
| PARAM_VALUE | 0 | mt->ma_flags | 0 |
| PARAM_VALUE | 0 | mt->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | mt->ma_root | 0 |
| PARAM_VALUE | 1 | index | 1 |
| DATA_SOURCE | 0 | mt | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_fuzzer() -> mtree_test_erase()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mt | 4096-ptr_max |
| PARAM_VALUE | 0 | mt->ma_flags | 0 |
| PARAM_VALUE | 0 | mt->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | mt->ma_root | 0 |
| PARAM_VALUE | 1 | index | 1 |
| DATA_SOURCE | 0 | mt | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_fuzzer() -> mtree_test_erase()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mt | 4096-ptr_max |
| PARAM_VALUE | 0 | mt->ma_flags | 0 |
| PARAM_VALUE | 0 | mt->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | mt->ma_root | 0 |
| PARAM_VALUE | 1 | index | 1 |
| DATA_SOURCE | 0 | mt | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_fuzzer() -> mtree_test_erase()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mt | 4096-ptr_max |
| PARAM_VALUE | 0 | mt->ma_flags | 0 |
| PARAM_VALUE | 0 | mt->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | mt->ma_root | 0 |
| PARAM_VALUE | 1 | index | 5 |
| DATA_SOURCE | 0 | mt | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_fuzzer() -> mtree_test_erase()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mt | 4096-ptr_max |
| PARAM_VALUE | 0 | mt->ma_flags | 0 |
| PARAM_VALUE | 0 | mt->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | mt->ma_root | 0 |
| PARAM_VALUE | 1 | index | 62 |
| DATA_SOURCE | 0 | mt | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_fuzzer() -> mtree_test_erase()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mt | 4096-ptr_max |
| PARAM_VALUE | 0 | mt->ma_flags | 0 |
| PARAM_VALUE | 0 | mt->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | mt->ma_root | 0 |
| PARAM_VALUE | 1 | index | 1 |
| DATA_SOURCE | 0 | mt | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_fuzzer() -> mtree_test_erase()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mt | 4096-ptr_max |
| PARAM_VALUE | 0 | mt->ma_flags | 0 |
| PARAM_VALUE | 0 | mt->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | mt->ma_root | 0 |
| PARAM_VALUE | 1 | index | 62 |
| DATA_SOURCE | 0 | mt | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_fuzzer() -> mtree_test_erase()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mt | 4096-ptr_max |
| PARAM_VALUE | 0 | mt->ma_flags | 0 |
| PARAM_VALUE | 0 | mt->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | mt->ma_root | 0 |
| PARAM_VALUE | 1 | index | 1 |
| DATA_SOURCE | 0 | mt | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_fuzzer() -> mtree_test_erase()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mt | 4096-ptr_max |
| PARAM_VALUE | 0 | mt->ma_flags | 0 |
| PARAM_VALUE | 0 | mt->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | mt->ma_root | 0 |
| PARAM_VALUE | 1 | index | 1 |
| DATA_SOURCE | 0 | mt | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_fuzzer() -> mtree_test_erase()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mt | 4096-ptr_max |
| PARAM_VALUE | 0 | mt->ma_flags | 0 |
| PARAM_VALUE | 0 | mt->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | mt->ma_root | 0 |
| PARAM_VALUE | 1 | index | 1 |
| DATA_SOURCE | 0 | mt | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_fuzzer() -> mtree_test_erase()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mt | 4096-ptr_max |
| PARAM_VALUE | 0 | mt->ma_flags | 0 |
| PARAM_VALUE | 0 | mt->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | mt->ma_root | 0 |
| PARAM_VALUE | 1 | index | 2 |
| DATA_SOURCE | 0 | mt | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_fuzzer() -> mtree_test_erase()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mt | 4096-ptr_max |
| PARAM_VALUE | 0 | mt->ma_flags | 0 |
| PARAM_VALUE | 0 | mt->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | mt->ma_root | 0 |
| PARAM_VALUE | 1 | index | 0 |
| DATA_SOURCE | 0 | mt | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_fuzzer() -> mtree_test_erase()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mt | 4096-ptr_max |
| PARAM_VALUE | 0 | mt->ma_flags | 0 |
| PARAM_VALUE | 0 | mt->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | mt->ma_root | 0 |
| PARAM_VALUE | 1 | index | 2 |
| DATA_SOURCE | 0 | mt | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_fuzzer() -> mtree_test_erase()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mt | 4096-ptr_max |
| PARAM_VALUE | 0 | mt->ma_flags | 0 |
| PARAM_VALUE | 0 | mt->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | mt->ma_root | 0 |
| PARAM_VALUE | 1 | index | 2 |
| DATA_SOURCE | 0 | mt | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_fuzzer() -> mtree_test_erase()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mt | 4096-ptr_max |
| PARAM_VALUE | 0 | mt->ma_flags | 0 |
| PARAM_VALUE | 0 | mt->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | mt->ma_root | 0 |
| PARAM_VALUE | 1 | index | 2 |
| DATA_SOURCE | 0 | mt | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_fuzzer() -> mtree_test_erase()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mt | 4096-ptr_max |
| PARAM_VALUE | 0 | mt->ma_flags | 0 |
| PARAM_VALUE | 0 | mt->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | mt->ma_root | 0 |
| PARAM_VALUE | 1 | index | 22 |
| DATA_SOURCE | 0 | mt | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_fuzzer() -> mtree_test_erase()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mt | 4096-ptr_max |
| PARAM_VALUE | 0 | mt->ma_flags | 0 |
| PARAM_VALUE | 0 | mt->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | mt->ma_root | 0 |
| PARAM_VALUE | 1 | index | 1 |
| DATA_SOURCE | 0 | mt | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_fuzzer() -> mtree_test_erase()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mt | 4096-ptr_max |
| PARAM_VALUE | 0 | mt->ma_flags | 0 |
| PARAM_VALUE | 0 | mt->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | mt->ma_root | 0 |
| PARAM_VALUE | 1 | index | 2 |
| DATA_SOURCE | 0 | mt | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_fuzzer() -> mtree_test_erase()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mt | 4096-ptr_max |
| PARAM_VALUE | 0 | mt->ma_flags | 0 |
| PARAM_VALUE | 0 | mt->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | mt->ma_root | 0 |
| PARAM_VALUE | 1 | index | 2 |
| DATA_SOURCE | 0 | mt | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_fuzzer() -> mtree_test_erase()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mt | 4096-ptr_max |
| PARAM_VALUE | 0 | mt->ma_flags | 0 |
| PARAM_VALUE | 0 | mt->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | mt->ma_root | 0 |
| PARAM_VALUE | 1 | index | 0 |
| DATA_SOURCE | 0 | mt | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_fuzzer() -> mtree_test_erase()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mt | 4096-ptr_max |
| PARAM_VALUE | 0 | mt->ma_flags | 0 |
| PARAM_VALUE | 0 | mt->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | mt->ma_root | 0 |
| PARAM_VALUE | 1 | index | 2 |
| DATA_SOURCE | 0 | mt | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_fuzzer() -> mtree_test_erase()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mt | 4096-ptr_max |
| PARAM_VALUE | 0 | mt->ma_flags | 0 |
| PARAM_VALUE | 0 | mt->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | mt->ma_root | 0 |
| PARAM_VALUE | 1 | index | 0 |
| DATA_SOURCE | 0 | mt | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_fuzzer() -> mtree_test_erase()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mt | 4096-ptr_max |
| PARAM_VALUE | 0 | mt->ma_flags | 0 |
| PARAM_VALUE | 0 | mt->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | mt->ma_root | 0 |
| PARAM_VALUE | 1 | index | 2 |
| DATA_SOURCE | 0 | mt | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_fuzzer() -> mtree_test_erase()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mt | 4096-ptr_max |
| PARAM_VALUE | 0 | mt->ma_flags | 0 |
| PARAM_VALUE | 0 | mt->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | mt->ma_root | 0 |
| PARAM_VALUE | 1 | index | 2 |
| DATA_SOURCE | 0 | mt | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_fuzzer() -> mtree_test_erase()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mt | 4096-ptr_max |
| PARAM_VALUE | 0 | mt->ma_flags | 0 |
| PARAM_VALUE | 0 | mt->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | mt->ma_root | 0 |
| PARAM_VALUE | 1 | index | 2 |
| DATA_SOURCE | 0 | mt | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_fuzzer() -> mtree_test_erase()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mt | 4096-ptr_max |
| PARAM_VALUE | 0 | mt->ma_flags | 0 |
| PARAM_VALUE | 0 | mt->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | mt->ma_root | 0 |
| PARAM_VALUE | 1 | index | 0 |
| DATA_SOURCE | 0 | mt | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_fuzzer() -> mtree_test_erase()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mt | 4096-ptr_max |
| PARAM_VALUE | 0 | mt->ma_flags | 0 |
| PARAM_VALUE | 0 | mt->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | mt->ma_root | 0 |
| PARAM_VALUE | 1 | index | 2 |
| DATA_SOURCE | 0 | mt | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_fuzzer() -> mtree_test_erase()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mt | 4096-ptr_max |
| PARAM_VALUE | 0 | mt->ma_flags | 0 |
| PARAM_VALUE | 0 | mt->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | mt->ma_root | 0 |
| PARAM_VALUE | 1 | index | 12 |
| DATA_SOURCE | 0 | mt | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_fuzzer() -> mtree_test_erase()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mt | 4096-ptr_max |
| PARAM_VALUE | 0 | mt->ma_flags | 0 |
| PARAM_VALUE | 0 | mt->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | mt->ma_root | 0 |
| PARAM_VALUE | 1 | index | 67167 |
| DATA_SOURCE | 0 | mt | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_fuzzer() -> mtree_test_erase()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mt | 4096-ptr_max |
| PARAM_VALUE | 0 | mt->ma_flags | 0 |
| PARAM_VALUE | 0 | mt->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | mt->ma_root | 0 |
| PARAM_VALUE | 1 | index | 67 |
| DATA_SOURCE | 0 | mt | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_fuzzer() -> mtree_test_erase()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mt | 4096-ptr_max |
| PARAM_VALUE | 0 | mt->ma_flags | 0 |
| PARAM_VALUE | 0 | mt->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | mt->ma_root | 0 |
| PARAM_VALUE | 1 | index | 667167 |
| DATA_SOURCE | 0 | mt | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_fuzzer() -> mtree_test_erase()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mt | 4096-ptr_max |
| PARAM_VALUE | 0 | mt->ma_flags | 0 |
| PARAM_VALUE | 0 | mt->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | mt->ma_root | 0 |
| PARAM_VALUE | 1 | index | 1 |
| DATA_SOURCE | 0 | mt | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_fuzzer() -> mtree_test_erase()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mt | 4096-ptr_max |
| PARAM_VALUE | 0 | mt->ma_flags | 0 |
| PARAM_VALUE | 0 | mt->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | mt->ma_root | 0 |
| PARAM_VALUE | 1 | index | 67 |
| DATA_SOURCE | 0 | mt | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_fuzzer() -> mtree_test_erase()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mt | 4096-ptr_max |
| PARAM_VALUE | 0 | mt->ma_flags | 0 |
| PARAM_VALUE | 0 | mt->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | mt->ma_root | 0 |
| PARAM_VALUE | 1 | index | 67167 |
| DATA_SOURCE | 0 | mt | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_fuzzer() -> mtree_test_erase()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mt | 4096-ptr_max |
| PARAM_VALUE | 0 | mt->ma_flags | 0 |
| PARAM_VALUE | 0 | mt->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | mt->ma_root | 0 |
| PARAM_VALUE | 1 | index | 67167 |
| DATA_SOURCE | 0 | mt | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_fuzzer() -> mtree_test_erase()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mt | 4096-ptr_max |
| PARAM_VALUE | 0 | mt->ma_flags | 0 |
| PARAM_VALUE | 0 | mt->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | mt->ma_root | 0 |
| PARAM_VALUE | 1 | index | 8 |
| DATA_SOURCE | 0 | mt | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_fuzzer() -> mtree_test_erase()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mt | 4096-ptr_max |
| PARAM_VALUE | 0 | mt->ma_flags | 0 |
| PARAM_VALUE | 0 | mt->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | mt->ma_root | 0 |
| PARAM_VALUE | 1 | index | 18446744073709551605 |
| DATA_SOURCE | 0 | mt | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_fuzzer() -> mtree_test_erase()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mt | 4096-ptr_max |
| PARAM_VALUE | 0 | mt->ma_flags | 0 |
| PARAM_VALUE | 0 | mt->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | mt->ma_root | 0 |
| PARAM_VALUE | 1 | index | 2 |
| DATA_SOURCE | 0 | mt | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_fuzzer() -> mtree_test_erase()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mt | 4096-ptr_max |
| PARAM_VALUE | 0 | mt->ma_flags | 0 |
| PARAM_VALUE | 0 | mt->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | mt->ma_root | 0 |
| PARAM_VALUE | 1 | index | 18446744073709551605 |
| DATA_SOURCE | 0 | mt | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_gap_combining() -> mtree_test_erase()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mt | 4096-ptr_max |
| PARAM_VALUE | 0 | mt->ma_lock.rlock.dep_map->name | 0-255 |
| CAPPED_DATA | 0 | mt->ma_root | 1 |
| DATA_SOURCE | 0 | mt | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_gap_combining() -> mtree_test_erase()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mt | 4096-ptr_max |
| PARAM_VALUE | 0 | mt->ma_lock.rlock.dep_map->name | 0-255 |
| CAPPED_DATA | 0 | mt->ma_root | 1 |
| DATA_SOURCE | 0 | mt | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_gap_combining() -> mtree_test_erase()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mt | 4096-ptr_max |
| PARAM_VALUE | 0 | mt->ma_lock.rlock.dep_map->name | 0-255 |
| CAPPED_DATA | 0 | mt->ma_root | 1 |
| DATA_SOURCE | 0 | mt | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_gap_combining() -> mtree_test_erase()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mt | 4096-ptr_max |
| PARAM_VALUE | 0 | mt->ma_lock.rlock.dep_map->name | 0-255 |
| CAPPED_DATA | 0 | mt->ma_root | 1 |
| DATA_SOURCE | 0 | mt | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_gap_combining() -> mtree_test_erase()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mt | 4096-ptr_max |
| PARAM_VALUE | 0 | mt->ma_lock.rlock.dep_map->name | 0-255 |
| CAPPED_DATA | 0 | mt->ma_root | 1 |
| DATA_SOURCE | 0 | mt | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_gap_combining() -> mtree_test_erase()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mt | 4096-ptr_max |
| PARAM_VALUE | 0 | mt->ma_lock.rlock.dep_map->name | 0-255 |
| CAPPED_DATA | 0 | mt->ma_root | 1 |
| DATA_SOURCE | 0 | mt | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_gap_combining() -> mtree_test_erase()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mt | 4096-ptr_max |
| PARAM_VALUE | 0 | mt->ma_flags | 1 |
| PARAM_VALUE | 0 | mt->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | mt->ma_root | 0 |
| PARAM_VALUE | 1 | index | 1152 |
| DATA_SOURCE | 0 | mt | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_gap_combining() -> mtree_test_erase()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mt | 4096-ptr_max |
| PARAM_VALUE | 0 | mt->ma_flags | 1 |
| PARAM_VALUE | 0 | mt->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | mt->ma_root | 0 |
| PARAM_VALUE | 1 | index | 1151 |
| DATA_SOURCE | 0 | mt | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_ranges() -> mtree_test_erase()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mt | 697437168751288320 |
| PARAM_VALUE | 0 | mt->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | mt->ma_root | 0 |
| PARAM_VALUE | 1 | index | 140 |
| DATA_SOURCE | 0 | mt | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_ranges() -> mtree_test_erase()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mt | 697437168751288320 |
| PARAM_VALUE | 0 | mt->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | mt->ma_root | 0 |
| PARAM_VALUE | 1 | index | 141 |
| DATA_SOURCE | 0 | mt | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_ranges() -> mtree_test_erase()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mt | 697437168751288320 |
| PARAM_VALUE | 0 | mt->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | mt->ma_root | 0 |
| PARAM_VALUE | 1 | index | 142 |
| DATA_SOURCE | 0 | mt | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_ranges() -> mtree_test_erase()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mt | 697437168751288320 |
| PARAM_VALUE | 0 | mt->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | mt->ma_root | 0 |
| PARAM_VALUE | 1 | index | 143 |
| DATA_SOURCE | 0 | mt | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_ranges() -> mtree_test_erase()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mt | 697437168751288320 |
| PARAM_VALUE | 0 | mt->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | mt->ma_root | 0 |
| PARAM_VALUE | 1 | index | 130 |
| DATA_SOURCE | 0 | mt | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_ranges() -> mtree_test_erase()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mt | 697437168751288320 |
| PARAM_VALUE | 0 | mt->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | mt->ma_root | 0 |
| PARAM_VALUE | 1 | index | 131 |
| DATA_SOURCE | 0 | mt | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_ranges() -> mtree_test_erase()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mt | 697437168751288320 |
| PARAM_VALUE | 0 | mt->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | mt->ma_root | 0 |
| PARAM_VALUE | 1 | index | 132 |
| DATA_SOURCE | 0 | mt | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_ranges() -> mtree_test_erase()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mt | 697437168751288320 |
| PARAM_VALUE | 0 | mt->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | mt->ma_root | 0 |
| PARAM_VALUE | 1 | index | 133 |
| DATA_SOURCE | 0 | mt | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_ranges() -> mtree_test_erase()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mt | 697437168751288320 |
| PARAM_VALUE | 0 | mt->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | mt->ma_root | 0 |
| PARAM_VALUE | 1 | index | 134 |
| DATA_SOURCE | 0 | mt | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_ranges() -> mtree_test_erase()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mt | 697437168751288320 |
| PARAM_VALUE | 0 | mt->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | mt->ma_root | 0 |
| PARAM_VALUE | 1 | index | 135 |
| DATA_SOURCE | 0 | mt | $0 |
| NOCHECK_CALL |