Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

lib/ubsan.c __ubsan_handle_divrem_overflow() -> get_signed_val()

Type Parameter Key Value
PARAM_VALUE 0 type 4096-ptr_max
PARAM_VALUE 0 type->type_info 1-u16max
DATA_SOURCE 1 val $2

lib/ubsan.c val_is_negative() -> get_signed_val()

Type Parameter Key Value
PARAM_VALUE 0 type 4096-ptr_max
PARAM_VALUE 0 type->type_info 1-u16max
DATA_SOURCE 0 type $0
DATA_SOURCE 1 val $1

lib/ubsan.c val_to_string() -> get_signed_val()

Type Parameter Key Value
PARAM_VALUE 0 type 4096-ptr_max
PARAM_VALUE 0 type->type_info 1-u16max
PARAM_VALUE 0 type->type_kind 0
DATA_SOURCE 0 type $2
DATA_SOURCE 1 val $3