Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

crypto/ecc.c vli_mult() -> check_add_128_128_overflow()

Type Parameter Key Value
PARAM_VALUE 0 result 6572655667513020416
DATA_SOURCE 2 b r mul_64_64
BIT_INFO 1 a 0x0,0x0
BIT_INFO 2 b 0x0,0x0
RX_PATH
TASK_NOT_RUNNING

crypto/ecc.c vli_square() -> check_add_128_128_overflow()

Type Parameter Key Value
PARAM_VALUE 0 result 2862250655680049152
DATA_SOURCE 2 b r mul_64_64
BIT_INFO 1 a 0x0,0x0
BIT_INFO 2 b 0x0,0x0
RX_PATH
TASK_NOT_RUNNING

crypto/ecc.c vli_umult() -> check_add_128_128_overflow()

Type Parameter Key Value
PARAM_VALUE 0 result 6234531149628157952
PARAM_VALUE 0 result->m_high 0
DATA_SOURCE 2 b r mul_64_64
BIT_INFO 1 a 0x0,0x0
BIT_INFO 2 b 0x0,0x0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL