Symbol: CALL_IMPLIES
usr/src/tools/smatch/src/smatch_db.c
1341
.type = CALL_IMPLIES,
usr/src/tools/smatch/src/smatch_db.c
593
info->type == CALL_IMPLIES ? "call" : "return",