Lines Matching refs:name
31 state->name = alloc_sname("safe"); in safe_state()
39 char *name; in save_links() local
41 name = expr_to_chunk_sym_vsl(expr, sym, vsl); in save_links()
42 if (!name || !*vsl) { in save_links()
43 free_string(name); in save_links()
48 store_link(link_id, vs->var, vs->sym, name, *sym); in save_links()
51 return name; in save_links()
58 char *name; in match_divide() local
89 name = save_links(binop, &sym, &vsl); in match_divide()
90 if (!name) in match_divide()
92 set_true_false_states(my_id, name, sym, NULL, safe_state(binop)); in match_divide()
93 free_string(name); in match_divide()
100 char *name; in match_overflow_to_less_than() local
124 name = save_links(left, &sym, &vsl); in match_overflow_to_less_than()
125 if (!name) in match_overflow_to_less_than()
127 set_true_false_states(my_id, name, sym, NULL, safe_state(left)); in match_overflow_to_less_than()
128 free_string(name); in match_overflow_to_less_than()
185 char *name; in can_integer_overflow_expr() local
196 name = expr_to_known_chunk_sym(expr, &sym); in can_integer_overflow_expr()
197 if (!name || !sym) in can_integer_overflow_expr()
200 state = get_state(my_id, name, sym); in can_integer_overflow_expr()
204 free_string(name); in can_integer_overflow_expr()
270 if (get_state_stree(done, my_id, link->state->name, NULL)) in match_call_info()