Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

lib/crypto/mpi/mpi-add.c mpi_addm() -> mpi_add()

Type Parameter Key Value
DATA_SOURCE 0 w $0
DATA_SOURCE 1 u $1
DATA_SOURCE 2 v $2

lib/crypto/mpi/mpi-add.c mpi_sub() -> mpi_add()

Type Parameter Key Value
PARAM_VALUE 2 v 4096-ptr_max
PARAM_VALUE 2 v->d 0,4096-ptr_max
PARAM_VALUE 2 v->nbits 0
PARAM_VALUE 2 v->sign 0-1
BUF_SIZE 0 w (-1),32
BUF_SIZE 0 w (-1),32
BUF_SIZE 1 u (-1),32
BUF_SIZE 1 u (-1),32
BUF_SIZE 2 v 32
CAPPED_DATA 2 v->nlimbs 1
DATA_SOURCE 0 w $0
DATA_SOURCE 1 u $1
DATA_SOURCE 2 v r mpi_copy
FUZZY_MAX 2 v->sign 1
HARD_MAX 2 v->sign 1
RX_PATH
TASK_NOT_RUNNING

lib/crypto/mpi/mpi-div.c mpi_fdiv_r() -> mpi_add()

Type Parameter Key Value
PARAM_VALUE 0 w 4096-ptr_max
PARAM_VALUE 0 w->d 4096-ptr_max
PARAM_VALUE 0 w->nlimbs s32min-(-1),1-s32max
PARAM_VALUE 1 u 4096-ptr_max
PARAM_VALUE 1 u->d 4096-ptr_max
PARAM_VALUE 1 u->nlimbs s32min-(-1),1-s32max
PARAM_VALUE 2 v 4096-ptr_max
BUF_SIZE 2 v (-1),32
BUF_SIZE 2 v (-1),32
CAPPED_DATA 0 w 1
CAPPED_DATA 1 u 1
DATA_SOURCE 0 w $0
DATA_SOURCE 1 u $0
DATA_SOURCE 2 v $2 [m]
NO_OVERFLOW_SIMPLE 0 w->nlimbs
NO_OVERFLOW_SIMPLE 1 u->nlimbs