Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

lib/test_ida.c ida_check_alloc() -> ida_dump()

Type Parameter Key Value
PARAM_VALUE 0 ida 7220171856470704128
DATA_SOURCE 0 ida $0
NOCHECK_CALL

lib/test_ida.c ida_check_alloc() -> ida_dump()

Type Parameter Key Value
PARAM_VALUE 0 ida 7220171856470704128
DATA_SOURCE 0 ida $0
NOCHECK_CALL

lib/test_ida.c ida_check_alloc() -> ida_dump()

Type Parameter Key Value
PARAM_VALUE 0 ida 7220171856470704128
DATA_SOURCE 0 ida $0
NOCHECK_CALL

lib/test_ida.c ida_check_alloc() -> ida_dump()

Type Parameter Key Value
PARAM_VALUE 0 ida 7220171856470704128
DATA_SOURCE 0 ida $0
NOCHECK_CALL

lib/test_ida.c ida_check_alloc() -> ida_dump()

Type Parameter Key Value
PARAM_VALUE 0 ida 7220171856470704128
DATA_SOURCE 0 ida $0
NOCHECK_CALL

lib/test_ida.c ida_check_bad_free() -> ida_dump()

Type Parameter Key Value
PARAM_VALUE 0 ida 7220171856470704128
DATA_SOURCE 0 ida $0
NOCHECK_CALL

lib/test_ida.c ida_check_bad_free() -> ida_dump()

Type Parameter Key Value
PARAM_VALUE 0 ida 7220171856470704128
DATA_SOURCE 0 ida $0
NOCHECK_CALL

lib/test_ida.c ida_check_bad_free() -> ida_dump()

Type Parameter Key Value
PARAM_VALUE 0 ida 7220171856470704128
DATA_SOURCE 0 ida $0
NOCHECK_CALL

lib/test_ida.c ida_check_bad_free() -> ida_dump()

Type Parameter Key Value
PARAM_VALUE 0 ida 7220171856470704128
DATA_SOURCE 0 ida $0
NOCHECK_CALL

lib/test_ida.c ida_check_conv() -> ida_dump()

Type Parameter Key Value
PARAM_VALUE 0 ida 7220171856470704128
DATA_SOURCE 0 ida $0
NOCHECK_CALL

lib/test_ida.c ida_check_conv() -> ida_dump()

Type Parameter Key Value
PARAM_VALUE 0 ida 7220171856470704128
DATA_SOURCE 0 ida $0
NOCHECK_CALL

lib/test_ida.c ida_check_conv() -> ida_dump()

Type Parameter Key Value
PARAM_VALUE 0 ida 7220171856470704128
DATA_SOURCE 0 ida $0
NOCHECK_CALL

lib/test_ida.c ida_check_conv() -> ida_dump()

Type Parameter Key Value
PARAM_VALUE 0 ida 7220171856470704128
DATA_SOURCE 0 ida $0
NOCHECK_CALL

lib/test_ida.c ida_check_conv() -> ida_dump()

Type Parameter Key Value
PARAM_VALUE 0 ida 7220171856470704128
DATA_SOURCE 0 ida $0
NOCHECK_CALL

lib/test_ida.c ida_check_conv() -> ida_dump()

Type Parameter Key Value
PARAM_VALUE 0 ida 7220171856470704128
DATA_SOURCE 0 ida $0
NOCHECK_CALL

lib/test_ida.c ida_check_conv() -> ida_dump()

Type Parameter Key Value
PARAM_VALUE 0 ida 7220171856470704128
DATA_SOURCE 0 ida $0
NOCHECK_CALL

lib/test_ida.c ida_check_destroy() -> ida_dump()

Type Parameter Key Value
PARAM_VALUE 0 ida 7220171856470704128
DATA_SOURCE 0 ida $0
NOCHECK_CALL

lib/test_ida.c ida_check_destroy() -> ida_dump()

Type Parameter Key Value
PARAM_VALUE 0 ida 7220171856470704128
DATA_SOURCE 0 ida $0
NOCHECK_CALL

lib/test_ida.c ida_check_destroy_1() -> ida_dump()

Type Parameter Key Value
PARAM_VALUE 0 ida 7220171856470704128
DATA_SOURCE 0 ida $0
NOCHECK_CALL

lib/test_ida.c ida_check_destroy_1() -> ida_dump()

Type Parameter Key Value
PARAM_VALUE 0 ida 7220171856470704128
DATA_SOURCE 0 ida $0
NOCHECK_CALL

lib/test_ida.c ida_check_destroy_1() -> ida_dump()

Type Parameter Key Value
PARAM_VALUE 0 ida 7220171856470704128
DATA_SOURCE 0 ida $0
NOCHECK_CALL

lib/test_ida.c ida_check_find_first() -> ida_dump()

Type Parameter Key Value
PARAM_VALUE 0 ida 7220171856470704128
DATA_SOURCE 0 ida $0
NOCHECK_CALL

lib/test_ida.c ida_check_find_first() -> ida_dump()

Type Parameter Key Value
PARAM_VALUE 0 ida 7220171856470704128
DATA_SOURCE 0 ida $0
NOCHECK_CALL

lib/test_ida.c ida_check_find_first() -> ida_dump()

Type Parameter Key Value
PARAM_VALUE 0 ida 7220171856470704128
DATA_SOURCE 0 ida $0
NOCHECK_CALL

lib/test_ida.c ida_check_find_first() -> ida_dump()

Type Parameter Key Value
PARAM_VALUE 0 ida 7220171856470704128
DATA_SOURCE 0 ida $0
NOCHECK_CALL

lib/test_ida.c ida_check_find_first() -> ida_dump()

Type Parameter Key Value
PARAM_VALUE 0 ida 7220171856470704128
DATA_SOURCE 0 ida $0
NOCHECK_CALL

lib/test_ida.c ida_check_find_first() -> ida_dump()

Type Parameter Key Value
PARAM_VALUE 0 ida 7220171856470704128
DATA_SOURCE 0 ida $0
NOCHECK_CALL

lib/test_ida.c ida_check_find_first() -> ida_dump()

Type Parameter Key Value
PARAM_VALUE 0 ida 7220171856470704128
DATA_SOURCE 0 ida $0
NOCHECK_CALL

lib/test_ida.c ida_check_find_first() -> ida_dump()

Type Parameter Key Value
PARAM_VALUE 0 ida 7220171856470704128
DATA_SOURCE 0 ida $0
NOCHECK_CALL

lib/test_ida.c ida_check_find_first() -> ida_dump()

Type Parameter Key Value
PARAM_VALUE 0 ida 7220171856470704128
DATA_SOURCE 0 ida $0
NOCHECK_CALL

lib/test_ida.c ida_check_find_first() -> ida_dump()

Type Parameter Key Value
PARAM_VALUE 0 ida 7220171856470704128
DATA_SOURCE 0 ida $0
NOCHECK_CALL

lib/test_ida.c ida_check_find_first() -> ida_dump()

Type Parameter Key Value
PARAM_VALUE 0 ida 7220171856470704128
DATA_SOURCE 0 ida $0
NOCHECK_CALL

lib/test_ida.c ida_check_find_first() -> ida_dump()

Type Parameter Key Value
PARAM_VALUE 0 ida 7220171856470704128
DATA_SOURCE 0 ida $0
NOCHECK_CALL

lib/test_ida.c ida_check_find_first() -> ida_dump()

Type Parameter Key Value
PARAM_VALUE 0 ida 7220171856470704128
DATA_SOURCE 0 ida $0
NOCHECK_CALL

lib/test_ida.c ida_check_find_first() -> ida_dump()

Type Parameter Key Value
PARAM_VALUE 0 ida 7220171856470704128
DATA_SOURCE 0 ida $0
NOCHECK_CALL

lib/test_ida.c ida_check_find_first() -> ida_dump()

Type Parameter Key Value
PARAM_VALUE 0 ida 7220171856470704128
DATA_SOURCE 0 ida $0
NOCHECK_CALL

lib/test_ida.c ida_check_find_first() -> ida_dump()

Type Parameter Key Value
PARAM_VALUE 0 ida 7220171856470704128
DATA_SOURCE 0 ida $0
NOCHECK_CALL

lib/test_ida.c ida_check_find_first() -> ida_dump()

Type Parameter Key Value
PARAM_VALUE 0 ida 7220171856470704128
DATA_SOURCE 0 ida $0
NOCHECK_CALL

lib/test_ida.c ida_check_find_first() -> ida_dump()

Type Parameter Key Value
PARAM_VALUE 0 ida 7220171856470704128
DATA_SOURCE 0 ida $0
NOCHECK_CALL

lib/test_ida.c ida_check_find_first() -> ida_dump()

Type Parameter Key Value
PARAM_VALUE 0 ida 7220171856470704128
DATA_SOURCE 0 ida $0
NOCHECK_CALL

lib/test_ida.c ida_check_find_first() -> ida_dump()

Type Parameter Key Value
PARAM_VALUE 0 ida 7220171856470704128
DATA_SOURCE 0 ida $0
NOCHECK_CALL

lib/test_ida.c ida_check_find_first() -> ida_dump()

Type Parameter Key Value
PARAM_VALUE 0 ida 7220171856470704128
DATA_SOURCE 0 ida $0
NOCHECK_CALL

lib/test_ida.c ida_check_find_first() -> ida_dump()

Type Parameter Key Value
PARAM_VALUE 0 ida 7220171856470704128
DATA_SOURCE 0 ida $0
NOCHECK_CALL

lib/test_ida.c ida_check_find_first() -> ida_dump()

Type Parameter Key Value
PARAM_VALUE 0 ida 7220171856470704128
DATA_SOURCE 0 ida $0
NOCHECK_CALL

lib/test_ida.c ida_check_find_first() -> ida_dump()

Type Parameter Key Value
PARAM_VALUE 0 ida 7220171856470704128
DATA_SOURCE 0 ida $0
NOCHECK_CALL

lib/test_ida.c ida_check_find_first() -> ida_dump()

Type Parameter Key Value
PARAM_VALUE 0 ida 7220171856470704128
DATA_SOURCE 0 ida $0
NOCHECK_CALL

lib/test_ida.c ida_check_find_first() -> ida_dump()

Type Parameter Key Value
PARAM_VALUE 0 ida 7220171856470704128
DATA_SOURCE 0 ida $0
NOCHECK_CALL

lib/test_ida.c ida_check_find_first() -> ida_dump()

Type Parameter Key Value
PARAM_VALUE 0 ida 7220171856470704128
DATA_SOURCE 0 ida $0
NOCHECK_CALL

lib/test_ida.c ida_check_find_first() -> ida_dump()

Type Parameter Key Value
PARAM_VALUE 0 ida 7220171856470704128
DATA_SOURCE 0 ida $0
NOCHECK_CALL

lib/test_ida.c ida_check_find_first() -> ida_dump()

Type Parameter Key Value
PARAM_VALUE 0 ida 7220171856470704128
DATA_SOURCE 0 ida $0
NOCHECK_CALL

lib/test_ida.c ida_check_find_first() -> ida_dump()

Type Parameter Key Value
PARAM_VALUE 0 ida 7220171856470704128
DATA_SOURCE 0 ida $0
NOCHECK_CALL

lib/test_ida.c ida_check_find_first() -> ida_dump()

Type Parameter Key Value
PARAM_VALUE 0 ida 7220171856470704128
DATA_SOURCE 0 ida $0
NOCHECK_CALL

lib/test_ida.c ida_check_find_first() -> ida_dump()

Type Parameter Key Value
PARAM_VALUE 0 ida 7220171856470704128
DATA_SOURCE 0 ida $0
NOCHECK_CALL

lib/test_ida.c ida_check_find_first() -> ida_dump()

Type Parameter Key Value
PARAM_VALUE 0 ida 7220171856470704128
DATA_SOURCE 0 ida $0
NOCHECK_CALL

lib/test_ida.c ida_check_find_first() -> ida_dump()

Type Parameter Key Value
PARAM_VALUE 0 ida 7220171856470704128
DATA_SOURCE 0 ida $0
NOCHECK_CALL

lib/test_ida.c ida_check_find_first() -> ida_dump()

Type Parameter Key Value
PARAM_VALUE 0 ida 7220171856470704128
DATA_SOURCE 0 ida $0
NOCHECK_CALL

lib/test_ida.c ida_check_find_first() -> ida_dump()

Type Parameter Key Value
PARAM_VALUE 0 ida 7220171856470704128
DATA_SOURCE 0 ida $0
NOCHECK_CALL

lib/test_ida.c ida_check_find_first() -> ida_dump()

Type Parameter Key Value
PARAM_VALUE 0 ida 7220171856470704128
DATA_SOURCE 0 ida $0
NOCHECK_CALL

lib/test_ida.c ida_check_find_first() -> ida_dump()

Type Parameter Key Value
PARAM_VALUE 0 ida 7220171856470704128
DATA_SOURCE 0 ida $0
NOCHECK_CALL

lib/test_ida.c ida_check_find_first() -> ida_dump()

Type Parameter Key Value
PARAM_VALUE 0 ida 7220171856470704128
DATA_SOURCE 0 ida $0
NOCHECK_CALL

lib/test_ida.c ida_check_find_first() -> ida_dump()

Type Parameter Key Value
PARAM_VALUE 0 ida 7220171856470704128
DATA_SOURCE 0 ida $0
NOCHECK_CALL

lib/test_ida.c ida_check_find_first() -> ida_dump()

Type Parameter Key Value
PARAM_VALUE 0 ida 7220171856470704128
DATA_SOURCE 0 ida $0
NOCHECK_CALL

lib/test_ida.c ida_check_find_first() -> ida_dump()

Type Parameter Key Value
PARAM_VALUE 0 ida 7220171856470704128
DATA_SOURCE 0 ida $0
NOCHECK_CALL

lib/test_ida.c ida_check_find_first() -> ida_dump()

Type Parameter Key Value
PARAM_VALUE 0 ida 7220171856470704128
DATA_SOURCE 0 ida $0
NOCHECK_CALL

lib/test_ida.c ida_check_find_first() -> ida_dump()

Type Parameter Key Value
PARAM_VALUE 0 ida 7220171856470704128
DATA_SOURCE 0 ida $0
NOCHECK_CALL

lib/test_ida.c ida_check_find_first() -> ida_dump()

Type Parameter Key Value
PARAM_VALUE 0 ida 7220171856470704128
DATA_SOURCE 0 ida $0
NOCHECK_CALL

lib/test_ida.c ida_check_find_first() -> ida_dump()

Type Parameter Key Value
PARAM_VALUE 0 ida 7220171856470704128
DATA_SOURCE 0 ida $0
NOCHECK_CALL

lib/test_ida.c ida_check_leaf() -> ida_dump()

Type Parameter Key Value
PARAM_VALUE 0 ida 7220171856470704128
DATA_SOURCE 0 ida $0
NOCHECK_CALL

lib/test_ida.c ida_check_leaf() -> ida_dump()

Type Parameter Key Value
PARAM_VALUE 0 ida 7220171856470704128
DATA_SOURCE 0 ida $0
NOCHECK_CALL

lib/test_ida.c ida_check_leaf() -> ida_dump()

Type Parameter Key Value
PARAM_VALUE 0 ida 7220171856470704128
DATA_SOURCE 0 ida $0
NOCHECK_CALL

lib/test_ida.c ida_check_leaf() -> ida_dump()

Type Parameter Key Value
PARAM_VALUE 0 ida 7220171856470704128
DATA_SOURCE 0 ida $0
NOCHECK_CALL

lib/test_ida.c ida_check_leaf() -> ida_dump()

Type Parameter Key Value
PARAM_VALUE 0 ida 7220171856470704128
DATA_SOURCE 0 ida $0
NOCHECK_CALL

lib/test_ida.c ida_check_max() -> ida_dump()

Type Parameter Key Value
PARAM_VALUE 0 ida 7220171856470704128
DATA_SOURCE 0 ida $0
NOCHECK_CALL

lib/test_ida.c ida_check_max() -> ida_dump()

Type Parameter Key Value
PARAM_VALUE 0 ida 7220171856470704128
DATA_SOURCE 0 ida $0
NOCHECK_CALL

lib/test_ida.c ida_check_max() -> ida_dump()

Type Parameter Key Value
PARAM_VALUE 0 ida 7220171856470704128
DATA_SOURCE 0 ida $0
NOCHECK_CALL

lib/test_ida.c ida_checks() -> ida_dump()

Type Parameter Key Value
PARAM_VALUE 0 ida 7220171856470704128
NOCHECK_CALL