Searched refs:new_scalar_tmp_constraint_exp (Results 1 – 2 of 2) sorted by relevance
2729 new_scalar_tmp_constraint_exp (const char *name) in new_scalar_tmp_constraint_exp() function2848 tmplhs = new_scalar_tmp_constraint_exp ("doubledereftmp"); in process_constraint()2856 tmplhs = new_scalar_tmp_constraint_exp ("derefaddrtmp"); in process_constraint()3186 tmplhs = new_scalar_tmp_constraint_exp ("dereftmp"); in do_deref()3441 tmp = new_scalar_tmp_constraint_exp ("allalltmp"); in process_all_all_constraints()
2900 new_scalar_tmp_constraint_exp (const char *name, bool add_id) in new_scalar_tmp_constraint_exp() function3029 tmplhs = new_scalar_tmp_constraint_exp ("doubledereftmp", true); in process_constraint()3037 tmplhs = new_scalar_tmp_constraint_exp ("derefaddrtmp", true); in process_constraint()3364 tmplhs = new_scalar_tmp_constraint_exp ("dereftmp", true); in do_deref()3622 tmp = new_scalar_tmp_constraint_exp ("allalltmp", true); in process_all_all_constraints()