usr/src/tools/smatch/src/smatch_comparison.c

2678

if (is_merged(sm) || sm->left || sm->right)

usr/src/tools/smatch/src/smatch_comparison.c

2724

if (!is_true && !is_false && !is_merged(sm)) {

usr/src/tools/smatch/src/smatch_db.c

1975

if (is_merged(tmp))

usr/src/tools/smatch/src/smatch_implied.c

147

if (is_merged(sm) || sm->left || sm->right)

usr/src/tools/smatch/src/smatch_implied.c

314

if (mixed && !*mixed && !is_merged(sm) && !istrue && !isfalse) {

usr/src/tools/smatch/src/smatch_implied.c

434

if (is_merged(tmp))

usr/src/tools/smatch/src/smatch_implied.c

534

if (!is_merged(sm) || pool_in_pools(sm->pool, keep_stack) || sm_in_keep_leafs(sm, keep_stack)) {

usr/src/tools/smatch/src/smatch_implied.c

536

is_merged(sm) ? "merged" : "not merged",

usr/src/tools/smatch/src/smatch_implied.c

645

if (!is_merged(sm)) {

usr/src/tools/smatch/src/smatch_implied.c

707

if (is_merged(sm))

usr/src/tools/smatch/src/smatch_slist.h

31

int is_merged(struct sm_state *sm);