gcc/analyzer/region-model.cc

4790 	  m_constraints->add_constraint (fake_retval_sid, NE_EXPR, zero_sid);
5315 	  m_constraints->add_constraint (sid, EQ_EXPR, new_ptr_sid);
5616 region_model::add_constraint (tree lhs, enum tree_code op, tree rhs,
5639   m_constraints->add_constraint (lhs_sid, op, rhs_sid);
5663 /* Subroutine of region_model::add_constraint for handling optimized
5667    look at anything implied by the def stmt and call add_constraint
5726 	add_constraint (gimple_assign_rhs1 (assign), op, rhs, ctxt);
5738 	    add_constraint (rhs1, NE_EXPR, boolean_false_node, ctxt);
5739 	    add_constraint (rhs2, NE_EXPR, boolean_false_node, ctxt);
5753 	    add_constraint (rhs1, EQ_EXPR, boolean_false_node, ctxt);
5754 	    add_constraint (rhs2, EQ_EXPR, boolean_false_node, ctxt);
5769 	add_constraint (rhs1, rhs_code, rhs2, ctxt);
5789       add_constraint (gimple_call_arg (call, 0), op, rhs, ctxt);
6188   return add_constraint (lhs, op, rhs, ctxt);
6214 	  if (!add_constraint (index, GE_EXPR, lower_bound, ctxt))
6216 	  return add_constraint (index, LE_EXPR, upper_bound, ctxt);
6220 	return add_constraint (index, EQ_EXPR, lower_bound, ctxt);
6240 	      if (!add_constraint (index, NE_EXPR, other_lower_bound, ctxt))
6242 	      if (!add_constraint (index, NE_EXPR, other_upper_bound, ctxt))
6247 	    if (!add_constraint (index, NE_EXPR, other_lower_bound, ctxt))
7951   model.add_constraint (x, NE_EXPR, int_42, &ctxt);
7956   model.add_constraint (y, GT_EXPR, int_0, &ctxt);
8090   model.add_constraint (b, LT_EXPR, int_10, &ctxt);
8102   model.add_constraint (y, NE_EXPR, int_5, &ctxt);
8306   model0.add_constraint (x, GT_EXPR, int_3, NULL);
8307   model0.add_constraint (y, GT_EXPR, int_42, NULL);
8310   model1.add_constraint (y, GT_EXPR, int_42, NULL);
8311   model1.add_constraint (x, GT_EXPR, int_3, NULL);
8416     model0.add_constraint (x, EQ_EXPR, int_42, &ctxt);
8417     model1.add_constraint (x, EQ_EXPR, int_113, &ctxt);
8627     model0.add_constraint (x, EQ_EXPR, int_42, &ctxt);
8628     model1.add_constraint (x, NE_EXPR, int_42, &ctxt);
8636     model0.add_constraint (x, EQ_EXPR, int_42, &ctxt);
8637     model1.add_constraint (x, NE_EXPR, int_42, &ctxt);
8638     model1.add_constraint (x, EQ_EXPR, int_113, &ctxt);
8744   model0.add_constraint (x, EQ_EXPR, y, &ctxt);
8745   model0.add_constraint (x, GE_EXPR, int_0, NULL);
8746   model0.add_constraint (x, LT_EXPR, n, NULL);
8752   model1.add_constraint (z, NE_EXPR, int_5, NULL);
8753   model1.add_constraint (x, GE_EXPR, int_0, NULL);
8754   model1.add_constraint (x, LT_EXPR, n, NULL);
8800   model.add_constraint (p, NE_EXPR, null_ptr, NULL);