Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
lib/math/test_div64.c test_div64() -> test_div64_verify()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | quotient | 319053383-2049638230412172401 |
| PARAM_VALUE | 1 | remainder | 0-8 |
| PARAM_VALUE | 2 | i | 0-11 |
| PARAM_VALUE | 3 | j | 0 |
| CAPPED_DATA | 1 | remainder | 1 |
| FUZZY_MAX | 2 | i | 11 |
| PARAM_COMPARE | 0 | quotient | < $0 |
| HARD_MAX | 2 | i | 11 |
lib/math/test_div64.c test_div64() -> test_div64_verify()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | quotient | 2871480448,68303984985,984823264433,14583980826361,177623454040215,2145937644793418,32329108835653257 |
| PARAM_VALUE | 1 | remainder | 0-123 |
| PARAM_VALUE | 2 | i | 0-11 |
| PARAM_VALUE | 3 | j | 1 |
| CAPPED_DATA | 1 | remainder | 1 |
| FUZZY_MAX | 2 | i | 11 |
| PARAM_COMPARE | 0 | quotient | < $0 |
| BIT_INFO | 0 | quotient | 0x0,0x3ffffffffffffff |
| HARD_MAX | 2 | i | 11 |
lib/math/test_div64.c test_div64() -> test_div64_verify()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | quotient | 2871480448,68303984985,984823264433,14583980826361,177623454040215,2145937644793418,32329108835653257 |
| PARAM_VALUE | 1 | remainder | 0-515 |
| PARAM_VALUE | 2 | i | 0-11 |
| PARAM_VALUE | 3 | j | 2 |
| CAPPED_DATA | 1 | remainder | 1 |
| FUZZY_MAX | 2 | i | 11 |
| PARAM_COMPARE | 0 | quotient | < $0 |
| HARD_MAX | 2 | i | 11 |
lib/math/test_div64.c test_div64() -> test_div64_verify()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | quotient | 2871480448,68303984985,984823264433,14583980826361,177623454040215 |
| PARAM_VALUE | 1 | remainder | 0-52058 |
| PARAM_VALUE | 2 | i | 0-11 |
| PARAM_VALUE | 3 | j | 3 |
| CAPPED_DATA | 1 | remainder | 1 |
| FUZZY_MAX | 2 | i | 11 |
| PARAM_COMPARE | 0 | quotient | < $0 |
| BIT_INFO | 0 | quotient | 0x0,0x1ffffffffffff |
| HARD_MAX | 2 | i | 11 |
lib/math/test_div64.c test_div64() -> test_div64_verify()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | quotient | 2871480448,68303984985,984823264433,14583980826361,177623454040215 |
| PARAM_VALUE | 1 | remainder | 0-u16max |
| PARAM_VALUE | 2 | i | 0-11 |
| PARAM_VALUE | 3 | j | 4 |
| CAPPED_DATA | 1 | remainder | 1 |
| FUZZY_MAX | 2 | i | 11 |
| PARAM_COMPARE | 0 | quotient | < $0 |
| HARD_MAX | 2 | i | 11 |
lib/math/test_div64.c test_div64() -> test_div64_verify()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | quotient | 2871480448,68303984985,984823264433,14583980826361 |
| PARAM_VALUE | 1 | remainder | 0-567423 |
| PARAM_VALUE | 2 | i | 0-11 |
| PARAM_VALUE | 3 | j | 5 |
| CAPPED_DATA | 1 | remainder | 1 |
| FUZZY_MAX | 2 | i | 11 |
| PARAM_COMPARE | 0 | quotient | < $0 |
| BIT_INFO | 0 | quotient | 0x0,0x1fffffffffff |
| HARD_MAX | 2 | i | 11 |
lib/math/test_div64.c test_div64() -> test_div64_verify()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | quotient | 2871480448,68303984985,984823264433 |
| PARAM_VALUE | 1 | remainder | 0-4182957 |
| PARAM_VALUE | 2 | i | 0-11 |
| PARAM_VALUE | 3 | j | 6 |
| CAPPED_DATA | 1 | remainder | 1 |
| FUZZY_MAX | 2 | i | 11 |
| PARAM_COMPARE | 0 | quotient | < $0 |
| BIT_INFO | 0 | quotient | 0x0,0x7ffffffffff |
| HARD_MAX | 2 | i | 11 |
lib/math/test_div64.c test_div64() -> test_div64_verify()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | quotient | 2871480448,68303984985 |
| PARAM_VALUE | 1 | remainder | 0-191205291 |
| PARAM_VALUE | 2 | i | 0-11 |
| PARAM_VALUE | 3 | j | 7 |
| CAPPED_DATA | 1 | remainder | 1 |
| FUZZY_MAX | 2 | i | 11 |
| PARAM_COMPARE | 0 | quotient | < $0 |
| BIT_INFO | 0 | quotient | 0x0,0x1fffffffff |
| HARD_MAX | 2 | i | 11 |
lib/math/test_div64.c test_div64() -> test_div64_verify()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | quotient | 2871480448 |
| PARAM_VALUE | 1 | remainder | 0-2147483648 |
| PARAM_VALUE | 2 | i | 0-11 |
| PARAM_VALUE | 3 | j | 8 |
| CAPPED_DATA | 1 | remainder | 1 |
| FUZZY_MAX | 2 | i | 11 |
| PARAM_COMPARE | 0 | quotient | < $0 |
| HARD_MAX | 2 | i | 11 |
lib/math/test_div64.c test_div64() -> test_div64_verify()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | quotient | 2871480448 |
| PARAM_VALUE | 1 | remainder | 0-3691557704 |
| PARAM_VALUE | 2 | i | 0-11 |
| PARAM_VALUE | 3 | j | 9 |
| CAPPED_DATA | 1 | remainder | 1 |
| FUZZY_MAX | 2 | i | 11 |
| PARAM_COMPARE | 0 | quotient | < $0 |
| HARD_MAX | 2 | i | 11 |
lib/math/test_div64.c test_div64() -> test_div64_verify()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | quotient | 2871480448 |
| PARAM_VALUE | 1 | remainder | 0-4294967293 |
| PARAM_VALUE | 2 | i | 0-11 |
| PARAM_VALUE | 3 | j | 10 |
| CAPPED_DATA | 1 | remainder | 1 |
| FUZZY_MAX | 2 | i | 11 |
| PARAM_COMPARE | 0 | quotient | < $0 |
| HARD_MAX | 2 | i | 11 |
lib/math/test_div64.c test_div64() -> test_div64_verify()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | quotient | 2871480448 |
| PARAM_VALUE | 1 | remainder | 0-4294967294 |
| PARAM_VALUE | 2 | i | 0-11 |
| PARAM_VALUE | 3 | j | 11 |
| CAPPED_DATA | 1 | remainder | 1 |
| FUZZY_MAX | 2 | i | 11 |
| PARAM_COMPARE | 0 | quotient | < $0 |
| HARD_MAX | 2 | i | 11 |
lib/math/test_div64.c test_div64() -> test_div64_verify()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | quotient | 2871480448,68303984985,984823264433,14583980826361,177623454040215,2145937644793418,32329108835653257,595306966091178628 |
| PARAM_VALUE | 1 | remainder | 0-4294967294 |
| PARAM_VALUE | 2 | i | 0-11 |
| PARAM_VALUE | 3 | j | 0-11 |
| CAPPED_DATA | 1 | remainder | 1 |
| FUZZY_MAX | 2 | i | 11 |
| FUZZY_MAX | 3 | j | 11 |
| PARAM_COMPARE | 0 | quotient | < $0 |
| BIT_INFO | 0 | quotient | 0x0,0x1fffffffffffffff |
| HARD_MAX | 2 | i | 11 |
| HARD_MAX | 3 | j | 11 |