Symbol: RETURN_IMPLIES
usr/src/tools/smatch/src/smatch_db.c
1325
.type = RETURN_IMPLIES,
usr/src/tools/smatch/src/smatch_db.c
584
if (info->type == RETURN_IMPLIES && inlinable(info->expr->fn)) {