Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 14 files:

Smatch caller information:

fs/xfs/scrub/attr_repair.c xrep_xattr_setup_scan() -> xfarray_destroy()

Type Parameter Key Value
PARAM_VALUE 0 array 4096-ptr_max
PARAM_VALUE 0 array->obj_size 24
PARAM_VALUE 0 array->obj_size_log (-1)-31
NOCHECK_CALL

fs/xfs/scrub/attr_repair.c xrep_xattr_setup_scan() -> xfarray_destroy()

Type Parameter Key Value
PARAM_VALUE 0 array 4096-ptr_max
PARAM_VALUE 0 array->obj_size 32
PARAM_VALUE 0 array->obj_size_log (-1)-31
NOCHECK_CALL

fs/xfs/scrub/attr_repair.c xrep_xattr_teardown() -> xfarray_destroy()

Type Parameter Key Value
PARAM_VALUE 0 array 1-u64max
NOCHECK_CALL

fs/xfs/scrub/attr_repair.c xrep_xattr_teardown() -> xfarray_destroy()

Type Parameter Key Value
PARAM_VALUE 0 array 1-u64max
NOCHECK_CALL

fs/xfs/scrub/agheader_repair.c xrep_agi_buf_cleanup() -> xfarray_destroy()

Type Parameter Key Value
PARAM_VALUE 0 array 1-u64max
NOCHECK_CALL

fs/xfs/scrub/agheader_repair.c xrep_agi_buf_cleanup() -> xfarray_destroy()

Type Parameter Key Value
PARAM_VALUE 0 array 1-u64max
NOCHECK_CALL

fs/xfs/scrub/refcount_repair.c xrep_refcountbt() -> xfarray_destroy()

Type Parameter Key Value
PARAM_VALUE 0 array->obj_size 16
PARAM_VALUE 0 array->obj_size_log (-1)-31
NOCHECK_CALL

fs/xfs/scrub/quotacheck.c xqcheck_teardown_scan() -> xfarray_destroy()

Type Parameter Key Value
PARAM_VALUE 0 array 1-u64max
NOCHECK_CALL

fs/xfs/scrub/quotacheck.c xqcheck_teardown_scan() -> xfarray_destroy()

Type Parameter Key Value
PARAM_VALUE 0 array 1-u64max
NOCHECK_CALL

fs/xfs/scrub/quotacheck.c xqcheck_teardown_scan() -> xfarray_destroy()

Type Parameter Key Value
PARAM_VALUE 0 array 1-u64max
NOCHECK_CALL

fs/xfs/scrub/rtrefcount_repair.c xrep_rtrefcountbt() -> xfarray_destroy()

Type Parameter Key Value
PARAM_VALUE 0 array->obj_size 16
PARAM_VALUE 0 array->obj_size_log (-1)-31
NOCHECK_CALL

fs/xfs/scrub/alloc_repair.c xrep_allocbt() -> xfarray_destroy()

Type Parameter Key Value
PARAM_VALUE 0 array->obj_size 8
PARAM_VALUE 0 array->obj_size_log (-1)-31
NOCHECK_CALL

fs/xfs/scrub/dir_repair.c xrep_dir_setup_scan() -> xfarray_destroy()

Type Parameter Key Value
PARAM_VALUE 0 array 4096-ptr_max
PARAM_VALUE 0 array->obj_size 24
PARAM_VALUE 0 array->obj_size_log (-1)-31
NOCHECK_CALL

fs/xfs/scrub/dir_repair.c xrep_dir_teardown() -> xfarray_destroy()

Type Parameter Key Value
PARAM_VALUE 0 array 1-u64max
NOCHECK_CALL

fs/xfs/scrub/bmap_repair.c xrep_bmap() -> xfarray_destroy()

Type Parameter Key Value
PARAM_VALUE 0 array->obj_size 16
PARAM_VALUE 0 array->obj_size_log (-1)-31
NOCHECK_CALL

fs/xfs/scrub/ialloc_repair.c xrep_iallocbt() -> xfarray_destroy()

Type Parameter Key Value
PARAM_VALUE 0 array->obj_size 16
PARAM_VALUE 0 array->obj_size_log (-1)-31
NOCHECK_CALL

fs/xfs/scrub/parent.c xchk_parent_pptr() -> xfarray_destroy()

Type Parameter Key Value
PARAM_VALUE 0 array->obj_size 24
PARAM_VALUE 0 array->obj_size_log (-1)-31
NOCHECK_CALL

fs/xfs/scrub/dir.c xchk_directory() -> xfarray_destroy()

Type Parameter Key Value
PARAM_VALUE 0 array 1-u64max
PARAM_VALUE 0 array->obj_size_log s32min-s32max
NOCHECK_CALL

fs/xfs/scrub/dirtree.c xchk_dirtree_buf_cleanup() -> xfarray_destroy()

Type Parameter Key Value
PARAM_VALUE 0 array 1-u64max
NOCHECK_CALL

fs/xfs/scrub/dirtree.c xchk_setup_dirtree() -> xfarray_destroy()

Type Parameter Key Value
PARAM_VALUE 0 array 4096-ptr_max
PARAM_VALUE 0 array->obj_size 24
PARAM_VALUE 0 array->obj_size_log (-1)-31
CAPABLE 0 21
NOCHECK_CALL

fs/xfs/scrub/parent_repair.c xrep_parent_setup_scan() -> xfarray_destroy()

Type Parameter Key Value
PARAM_VALUE 0 array 4096-ptr_max
PARAM_VALUE 0 array->obj_size 32
PARAM_VALUE 0 array->obj_size_log (-1)-31
NOCHECK_CALL

fs/xfs/scrub/parent_repair.c xrep_parent_setup_scan() -> xfarray_destroy()

Type Parameter Key Value
PARAM_VALUE 0 array 4096-ptr_max
PARAM_VALUE 0 array->obj_size 24
PARAM_VALUE 0 array->obj_size_log (-1)-31
NOCHECK_CALL

fs/xfs/scrub/parent_repair.c xrep_parent_teardown() -> xfarray_destroy()

Type Parameter Key Value
PARAM_VALUE 0 array 1-u64max
NOCHECK_CALL

fs/xfs/scrub/parent_repair.c xrep_parent_teardown() -> xfarray_destroy()

Type Parameter Key Value
PARAM_VALUE 0 array 1-u64max
NOCHECK_CALL

fs/xfs/scrub/nlinks.c xchk_nlinks_teardown_scan() -> xfarray_destroy()

Type Parameter Key Value
PARAM_VALUE 0 array 1-u64max
NOCHECK_CALL