Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
lib/rbtree_test.c augmented_check() -> insert_augmented_cached()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | node | 0-ptr_max |
| PARAM_VALUE | 1 | root | 8350103880887631872 |
| NOCHECK_CALL |