Open Menu /

Defined in 2 files as a function:

Referenced in 3 files:

Smatch caller information:

lib/test_maple_tree.c check_lb_not_empty() -> check_insert()

Type Parameter Key Value
PARAM_VALUE 1 index 2000000000,4000000000
PARAM_VALUE 2 ptr 2000000000,4000000000
DATA_SOURCE 0 xa $0
NOCHECK_CALL

lib/test_maple_tree.c check_mid_split() -> check_insert()

Type Parameter Key Value
PARAM_VALUE 1 index 8000000000
PARAM_VALUE 2 ptr 8000000000
DATA_SOURCE 0 xa $0
NOCHECK_CALL

lib/test_maple_tree.c check_mid_split() -> check_insert()

Type Parameter Key Value
PARAM_VALUE 0 xa->ma_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 index 0
PARAM_VALUE 2 ptr 1
DATA_SOURCE 0 xa $0
NOCHECK_CALL

lib/test_maple_tree.c check_upper_bound_split() -> check_insert()

Type Parameter Key Value
PARAM_VALUE 0 xa 4096-ptr_max
PARAM_VALUE 1 index 4096
PARAM_VALUE 2 ptr 4096
CAPPED_DATA 0 xa->ma_root 1
DATA_SOURCE 0 xa $0
NOCHECK_CALL

lib/test_maple_tree.c maple_tree_seed() -> check_insert()

Type Parameter Key Value
PARAM_VALUE 0 xa 697437168751288320
PARAM_VALUE 0 xa->ma_flags 0
PARAM_VALUE 0 xa->ma_root 0
PARAM_VALUE 1 index 0
PARAM_VALUE 2 ptr 697437168751288320
BUF_SIZE 2 ptr 88
NOCHECK_CALL

lib/test_maple_tree.c maple_tree_seed() -> check_insert()

Type Parameter Key Value
PARAM_VALUE 0 xa 697437168751288320
PARAM_VALUE 0 xa->ma_flags 0
PARAM_VALUE 0 xa->ma_root 0
PARAM_VALUE 1 index 5003
PARAM_VALUE 2 ptr 8635598494394941440
BUF_SIZE 2 ptr 96
BUF_SIZE 2 ptr 96
NOCHECK_CALL

lib/test_maple_tree.c maple_tree_seed() -> check_insert()

Type Parameter Key Value
PARAM_VALUE 0 xa 697437168751288320
PARAM_VALUE 0 xa->ma_flags 0
PARAM_VALUE 0 xa->ma_root 0
PARAM_VALUE 1 index 5015
PARAM_VALUE 2 ptr 697437168751288320
BUF_SIZE 2 ptr 88
NOCHECK_CALL

lib/test_maple_tree.c maple_tree_seed() -> check_insert()

Type Parameter Key Value
PARAM_VALUE 0 xa 697437168751288320
PARAM_VALUE 0 xa->ma_flags 0
PARAM_VALUE 0 xa->ma_root 0
PARAM_VALUE 1 index 5014
PARAM_VALUE 2 ptr 8635598494394941440
BUF_SIZE 2 ptr 96
BUF_SIZE 2 ptr 96
NOCHECK_CALL

lib/test_maple_tree.c maple_tree_seed() -> check_insert()

Type Parameter Key Value
PARAM_VALUE 0 xa 697437168751288320
PARAM_VALUE 0 xa->ma_flags 0
PARAM_VALUE 0 xa->ma_root 0
PARAM_VALUE 1 index 1002
PARAM_VALUE 2 ptr 8635598494394941440
BUF_SIZE 2 ptr 96
BUF_SIZE 2 ptr 96
NOCHECK_CALL

lib/test_maple_tree.c maple_tree_seed() -> check_insert()

Type Parameter Key Value
PARAM_VALUE 0 xa 697437168751288320
PARAM_VALUE 0 xa->ma_flags 0
PARAM_VALUE 0 xa->ma_root 0
PARAM_VALUE 1 index 1003
PARAM_VALUE 2 ptr 697437168751288320
BUF_SIZE 2 ptr 88
NOCHECK_CALL

lib/test_maple_tree.c maple_tree_seed() -> check_insert()

Type Parameter Key Value
PARAM_VALUE 0 xa 697437168751288320
PARAM_VALUE 0 xa->ma_flags 0
PARAM_VALUE 0 xa->ma_root 0
PARAM_VALUE 1 index 1001
PARAM_VALUE 2 ptr 8635598494394941440
BUF_SIZE 2 ptr 96
BUF_SIZE 2 ptr 96
NOCHECK_CALL

lib/test_maple_tree.c maple_tree_seed() -> check_insert()

Type Parameter Key Value
PARAM_VALUE 0 xa 697437168751288320
PARAM_VALUE 0 xa->ma_flags 0
PARAM_VALUE 0 xa->ma_root 0
PARAM_VALUE 1 index 1003
PARAM_VALUE 2 ptr 697437168751288320
BUF_SIZE 2 ptr 88
NOCHECK_CALL

lib/test_maple_tree.c maple_tree_seed() -> check_insert()

Type Parameter Key Value
PARAM_VALUE 0 xa 697437168751288320
PARAM_VALUE 0 xa->ma_flags 0
PARAM_VALUE 0 xa->ma_root 0
PARAM_VALUE 1 index 1002
PARAM_VALUE 2 ptr 8635598494394941440
BUF_SIZE 2 ptr 96
BUF_SIZE 2 ptr 96
NOCHECK_CALL

lib/test_maple_tree.c maple_tree_seed() -> check_insert()

Type Parameter Key Value
PARAM_VALUE 0 xa 697437168751288320
PARAM_VALUE 0 xa->ma_flags 0
PARAM_VALUE 0 xa->ma_root 0
PARAM_VALUE 1 index 5015
PARAM_VALUE 2 ptr 8635598494394941440
BUF_SIZE 2 ptr 96
BUF_SIZE 2 ptr 96
NOCHECK_CALL

lib/test_maple_tree.c maple_tree_seed() -> check_insert()

Type Parameter Key Value
PARAM_VALUE 0 xa 697437168751288320
PARAM_VALUE 0 xa->ma_flags 0
PARAM_VALUE 0 xa->ma_root 0
PARAM_VALUE 1 index 5014
PARAM_VALUE 2 ptr 697437168751288320
BUF_SIZE 2 ptr 88
NOCHECK_CALL

lib/test_maple_tree.c maple_tree_seed() -> check_insert()

Type Parameter Key Value
PARAM_VALUE 0 xa 697437168751288320
PARAM_VALUE 0 xa->ma_flags 0
PARAM_VALUE 0 xa->ma_root 0
PARAM_VALUE 1 index 5017
PARAM_VALUE 2 ptr 8635598494394941440
BUF_SIZE 2 ptr 96
BUF_SIZE 2 ptr 96
NOCHECK_CALL

lib/test_maple_tree.c maple_tree_seed() -> check_insert()

Type Parameter Key Value
PARAM_VALUE 0 xa 697437168751288320
PARAM_VALUE 0 xa->ma_flags 0
PARAM_VALUE 0 xa->ma_root 0
PARAM_VALUE 1 index 25
PARAM_VALUE 2 ptr 697437168751288320
BUF_SIZE 2 ptr 88
NOCHECK_CALL

lib/test_maple_tree.c maple_tree_seed() -> check_insert()

Type Parameter Key Value
PARAM_VALUE 0 xa 697437168751288320
PARAM_VALUE 0 xa->ma_flags 0
PARAM_VALUE 0 xa->ma_root 0
PARAM_VALUE 1 index 1000
PARAM_VALUE 2 ptr 8635598494394941440
BUF_SIZE 2 ptr 96
BUF_SIZE 2 ptr 96
NOCHECK_CALL

lib/test_maple_tree.c maple_tree_seed() -> check_insert()

Type Parameter Key Value
PARAM_VALUE 0 xa 697437168751288320
PARAM_VALUE 0 xa->ma_flags 0
PARAM_VALUE 0 xa->ma_root 0
PARAM_VALUE 1 index 1001
PARAM_VALUE 2 ptr 697437168751288320
BUF_SIZE 2 ptr 88
NOCHECK_CALL

lib/test_maple_tree.c maple_tree_seed() -> check_insert()

Type Parameter Key Value
PARAM_VALUE 0 xa 697437168751288320
PARAM_VALUE 0 xa->ma_flags 0
PARAM_VALUE 0 xa->ma_root 0
PARAM_VALUE 1 index 1002
PARAM_VALUE 2 ptr 8635598494394941440
BUF_SIZE 2 ptr 96
BUF_SIZE 2 ptr 96
NOCHECK_CALL

lib/test_xarray.c xarray_checks() -> check_insert()

Type Parameter Key Value
PARAM_VALUE 0 xa 5024146686711472128
PARAM_VALUE 0 xa->xa_head 0
NOCHECK_CALL