Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

lib/bch.c compute_trace_bk_mod() -> gf_poly_mod()

Type Parameter Key Value
PARAM_VALUE 0 bch 4096-ptr_max
PARAM_VALUE 0 bch->a_log_tab 4096-ptr_max
PARAM_VALUE 0 bch->a_pow_tab 4096-ptr_max
PARAM_VALUE 0 bch->n 0,6-s32max
PARAM_VALUE 1 a 4096-ptr_max
PARAM_VALUE 1 a->c 4096-ptr_max
PARAM_VALUE 2 b 4096-ptr_max
PARAM_VALUE 2 b->deg 5-u32max
CAPPED_DATA 0 bch->m 1
CAPPED_DATA 0 bch->n 1
CAPPED_DATA 2 b->deg 1
DATA_SOURCE 0 bch $0
DATA_SOURCE 1 a $3
DATA_SOURCE 2 b $2
RX_PATH
NOCHECK_CALL

lib/bch.c gf_poly_div() -> gf_poly_mod()

Type Parameter Key Value
PARAM_VALUE 0 bch 4096-ptr_max
PARAM_VALUE 0 bch->a_log_tab 4096-ptr_max
PARAM_VALUE 0 bch->a_pow_tab 4096-ptr_max
PARAM_VALUE 0 bch->n 0,6-s32max
PARAM_VALUE 1 a 4096-ptr_max
PARAM_VALUE 1 a->deg 6-u32max
PARAM_VALUE 2 b 4096-ptr_max
PARAM_VALUE 2 b->deg 5-4294967294
PARAM_VALUE 3 rep 0
CAPPED_DATA 0 bch->m 1
CAPPED_DATA 0 bch->n 1
CAPPED_DATA 1 a->deg 1
CAPPED_DATA 2 b->deg 1
DATA_SOURCE 0 bch $0
DATA_SOURCE 1 a $1
DATA_SOURCE 2 b $2
PARAM_COMPARE 1 a->deg > $2->deg
RX_PATH
NOCHECK_CALL

lib/bch.c gf_poly_gcd() -> gf_poly_mod()

Type Parameter Key Value
PARAM_VALUE 0 bch 4096-ptr_max
PARAM_VALUE 0 bch->a_log_tab 4096-ptr_max
PARAM_VALUE 0 bch->a_pow_tab 4096-ptr_max
PARAM_VALUE 0 bch->n 0,6-s32max
PARAM_VALUE 1 a 4096-ptr_max
PARAM_VALUE 2 b 4096-ptr_max
PARAM_VALUE 2 b->deg 1-u32max
PARAM_VALUE 3 rep 0
CAPPED_DATA 0 bch->m 1
CAPPED_DATA 0 bch->n 1
CAPPED_DATA 1 a->deg 1
DATA_SOURCE 0 bch $0
DATA_SOURCE 1 a $1 [m]
DATA_SOURCE 2 b $2 [m]
FUZZY_MAX 2 b->deg 1
RX_PATH
NOCHECK_CALL