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

  /src/external/gpl3/gcc.old/dist/gcc/analyzer/
sm-taint.cc 1056 const element_region *element_reg local
1058 const svalue *index = element_reg->get_index ();
region-model-manager.cc 854 if (const element_region *element_reg = subregion->dyn_cast_element_region ())
858 element_reg->get_type (),
859 element_reg->get_index ());
1083 const region *element_reg = local
1087 = get_or_create_initial_value (element_reg);
1449 element_region *element_reg
1451 m_element_regions.put (key, element_reg);
1452 return element_reg;
region-model.cc 3536 const element_region *element_reg local
3543 = get_representative_path_var (element_reg->get_index (), visited);
  /src/external/gpl3/gcc/dist/gcc/analyzer/
sm-taint.cc 1509 /* Determine if it's possible for tainted array access ELEMENT_REG to
1519 index_can_be_out_of_bounds_p (const element_region *element_reg)
1521 const svalue *index = element_reg->get_index ();
1522 const region *array_reg = element_reg->get_parent_region ();
1582 const element_region *element_reg local
1584 const svalue *index = element_reg->get_index ();
1591 if (index_can_be_out_of_bounds_p (element_reg))
region-model-manager.cc 335 INIT_VAL(ELEMENT_REG(STRING_REG), CONSTANT_SVAL)
338 if (const element_region *element_reg = reg->dyn_cast_element_region ())
339 if (tree cst_idx = element_reg->get_index ()->maybe_get_constant ())
341 = element_reg->get_parent_region ()->dyn_cast_string_region ())
1014 if (const element_region *element_reg = subregion->dyn_cast_element_region ())
1018 element_reg->get_type (),
1019 element_reg->get_index ());
1243 const region *element_reg = local
1247 = get_or_create_initial_value (element_reg);
1667 element_region *element_reg
    [all...]
access-diagram.cc 1453 const region *element_reg = mgr->get_element_region (m_op.m_base_region, local
1456 const access_range element_range (*element_reg, mgr);
sm-fd.cc 2647 const region *element_reg variable
2653 element_reg,
2655 model->set_value (element_reg, fd_sval, cd.get_ctxt ());
region-model.cc 5345 const element_region *element_reg local
5352 = get_representative_path_var (element_reg->get_index (), visited);

Completed in 148 milliseconds