Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

lib/crypto/mpi/mpi-add.c mpihelp_add() -> mpihelp_add_1()

Type Parameter Key Value
PARAM_VALUE 0 res_ptr 4096-ptr_max
PARAM_VALUE 1 s1_ptr 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING

lib/crypto/mpi/mpi-sub-ui.c mpi_sub_ui() -> mpihelp_add_1()

Type Parameter Key Value
PARAM_VALUE 0 res_ptr 0,4096-ptr_max
PARAM_VALUE 2 s1_size s32min-(-1),1-s32max
PARAM_VALUE 3 s2_limb 1
BUF_SIZE 0 res_ptr 1-s32max
BUF_SIZE 1 s1_ptr 1-s32max
DATA_SOURCE 3 s2_limb $2
RX_PATH
TASK_NOT_RUNNING
UNITS 2 s1_size unit_array_size

lib/crypto/mpi/mpih-mul.c mpih_sqr_n() -> mpihelp_add_1()

Type Parameter Key Value
PARAM_VALUE 0 res_ptr 4096-ptr_max
PARAM_VALUE 1 s1_ptr 4096-ptr_max
PARAM_VALUE 2 s1_size 8-1073741823
PARAM_VALUE 3 s2_limb 1-u64max
CAPPED_DATA 2 s1_size 1
FUZZY_MAX 2 s1_size 16
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 2 s1_size 8-384[c]

lib/crypto/mpi/mpih-mul.c mpih_sqr_n() -> mpihelp_add_1()

Type Parameter Key Value
PARAM_VALUE 0 res_ptr 4096-ptr_max
PARAM_VALUE 1 s1_ptr 4096-ptr_max
PARAM_VALUE 2 s1_size 16-s32max
PARAM_VALUE 3 s2_limb 1
CAPPED_DATA 2 s1_size 1
DATA_SOURCE 2 s1_size $2
FUZZY_MAX 2 s1_size 16
BIT_INFO 2 s1_size 0x0,0x7ffffffe
NOSPEC 2 s1_size
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 2 s1_size 16-768[c]
UNITS 2 s1_size unit_array_size

lib/crypto/mpi/mpih-mul.c mpihelp_mul_karatsuba_case() -> mpihelp_add_1()

Type Parameter Key Value
PARAM_VALUE 0 res_ptr 4096-ptr_max
PARAM_VALUE 1 s1_ptr 4096-ptr_max
PARAM_VALUE 2 s1_size 16-s32max
CAPPED_DATA 2 s1_size 1
DATA_SOURCE 2 s1_size $4
DATA_SOURCE 3 s2_limb r mpihelp_add_n
FUZZY_MAX 2 s1_size 16
NOSPEC 2 s1_size
NOSPEC 2 s1_size
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 2 s1_size 16-1520[c]
NO_OVERFLOW_SIMPLE 2 s1_size
UNITS 2 s1_size unit_array_size

lib/crypto/mpi/mpih-mul.c mpihelp_mul_karatsuba_case() -> mpihelp_add_1()

Type Parameter Key Value
PARAM_VALUE 0 res_ptr 4096-ptr_max
PARAM_VALUE 1 s1_ptr 4096-ptr_max
PARAM_VALUE 2 s1_size s32min-(-1),1-2147483646
CAPPED_DATA 2 s1_size 1
DATA_SOURCE 2 s1_size $2 [m]
DATA_SOURCE 3 s2_limb r mpihelp_add_n
NOSPEC 2 s1_size
NOSPEC 2 s1_size
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 2 s1_size (-1516)-(-1),1-1520[c]
NO_OVERFLOW_SIMPLE 2 s1_size
UNITS 2 s1_size unit_array_size

lib/crypto/mpi/mpih-mul.c mul_n() -> mpihelp_add_1()

Type Parameter Key Value
PARAM_VALUE 0 res_ptr 4096-ptr_max
PARAM_VALUE 1 s1_ptr 4096-ptr_max
PARAM_VALUE 2 s1_size 8-1073741823
PARAM_VALUE 3 s2_limb 1-u64max
CAPPED_DATA 2 s1_size 1
FUZZY_MAX 2 s1_size 16
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 2 s1_size 8-760[c]

lib/crypto/mpi/mpih-mul.c mul_n() -> mpihelp_add_1()

Type Parameter Key Value
PARAM_VALUE 0 res_ptr 4096-ptr_max
PARAM_VALUE 1 s1_ptr 4096-ptr_max
PARAM_VALUE 2 s1_size 16-s32max
PARAM_VALUE 3 s2_limb 1
CAPPED_DATA 2 s1_size 1
DATA_SOURCE 2 s1_size $3
FUZZY_MAX 2 s1_size 16
BIT_INFO 2 s1_size 0x0,0x7ffffffe
NOSPEC 2 s1_size
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 2 s1_size 16-1520[c]
NO_OVERFLOW_SIMPLE 2 s1_size
UNITS 2 s1_size unit_array_size