Symbol: update_tf_links
usr/src/tools/smatch/src/smatch_comparison.c
1130
update_tf_links(pre_stree, left_expr, left_name, left_vsl, true_comparison, false_comparison, right_name, right_vsl, state->data);
usr/src/tools/smatch/src/smatch_comparison.c
1134
update_tf_links(pre_stree, right_expr, right_name, right_vsl, flip_comparison(true_comparison), flip_comparison(false_comparison), left_name, left_vsl, state->data);