diff options
| author | David Malcolm <dmalcolm@redhat.com> | 2020-10-28 20:07:35 -0400 |
|---|---|---|
| committer | David Malcolm <dmalcolm@redhat.com> | 2020-10-28 20:07:35 -0400 |
| commit | 0a36f5f21cd9dcaaf99e78d2ec995d6cb2918274 (patch) | |
| tree | 2372935630efab483813370466ec546da88ba151 /gcc | |
| parent | f4f9364d2074e027490c1b08956ac1cbd9617575 (diff) | |
| download | gcc-0a36f5f21cd9dcaaf99e78d2ec995d6cb2918274.zip gcc-0a36f5f21cd9dcaaf99e78d2ec995d6cb2918274.tar.gz gcc-0a36f5f21cd9dcaaf99e78d2ec995d6cb2918274.tar.bz2 | |
analyzer: fix more pointer-printing in logs
gcc/analyzer/ChangeLog:
* program-state.cc (sm_state_map::print): Guard the printing of
the origin pointer with !flag_dump_noaddr.
* region.cc (string_region::dump_to_pp): Likewise for
m_string_cst.
Diffstat (limited to 'gcc')
| -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, "))"); + } } } |