Symbol: add_join_conditional
usr/src/tools/smatch/src/linearize.c
1659
return add_join_conditional(ep, expr, phi1, phi2);
usr/src/tools/smatch/src/linearize.c
1689
return add_join_conditional(ep, expr, phi1, phi2);