Defined in 1 files as a prototype:
Referenced in 2 files:
Smatch caller information:
kernel/bpf/cnum.c cnum32_intersect_with_srange() -> cnum32_from_srange()
| Type | Parameter | Key | Value |
|---|---|---|---|
| CAPPED_DATA | 0 | min | 1 |
| DATA_SOURCE | 0 | min | $1 |
| DATA_SOURCE | 1 | max | $2 |
kernel/bpf/verifier.c cnum32_from_tnum() -> cnum32_from_srange()
| Type | Parameter | Key | Value |
|---|
kernel/bpf/verifier.c reg_set_srange32() -> cnum32_from_srange()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | min | $1 |
| DATA_SOURCE | 1 | max | $2 |
| UNITS | 0 | min | unit_byte |
| UNITS | 1 | max | unit_byte |
kernel/bpf/verifier.c scalar32_min_max_mul() -> cnum32_from_srange()
| Type | Parameter | Key | Value |
|---|---|---|---|
| CAPPED_DATA | 0 | min | 1 |
| NO_OVERFLOW_SIMPLE | 0 | min | |
| NO_OVERFLOW_SIMPLE | 1 | max |