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.

diff --git a/gcc/analyzer/program-state.cc b/gcc/analyzer/program-state.cc
index 6a91554357c49bf8a526332f7a9fd35b652f292d..7d719b1a6dad56abd0b82de69f07b8b0893cfd1d 100644 (file)
--- 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 c43fb782b7d34d0d72616fdd8ad1d6187c8ba21b..ed68a2240f30f9bd501ad2ce490049675498c8b7 100644 (file)
--- 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, "))");
+       }
     }
 }