Lines Matching refs:left_name
1121 const char *left_name, struct var_sym_list *left_vsl, in update_tf_data() argument
1130 …update_tf_links(pre_stree, left_expr, left_name, left_vsl, true_comparison, false_comparison, righ… in update_tf_data()
1132 state = get_state_stree(pre_stree, link_id, left_name, vsl_to_sym(left_vsl)); in update_tf_data()
1134 …l, flip_comparison(true_comparison), flip_comparison(false_comparison), left_name, left_vsl, state… in update_tf_data()
1420 const char *left_name, struct var_sym_list *left_vsl, in add_comparison_var_sym() argument
1429 if (strcmp(left_name, right_name) > 0) { in add_comparison_var_sym()
1431 const char *tmp_name = left_name; in add_comparison_var_sym()
1435 left_name = right_name; in add_comparison_var_sym()
1442 snprintf(state_name, sizeof(state_name), "%s vs %s", left_name, right_name); in add_comparison_var_sym()
1444 left_expr, left_name, left_vsl, in add_comparison_var_sym()
1460 char *left_name = NULL; in add_comparison() local
1467 left_name = chunk_to_var_sym(left, &left_sym); in add_comparison()
1468 if (!left_name) in add_comparison()
1476 if (strcmp(left_name, right_name) > 0) { in add_comparison()
1479 char *tmp_name = left_name; in add_comparison()
1483 left_name = right_name; in add_comparison()
1492 snprintf(state_name, sizeof(state_name), "%s vs %s", left_name, right_name); in add_comparison()
1494 left, left_name, left_vsl, in add_comparison()
1503 free_string(left_name); in add_comparison()
2456 char *left_name = NULL; in db_return_comparison() local
2492 left_name = get_variable_from_key(left_arg, key, &left_sym); in db_return_comparison()
2493 if (!left_name || !left_sym) in db_return_comparison()
2500 add_var_sym(&left_vsl, left_name, left_sym); in db_return_comparison()
2503 add_comparison_var_sym(NULL, left_name, left_vsl, op, NULL, right_name, right_vsl); in db_return_comparison()
2506 free_string(left_name); in db_return_comparison()
2513 char *left_name = NULL; in param_compare_limit_is_impossible() local
2539 left_name = get_variable_from_key(left_arg, left_key, &left_sym); in param_compare_limit_is_impossible()
2541 if (!left_name || !right_name) in param_compare_limit_is_impossible()
2544 snprintf(buf, sizeof(buf), "%s vs %s", left_name, right_name); in param_compare_limit_is_impossible()
2555 free_string(left_name); in param_compare_limit_is_impossible()