diff options
| -rw-r--r-- | gcc/analyzer/program-state.cc | 7 | ||||
| -rw-r--r-- | gcc/analyzer/region.cc | 9 |
2 files changed, 11 insertions, 5 deletions
diff --git a/gcc/analyzer/program-state.cc b/gcc/analyzer/program-state.cc index 6a91554..7d719b1 100644 --- a/gcc/analyzer/program-state.cc +++ b/gcc/analyzer/program-state.cc @@ -224,8 +224,11 @@ sm_state_map::print (const region_model *model, if (e.m_origin) { pp_string (pp, " (origin: "); - pp_pointer (pp, e.m_origin); - pp_string (pp, ": "); + if (!flag_dump_noaddr) + { + pp_pointer (pp, e.m_origin); + pp_string (pp, ": "); + } e.m_origin->dump_to_pp (pp, simple); if (model) if (tree rep = model->get_representative_tree (e.m_origin)) diff --git a/gcc/analyzer/region.cc b/gcc/analyzer/region.cc index c43fb78..ed68a22 100644 --- a/gcc/analyzer/region.cc +++ b/gcc/analyzer/region.cc @@ -1135,9 +1135,12 @@ string_region::dump_to_pp (pretty_printer *pp, bool simple) const { pp_string (pp, "string_region("); dump_tree (pp, m_string_cst); - pp_string (pp, " ("); - pp_pointer (pp, m_string_cst); - pp_string (pp, "))"); + if (!flag_dump_noaddr) + { + pp_string (pp, " ("); + pp_pointer (pp, m_string_cst); + pp_string (pp, "))"); + } } } |