Home
last modified time | relevance | path

Searched refs:add_join_conditional (Results 1 – 1 of 1) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dlinearize.c1616 static pseudo_t add_join_conditional(struct entrypoint *ep, struct expression *expr, in add_join_conditional() function
1659 return add_join_conditional(ep, expr, phi1, phi2); in linearize_short_conditional()
1689 return add_join_conditional(ep, expr, phi1, phi2); in linearize_conditional()