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/analyzer/program-state.cc | |
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/analyzer/program-state.cc')
-rw-r--r-- | gcc/analyzer/program-state.cc | 7 |
1 files changed, 5 insertions, 2 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)) |