Home | History | Annotate | Download | only in analyzer

Lines Matching defs:null_ptr

2522   const svalue *null_ptr = m_mgr->get_or_create_constant_svalue (null_ptr_cst);
2523   m_constraints->add_constraint (ptr_sval, NE_EXPR, null_ptr);
6156   tree null_ptr = build_int_cst (ptr_type_node, 0);
6165   ASSERT_CONDITION_UNKNOWN (model, p, NE_EXPR, null_ptr);
6166   ASSERT_CONDITION_UNKNOWN (model, p, EQ_EXPR, null_ptr);
6167   ASSERT_CONDITION_UNKNOWN (model, q, NE_EXPR, null_ptr);
6168   ASSERT_CONDITION_UNKNOWN (model, q, EQ_EXPR, null_ptr);
6170   model.add_constraint (p, NE_EXPR, null_ptr, NULL);
6172   ASSERT_CONDITION_TRUE (model, p, NE_EXPR, null_ptr);
6173   ASSERT_CONDITION_FALSE (model, p, EQ_EXPR, null_ptr);
6174   ASSERT_CONDITION_TRUE (model, q, NE_EXPR, null_ptr);
6175   ASSERT_CONDITION_FALSE (model, q, EQ_EXPR, null_ptr);