Searched refs:add_constraints_from_binop (Results 1 – 3 of 3) sorted by relevance
799 bool add_constraints_from_binop (const svalue *outer_lhs,
3163 region_model::add_constraints_from_binop (const svalue *outer_lhs, in add_constraints_from_binop() function in ana::region_model3281 if (add_constraints_from_binop (lhs, op, rhs, &out, ctxt)) in add_constraint()
2101 (region_model::add_constraints_from_binop): New.2104 add_constraints_from_binop. Drop call to2114 (region_model::add_constraints_from_binop): New decl.