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

  /src/external/gpl3/gcc.old/dist/gcc/analyzer/
region-model.cc 6196 const svalue *sval_init = model.get_rvalue (i, NULL); local
6197 ASSERT_EQ (sval_init->get_kind (), SK_INITIAL);
6198 ASSERT_EQ (sval_init->dyn_cast_initial_svalue ()->get_region (), i_reg);
6200 ASSERT_EQ (model.get_rvalue (i, NULL), sval_init);
  /src/external/gpl3/gcc/dist/gcc/analyzer/
region-model.cc 8926 const svalue *sval_init = model.get_rvalue (i, NULL); local
8927 ASSERT_EQ (sval_init->get_kind (), SK_INITIAL);
8928 ASSERT_EQ (sval_init->dyn_cast_initial_svalue ()->get_region (), i_reg);
8930 ASSERT_EQ (model.get_rvalue (i, NULL), sval_init);

Completed in 33 milliseconds