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/mpih-div.c mpihelp_divrem() -> mpihelp_add_n()

Type Parameter Key Value
PARAM_VALUE 0 res_ptr 4096-ptr_max
PARAM_VALUE 1 s1_ptr 4096-ptr_max
PARAM_VALUE 2 s2_ptr 4096-ptr_max
PARAM_VALUE 3 size s32min-(-1),3-s32max
BUF_SIZE 2 s2_ptr (-1),1-s32max
BUF_SIZE 2 s2_ptr (-1),1-s32max
CAPPED_DATA 3 size 1
DATA_SOURCE 0 res_ptr $2 [m]
DATA_SOURCE 1 s1_ptr $2 [m]
DATA_SOURCE 2 s2_ptr $4
DATA_SOURCE 3 size $5
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 res_ptr 4096-ptr_max[u]
USER_DATA 1 s1_ptr 4096-ptr_max[u]
UNITS 3 size unit_array_size

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

Type Parameter Key Value
PARAM_VALUE 3 size s32min-(-1),1-s32max
BUF_SIZE 0 res_ptr 1-s32max
BUF_SIZE 0 res_ptr 1-s32max
BUF_SIZE 1 s1_ptr 1-s32max
BUF_SIZE 1 s1_ptr 1-s32max
BUF_SIZE 2 s2_ptr 1-s32max
BUF_SIZE 2 s2_ptr 1-s32max
CAPPED_DATA 3 size 1
DATA_SOURCE 0 res_ptr $0
DATA_SOURCE 1 s1_ptr $1
DATA_SOURCE 2 s2_ptr $3
DATA_SOURCE 3 size $4
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 3 size
UNITS 3 size unit_array_size

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

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

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

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

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

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

lib/crypto/mpi/mpih-mul.c mpih_sqr_n_basecase() -> mpihelp_add_n()

Type Parameter Key Value
PARAM_VALUE 0 res_ptr 4097-u64max
PARAM_VALUE 1 s1_ptr 4097-u64max
PARAM_VALUE 2 s2_ptr 4096-ptr_max
PARAM_VALUE 3 size 2-15
BUF_SIZE 2 s2_ptr (-1)-s32max
BUF_SIZE 2 s2_ptr (-1)-s32max
CAPPED_DATA 3 size 1
DATA_SOURCE 0 res_ptr $0 [m]
DATA_SOURCE 1 s1_ptr $0 [m]
DATA_SOURCE 2 s2_ptr $1
DATA_SOURCE 3 size $2
NOSPEC 3 size
RX_PATH
TASK_NOT_RUNNING
USER_DATA 3 size 2-15[c]
UNITS 3 size unit_array_size

lib/crypto/mpi/mpih-mul.c mpihelp_mul() -> mpihelp_add_n()

Type Parameter Key Value
PARAM_VALUE 0 res_ptr 4097-u64max
PARAM_VALUE 1 s1_ptr 4097-u64max
BUF_SIZE 2 s2_ptr (-1),1-s32max
BUF_SIZE 2 s2_ptr (-1),1-s32max
DATA_SOURCE 0 res_ptr $0 [m]
DATA_SOURCE 1 s1_ptr $0 [m]
DATA_SOURCE 2 s2_ptr $1
DATA_SOURCE 3 size $2
NOSPEC 2 s2_ptr
NOSPEC 2 s2_ptr
NOSPEC 3 size
NOSPEC 3 size
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 s2_ptr 4096-ptr_max[c][u]
USER_DATA 3 size 4-1536[c]
UNITS 3 size unit_array_size

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

Type Parameter Key Value
PARAM_VALUE 0 res_ptr 4096-u64max
PARAM_VALUE 1 s1_ptr 4096-u64max
PARAM_VALUE 2 s2_ptr 4096-ptr_max
PARAM_VALUE 3 size 16-s32max
BUF_SIZE 2 s2_ptr (-1),1-s32max
BUF_SIZE 2 s2_ptr (-1),1-s32max
CAPPED_DATA 3 size 1
DATA_SOURCE 0 res_ptr $0 [m]
DATA_SOURCE 1 s1_ptr $0 [m]
DATA_SOURCE 3 size $4
FUZZY_MAX 3 size 16
NOSPEC 0 res_ptr
NOSPEC 0 res_ptr
NOSPEC 1 s1_ptr
NOSPEC 1 s1_ptr
NOSPEC 3 size
NOSPEC 3 size
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 res_ptr 4096-ptr_max[c][u]
USER_DATA 1 s1_ptr 4096-ptr_max[c][u]
USER_DATA 3 size 16-1520[c]
NO_OVERFLOW_SIMPLE 3 size
UNITS 3 size unit_array_size

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

Type Parameter Key Value
PARAM_VALUE 0 res_ptr 4096-u64max
PARAM_VALUE 1 s1_ptr 4096-u64max
PARAM_VALUE 2 s2_ptr 1-u64max
PARAM_VALUE 3 size 16-s32max
BUF_SIZE 2 s2_ptr (-1),1-s32max
BUF_SIZE 2 s2_ptr (-1),1-s32max
CAPPED_DATA 3 size 1
DATA_SOURCE 0 res_ptr $0 [m]
DATA_SOURCE 1 s1_ptr $0 [m]
DATA_SOURCE 3 size $4
FUZZY_MAX 3 size 16
NOSPEC 0 res_ptr
NOSPEC 0 res_ptr
NOSPEC 1 s1_ptr
NOSPEC 1 s1_ptr
NOSPEC 3 size
NOSPEC 3 size
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 res_ptr 4096-ptr_max[c][u]
USER_DATA 1 s1_ptr 4096-ptr_max[c][u]
USER_DATA 3 size 16-1520[c]
NO_OVERFLOW_SIMPLE 3 size
UNITS 3 size unit_array_size

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

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

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

Type Parameter Key Value
PARAM_VALUE 0 res_ptr 4096-ptr_max
PARAM_VALUE 1 s1_ptr 4096-ptr_max
PARAM_VALUE 2 s2_ptr 4096-ptr_max
PARAM_VALUE 3 size 16-s32max
BUF_SIZE 2 s2_ptr (-1),1-s32max
BUF_SIZE 2 s2_ptr (-1),1-s32max
CAPPED_DATA 3 size 1
DATA_SOURCE 2 s2_ptr $4
DATA_SOURCE 3 size $3
FUZZY_MAX 3 size 16
BIT_INFO 3 size 0x0,0x7ffffffe
NOSPEC 3 size
RX_PATH
TASK_NOT_RUNNING
USER_DATA 3 size 16-1520[c]
NO_OVERFLOW_SIMPLE 3 size
UNITS 3 size unit_array_size

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

Type Parameter Key Value
PARAM_VALUE 0 res_ptr 4096-ptr_max
PARAM_VALUE 1 s1_ptr 4096-ptr_max
PARAM_VALUE 2 s2_ptr 4096-ptr_max
PARAM_VALUE 3 size 16-s32max
BUF_SIZE 2 s2_ptr (-1),1-s32max
BUF_SIZE 2 s2_ptr (-1),1-s32max
CAPPED_DATA 3 size 1
DATA_SOURCE 2 s2_ptr $4
DATA_SOURCE 3 size $3
FUZZY_MAX 3 size 16
BIT_INFO 3 size 0x0,0x7ffffffe
NOSPEC 3 size
RX_PATH
TASK_NOT_RUNNING
USER_DATA 3 size 16-1520[c]
NO_OVERFLOW_SIMPLE 3 size
UNITS 3 size unit_array_size

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

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

lib/crypto/mpi/mpih-mul.c mul_n_basecase() -> mpihelp_add_n()

Type Parameter Key Value
PARAM_VALUE 0 res_ptr 4097-u64max
PARAM_VALUE 1 s1_ptr 4097-u64max
PARAM_VALUE 3 size 2-s32max
BUF_SIZE 2 s2_ptr (-1),1-s32max
BUF_SIZE 2 s2_ptr (-1),1-s32max
CAPPED_DATA 3 size 1
DATA_SOURCE 0 res_ptr $0 [m]
DATA_SOURCE 1 s1_ptr $0 [m]
DATA_SOURCE 2 s2_ptr $1
DATA_SOURCE 3 size $3
NOSPEC 2 s2_ptr
NOSPEC 3 size
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 s2_ptr 4096-ptr_max[c][u]
USER_DATA 3 size 8-15[c]
NO_OVERFLOW_SIMPLE 3 size
UNITS 3 size unit_array_size