HomeSort by: relevance | last modified time | path
    Searched defs:cst_sval (Results 1 - 12 of 12) sorted by relevancy

  /src/external/gpl3/gcc/dist/gcc/analyzer/
region-model-manager.cc 235 constant_svalue *cst_sval
237 RETURN_UNKNOWN_IF_TOO_COMPLEX (cst_sval);
238 m_constants_map.put (key, cst_sval);
239 return cst_sval;
969 const svalue *cst_sval local
971 return get_or_create_cast (type, cst_sval);
region-model-manager.cc 235 constant_svalue *cst_sval
237 RETURN_UNKNOWN_IF_TOO_COMPLEX (cst_sval);
238 m_constants_map.put (key, cst_sval);
239 return cst_sval;
969 const svalue *cst_sval local
971 return get_or_create_cast (type, cst_sval);
constraint-manager.cc 2064 const svalue *cst_sval local
2068 get_or_add_equiv_class (cst_sval));
2096 const svalue *cst_sval local
2100 get_or_add_equiv_class (cst_sval));
constraint-manager.cc 2064 const svalue *cst_sval local
2068 get_or_add_equiv_class (cst_sval));
2096 const svalue *cst_sval local
2100 get_or_add_equiv_class (cst_sval));
region-model.cc 7637 const svalue *cst_sval[NUM_CSTS]; local
7641 cst_sval[i] = mgr.get_or_create_constant_svalue (cst_int[i]);
7642 ASSERT_EQ (cst_sval[i]->get_kind (), SK_CONSTANT);
7643 ASSERT_EQ (cst_sval[i]->maybe_get_constant (), cst_int[i]);
7650 ASSERT_NE (cst_sval[i], cst_sval[j]);
7655 cst_sval[i], cst_sval[j]);
7656 ASSERT_EQ (sum, cst_sval[i + j]);
7662 cst_sval[i], cst_sval[j])
    [all...]
region-model.cc 7637 const svalue *cst_sval[NUM_CSTS]; local
7641 cst_sval[i] = mgr.get_or_create_constant_svalue (cst_int[i]);
7642 ASSERT_EQ (cst_sval[i]->get_kind (), SK_CONSTANT);
7643 ASSERT_EQ (cst_sval[i]->maybe_get_constant (), cst_int[i]);
7650 ASSERT_NE (cst_sval[i], cst_sval[j]);
7655 cst_sval[i], cst_sval[j]);
7656 ASSERT_EQ (sum, cst_sval[i + j]);
7662 cst_sval[i], cst_sval[j])
    [all...]
  /src/external/gpl3/gcc.old/dist/gcc/analyzer/
region-model-manager.cc 225 constant_svalue *cst_sval = new constant_svalue (cst_expr);
226 RETURN_UNKNOWN_IF_TOO_COMPLEX (cst_sval);
227 m_constants_map.put (cst_expr, cst_sval);
228 return cst_sval;
809 const svalue *cst_sval local
811 return get_or_create_cast (type, cst_sval);
region-model-manager.cc 225 constant_svalue *cst_sval = new constant_svalue (cst_expr);
226 RETURN_UNKNOWN_IF_TOO_COMPLEX (cst_sval);
227 m_constants_map.put (cst_expr, cst_sval);
228 return cst_sval;
809 const svalue *cst_sval local
811 return get_or_create_cast (type, cst_sval);
constraint-manager.cc 2059 const svalue *cst_sval local
2063 get_or_add_equiv_class (cst_sval));
2091 const svalue *cst_sval local
2095 get_or_add_equiv_class (cst_sval));
constraint-manager.cc 2059 const svalue *cst_sval local
2063 get_or_add_equiv_class (cst_sval));
2091 const svalue *cst_sval local
2095 get_or_add_equiv_class (cst_sval));
region-model.cc 4960 const svalue *cst_sval[NUM_CSTS]; local
4964 cst_sval[i] = mgr.get_or_create_constant_svalue (cst_int[i]);
4965 ASSERT_EQ (cst_sval[i]->get_kind (), SK_CONSTANT);
4966 ASSERT_EQ (cst_sval[i]->maybe_get_constant (), cst_int[i]);
4973 ASSERT_NE (cst_sval[i], cst_sval[j]);
4978 cst_sval[i], cst_sval[j]);
4979 ASSERT_EQ (sum, cst_sval[i + j]);
4985 cst_sval[i], cst_sval[j])
    [all...]
region-model.cc 4960 const svalue *cst_sval[NUM_CSTS]; local
4964 cst_sval[i] = mgr.get_or_create_constant_svalue (cst_int[i]);
4965 ASSERT_EQ (cst_sval[i]->get_kind (), SK_CONSTANT);
4966 ASSERT_EQ (cst_sval[i]->maybe_get_constant (), cst_int[i]);
4973 ASSERT_NE (cst_sval[i], cst_sval[j]);
4978 cst_sval[i], cst_sval[j]);
4979 ASSERT_EQ (sum, cst_sval[i + j]);
4985 cst_sval[i], cst_sval[j])
    [all...]

Completed in 87 milliseconds