Symbol: BRANCH_COST
usr/src/tools/smatch/src/expand.c
479
if (rcost < BRANCH_COST) {
usr/src/tools/smatch/src/expand.c
481
rcost -= BRANCH_COST - 1;
usr/src/tools/smatch/src/expand.c
484
return cost + BRANCH_COST + rcost;
usr/src/tools/smatch/src/expand.c
580
cost -= BRANCH_COST - 1;
usr/src/tools/smatch/src/expand.c
583
return cost + cond_cost + BRANCH_COST;