Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

lib/test_maple_tree.c check_fuzzer() -> mtree_test_store_range()

Type Parameter Key Value
PARAM_VALUE 0 mt->ma_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 start 8
PARAM_VALUE 2 end 18
PARAM_VALUE 3 ptr 17
DATA_SOURCE 0 mt $0
NOCHECK_CALL

lib/test_maple_tree.c check_fuzzer() -> mtree_test_store_range()

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 start 0
PARAM_VALUE 2 end u64max
PARAM_VALUE 3 ptr 1
DATA_SOURCE 0 mt $0
NOCHECK_CALL

lib/test_maple_tree.c check_fuzzer() -> mtree_test_store_range()

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 start 6
PARAM_VALUE 2 end 45
PARAM_VALUE 3 ptr 13
DATA_SOURCE 0 mt $0
NOCHECK_CALL

lib/test_maple_tree.c check_fuzzer() -> mtree_test_store_range()

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 start 3
PARAM_VALUE 2 end 446
PARAM_VALUE 3 ptr 7
DATA_SOURCE 0 mt $0
NOCHECK_CALL

lib/test_maple_tree.c check_fuzzer() -> mtree_test_store_range()

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 start 4
PARAM_VALUE 2 end 62
PARAM_VALUE 3 ptr 9
DATA_SOURCE 0 mt $0
NOCHECK_CALL

lib/test_maple_tree.c check_fuzzer() -> mtree_test_store_range()

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 start 1
PARAM_VALUE 2 end 0
PARAM_VALUE 3 ptr 3
DATA_SOURCE 0 mt $0
NOCHECK_CALL

lib/test_maple_tree.c check_fuzzer() -> mtree_test_store_range()

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 start 1
PARAM_VALUE 2 end 15
PARAM_VALUE 3 ptr 3
DATA_SOURCE 0 mt $0
NOCHECK_CALL

lib/test_maple_tree.c check_fuzzer() -> mtree_test_store_range()

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 start 0
PARAM_VALUE 2 end 1
PARAM_VALUE 3 ptr 1
DATA_SOURCE 0 mt $0
NOCHECK_CALL

lib/test_maple_tree.c check_fuzzer() -> mtree_test_store_range()

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 start 1
PARAM_VALUE 2 end 22
PARAM_VALUE 3 ptr 3
DATA_SOURCE 0 mt $0
NOCHECK_CALL

lib/test_maple_tree.c check_fuzzer() -> mtree_test_store_range()

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 start 1
PARAM_VALUE 2 end 1
PARAM_VALUE 3 ptr 3
DATA_SOURCE 0 mt $0
NOCHECK_CALL

lib/test_maple_tree.c check_fuzzer() -> mtree_test_store_range()

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 start 1
PARAM_VALUE 2 end 0
PARAM_VALUE 3 ptr 3
DATA_SOURCE 0 mt $0
NOCHECK_CALL

lib/test_maple_tree.c check_fuzzer() -> mtree_test_store_range()

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 start 4
PARAM_VALUE 2 end 62
PARAM_VALUE 3 ptr 9
DATA_SOURCE 0 mt $0
NOCHECK_CALL

lib/test_maple_tree.c check_fuzzer() -> mtree_test_store_range()

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 start 1
PARAM_VALUE 2 end 22
PARAM_VALUE 3 ptr 3
DATA_SOURCE 0 mt $0
NOCHECK_CALL

lib/test_maple_tree.c check_fuzzer() -> mtree_test_store_range()

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 start 1
PARAM_VALUE 2 end 1
PARAM_VALUE 3 ptr 3
DATA_SOURCE 0 mt $0
NOCHECK_CALL

lib/test_maple_tree.c check_fuzzer() -> mtree_test_store_range()

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 start 0
PARAM_VALUE 2 end 2
PARAM_VALUE 3 ptr 1
DATA_SOURCE 0 mt $0
NOCHECK_CALL

lib/test_maple_tree.c check_fuzzer() -> mtree_test_store_range()

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 start 110
PARAM_VALUE 2 end 12
PARAM_VALUE 3 ptr 221
DATA_SOURCE 0 mt $0
NOCHECK_CALL

lib/test_maple_tree.c check_fuzzer() -> mtree_test_store_range()

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 start 1
PARAM_VALUE 2 end 3
PARAM_VALUE 3 ptr 3
DATA_SOURCE 0 mt $0
NOCHECK_CALL

lib/test_maple_tree.c check_fuzzer() -> mtree_test_store_range()

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 start 0
PARAM_VALUE 2 end 128
PARAM_VALUE 3 ptr 1
DATA_SOURCE 0 mt $0
NOCHECK_CALL

lib/test_maple_tree.c check_fuzzer() -> mtree_test_store_range()

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 start 0
PARAM_VALUE 2 end 281
PARAM_VALUE 3 ptr 1
DATA_SOURCE 0 mt $0
NOCHECK_CALL

lib/test_maple_tree.c check_gap_combining() -> mtree_test_store_range()

Type Parameter Key Value
PARAM_VALUE 0 mt 4096-ptr_max
PARAM_VALUE 0 mt->ma_lock.rlock.dep_map->name 0-255
PARAM_VALUE 3 ptr 0
CAPPED_DATA 0 mt->ma_root 1
DATA_SOURCE 0 mt $0
NOCHECK_CALL

lib/test_maple_tree.c check_gap_combining() -> mtree_test_store_range()

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 start 286
PARAM_VALUE 2 end 318
PARAM_VALUE 3 ptr 0
DATA_SOURCE 0 mt $0
NOCHECK_CALL

lib/test_maple_tree.c check_gap_combining() -> mtree_test_store_range()

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 start 256
PARAM_VALUE 2 end 398
PARAM_VALUE 3 ptr 513
DATA_SOURCE 0 mt $0
NOCHECK_CALL

lib/test_maple_tree.c check_gap_combining() -> mtree_test_store_range()

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 start 260
PARAM_VALUE 2 end 398
PARAM_VALUE 3 ptr 521
DATA_SOURCE 0 mt $0
NOCHECK_CALL

lib/test_maple_tree.c check_gap_combining() -> mtree_test_store_range()

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 start 266
PARAM_VALUE 2 end 398
PARAM_VALUE 3 ptr 533
DATA_SOURCE 0 mt $0
NOCHECK_CALL

lib/test_maple_tree.c check_gap_combining() -> mtree_test_store_range()

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 start 270
PARAM_VALUE 2 end 398
PARAM_VALUE 3 ptr 541
DATA_SOURCE 0 mt $0
NOCHECK_CALL

lib/test_maple_tree.c check_gap_combining() -> mtree_test_store_range()

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 start 286
PARAM_VALUE 2 end 398
PARAM_VALUE 3 ptr 573
DATA_SOURCE 0 mt $0
NOCHECK_CALL

lib/test_maple_tree.c check_gap_combining() -> mtree_test_store_range()

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 start 275
PARAM_VALUE 2 end 398
PARAM_VALUE 3 ptr 551
DATA_SOURCE 0 mt $0
NOCHECK_CALL

lib/test_maple_tree.c check_gap_combining() -> mtree_test_store_range()

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 start 280
PARAM_VALUE 2 end 398
PARAM_VALUE 3 ptr 561
DATA_SOURCE 0 mt $0
NOCHECK_CALL

lib/test_maple_tree.c check_gap_combining() -> mtree_test_store_range()

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 start 290
PARAM_VALUE 2 end 398
PARAM_VALUE 3 ptr 581
DATA_SOURCE 0 mt $0
NOCHECK_CALL

lib/test_maple_tree.c check_gap_combining() -> mtree_test_store_range()

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 start 286
PARAM_VALUE 2 end 310
PARAM_VALUE 3 ptr 573
DATA_SOURCE 0 mt $0
NOCHECK_CALL

lib/test_maple_tree.c check_node_overwrite() -> mtree_test_store_range()

Type Parameter Key Value
PARAM_VALUE 1 start 0-399900
PARAM_VALUE 2 end 50-399950
PARAM_VALUE 3 ptr 1,3-799801
DATA_SOURCE 0 mt $0
NOCHECK_CALL

lib/test_maple_tree.c check_node_overwrite() -> mtree_test_store_range()

Type Parameter Key Value
PARAM_VALUE 1 start 319951
PARAM_VALUE 2 end 367950
PARAM_VALUE 3 ptr 0
DATA_SOURCE 0 mt $0
NOCHECK_CALL

lib/test_maple_tree.c check_ranges() -> mtree_test_store_range()

Type Parameter Key Value
PARAM_VALUE 0 mt 697437168751288320
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 start 0-s32max,18446744071562067968-u64max
PARAM_VALUE 2 end u64max
PARAM_VALUE 3 ptr 1,3-u32max,18446744069414584321-u64max
DATA_SOURCE 0 mt $0

lib/test_maple_tree.c check_ranges() -> mtree_test_store_range()

Type Parameter Key Value
PARAM_VALUE 0 mt 697437168751288320
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 start 0-s32max,18446744071562067968-u64max
PARAM_VALUE 2 end u64max
PARAM_VALUE 3 ptr 1,3-u32max,18446744069414584321-u64max
CAPPED_DATA 1 start 1
DATA_SOURCE 0 mt $0

lib/test_maple_tree.c check_store_range() -> mtree_test_store_range()

Type Parameter Key Value
PARAM_VALUE 0 mt 697437168751288320
PARAM_VALUE 0 mt->ma_flags 0-s32max
PARAM_VALUE 0 mt->ma_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 mt->ma_root 0
PARAM_VALUE 1 start 0-s32max
PARAM_VALUE 2 end 0-s32max,18446744071562067968-u64max
PARAM_VALUE 3 ptr 0-1,3-u32max
CAPPED_DATA 1 start 1
CAPPED_DATA 1 start 1
CAPPED_DATA 2 end 1
CAPPED_DATA 2 end 1
DATA_SOURCE 0 mt $0
DATA_SOURCE 1 start $1
DATA_SOURCE 2 end $2
DATA_SOURCE 3 ptr $3

lib/test_maple_tree.c mtree_test_store() -> mtree_test_store_range()

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 start 0-6,8,24,44,48,51,56,61-62,67-68,81,84,87-88,112,210,444,516,621
PARAM_VALUE 2 end 0-6,8,24,44,48,51,56,61-62,67-68,81,84,87-88,112,210,444,516,621
PARAM_VALUE 3 ptr 1,3,5,7,9,11,13,17,49,89,97,103,113,123,125,135,137,163,169,175,177,225,421,889,1033,1243
DATA_SOURCE 0 mt $0
DATA_SOURCE 1 start $1
DATA_SOURCE 2 end $1
DATA_SOURCE 3 ptr $2
HARD_MAX 1 start 621
HARD_MAX 2 end 621