Cross Reference: /src/external/gpl3/gcc.old/dist/gcc/analyzer/region-model.cc

Lines Matching defs:m_mgr
252 : m_mgr (mgr), m_store (), m_current_frame (NULL),
261 : m_mgr (other.m_mgr), m_store (other.m_store),
280   /* m_mgr is const.  */
281   gcc_assert (m_mgr == other.m_mgr);
305   gcc_assert (m_mgr == other.m_mgr);
367 		      m_mgr->get_store_manager ());
433   m_store.canonicalize (m_mgr->get_store_manager ());
452   m_store.loop_replay_fixup (dst_state->get_store (), m_mgr);
683 	offset_sval = m_mgr->get_or_create_cast (size_type_node, offset_sval);
686 	  = m_mgr->get_or_create_binop (TREE_TYPE (lhs), op,
702 	  = m_mgr->get_or_create_binop (TREE_TYPE (lhs), op,
741 	  = m_mgr->get_or_create_unaryop (TREE_TYPE (lhs), op, rhs_sval);
764 	      return m_mgr->get_or_create_constant_svalue
770 	  = m_mgr->get_or_create_binop (TREE_TYPE (lhs), op,
828 	  = m_mgr->get_or_create_binop (TREE_TYPE (lhs), op,
855       return m_mgr->get_or_create_unknown_svalue (TREE_TYPE (lhs));
1047 	  sval = m_mgr->get_or_create_unknown_svalue (sval->get_type ());
1105 	  = m_mgr->get_or_create_unknown_svalue (TREE_TYPE (lhs));
1133 		  = m_mgr->get_or_create_constant_svalue (index);
1136 		  = m_mgr->get_element_region (lhs_reg,
1150 	m_store.set_value (m_mgr->get_store_manager(), lhs_reg, rhs_sval,
1376 	  sval = m_mgr->get_or_create_conjured_svalue (TREE_TYPE (lhs), call,
1656   m_store.purge_state_involving (sval, m_mgr);
1855   m_store.on_unknown_fncall (call, m_mgr->get_store_manager (),
1958 	= m_mgr->get_or_create_setjmp_svalue (r, buf_reg->get_type ());
1966 	= m_mgr->get_or_create_int_cst (TREE_TYPE (lhs), 0);
1998 	= m_mgr->get_or_create_int_cst (TREE_TYPE (fake_retval), 0);
2004 	    = m_mgr->get_or_create_int_cst (TREE_TYPE (fake_retval), 1);
2018       fake_retval_sval = m_mgr->get_or_create_unmergeable (fake_retval_sval);
2067       return m_mgr->get_region_for_unexpected_tree_code (ctxt, expr,
2077 	return m_mgr->get_element_region (array_reg,
2093 	return m_mgr->get_bit_range (inner_reg, TREE_TYPE (expr), bits);
2104 	return m_mgr->get_offset_region (star_ptr,
2111       return m_mgr->get_region_for_fndecl (expr);
2114       return m_mgr->get_region_for_label (expr);
2119 	return m_mgr->get_region_for_global (expr);
2135 	return frame->get_region_for_local (m_mgr, expr, ctxt);
2144 	return m_mgr->get_field_region (obj_reg, field);
2149       return m_mgr->get_region_for_string (expr);
2214       return m_mgr->get_or_create_unknown_svalue (TREE_TYPE (pv.m_tree));
2222 	return m_mgr->get_ptr_svalue (TREE_TYPE (expr), expr_reg);
2245 	  return m_mgr->get_or_create_unknown_svalue (TREE_TYPE (pv.m_tree));
2265 	  = m_mgr->get_or_create_unaryop (TREE_TYPE (expr), TREE_CODE (expr),
2275       return m_mgr->get_or_create_constant_svalue (pv.m_tree);
2285 	    = m_mgr->get_or_create_binop (TREE_TYPE (expr), POINTER_PLUS_EXPR,
2300 	    = m_mgr->get_or_create_binop (TREE_TYPE (expr), TREE_CODE (expr),
2382     return m_mgr->get_or_create_unknown_svalue (reg->get_type ());
2392 	    = base_reg->get_svalue_for_initializer (m_mgr))
2400 	      c.bind (m_mgr->get_store_manager (), base_reg, base_reg_init);
2402 		= c.get_any_binding (m_mgr->get_store_manager (), reg);
2406 		    sval = m_mgr->get_or_create_cast (reg->get_type (),
2415   return m_mgr->get_or_create_initial_value (reg);
2430     if (const svalue *sval = decl_reg->maybe_get_constant_value (m_mgr))
2434     = m_store.get_any_binding (m_mgr->get_store_manager (), reg);
2438 	sval = m_mgr->get_or_create_cast (reg->get_type (), sval);
2451 		= m_mgr->maybe_get_char_from_string_cst (string_cst,
2453 	    return m_mgr->get_or_create_cast (reg->get_type (), char_sval);
2464 	    = m_mgr->maybe_get_char_from_string_cst (string_cst,
2466 	  return m_mgr->get_or_create_cast (reg->get_type (), char_sval);
2479   return m_mgr->get_or_create_initial_value (reg);
2522   const svalue *null_ptr = m_mgr->get_or_create_constant_svalue (null_ptr_cst);
2551 	      return m_mgr->get_offset_region (parent_region, type, offset);
2581   return m_mgr->get_symbolic_region (ptr_sval);
2597   return m_mgr->get_or_create_bits_within (type, bits, sval);
2796   return m_mgr->get_or_create_unknown_svalue (sizetype);
2857   m_store.set_value (m_mgr->get_store_manager(), lhs_reg, rhs_sval,
2878   m_store.clobber_region (m_mgr->get_store_manager(), reg);
2886   m_store.purge_region (m_mgr->get_store_manager(), reg);
2894   m_store.fill_region (m_mgr->get_store_manager(), reg, sval);
2902   m_store.zero_fill_region (m_mgr->get_store_manager(), reg);
2911   m_store.mark_region_as_unknown (m_mgr->get_store_manager(), reg,
3213 	    = m_mgr->get_or_create_constant_svalue (boolean_false_node);
3228 	    = m_mgr->get_or_create_constant_svalue (boolean_false_node);
3931 	= m_mgr->get_or_create_initial_value (param_reg);
3932       const region *pointee_reg = m_mgr->get_symbolic_region (init_ptr_sval);
3937 	    = m_mgr->get_or_create_null_ptr (TREE_TYPE (param));
3956   m_current_frame = m_mgr->get_frame_region (m_current_frame, fun);
4148   : m_reg (reg), m_pkind (pkind), m_mgr (mgr), m_count (0)
4162 	    sval = m_mgr->get_or_create_poisoned_svalue (m_pkind,
4171   region_model_manager *const m_mgr;
4183   bad_pointer_finder bv (reg, pkind, m_mgr);
4201   gcc_assert (m_mgr == other_model.m_mgr);
4202   gcc_assert (m_mgr == out_model->m_mgr);
4212 			   &out_model->m_store, m_mgr->get_store_manager (),
4298   const region *reg = m_mgr->create_region_for_heap_alloc ();
4312   const region *reg = m_mgr->create_region_for_alloca (m_current_frame);
4479 : m_sg (sg), m_mgr (logger)
4488   m_mgr.log_stats (logger, true);
OpenGrok
