Searched refs:m_constants_map (Results 1 – 2 of 2) sorted by relevance
93 for (constants_map_t::iterator iter = m_constants_map.begin (); in ~region_model_manager()94 iter != m_constants_map.end (); ++iter) in ~region_model_manager()222 constant_svalue **slot = m_constants_map.get (cst_expr); in get_or_create_constant_svalue()227 m_constants_map.put (cst_expr, cst_sval); in get_or_create_constant_svalue()1758 log_uniq_map (logger, show_objs, "constant_svalue", m_constants_map); in log_stats()
390 constants_map_t m_constants_map; variable