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

  /src/external/gpl3/gcc/dist/gcc/analyzer/
program-state.cc 1891 region_model *model0 = s0.m_region_model; local
1895 = model0->get_or_create_region_for_heap_alloc (size_in_bytes, NULL);
1897 model0->set_value (model0->get_lvalue (p, &ctxt),
1905 model0->canonicalize ();
1908 ASSERT_EQ (smap->get_state (model0->get_rvalue (p, NULL), ext_state),
  /src/external/gpl3/gcc.old/dist/gcc/analyzer/
program-state.cc 1682 region_model *model0 = s0.m_region_model; local
1686 = model0->create_region_for_heap_alloc (size_in_bytes, NULL);
1688 model0->set_value (model0->get_lvalue (p, &ctxt),
1696 model0->canonicalize ();
1699 ASSERT_EQ (smap->get_state (model0->get_rvalue (p, NULL), ext_state),

Completed in 26 milliseconds