Defined in 1 files as a prototype:
Referenced in 1 files:
Smatch caller information:
kernel/bpf/verifier.c adjust_ptr_min_max_vals() -> cnum64_add()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BIT_INFO | 0 | a | 0x0,0x0 |
| BIT_INFO | 1 | b | 0x0,0x0 |
kernel/bpf/verifier.c adjust_ptr_min_max_vals() -> cnum64_add()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BIT_INFO | 0 | a | 0x0,0x0 |
| BIT_INFO | 1 | b | 0x0,0x0 |
kernel/bpf/verifier.c scalar_min_max_add() -> cnum64_add()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BIT_INFO | 0 | a | 0x0,0x0 |
| BIT_INFO | 1 | b | 0x0,0x0 |
kernel/bpf/verifier.c scalar_min_max_sub() -> cnum64_add()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BIT_INFO | 0 | a | 0x0,0x0 |
| BIT_INFO | 1 | b | 0x0,0x0 |