From 7892ff37f407ef47ee852f281a80fa0dba6a5a67 Mon Sep 17 00:00:00 2001 From: Jakub Jelinek Date: Wed, 29 Jan 2020 09:36:19 +0100 Subject: [PATCH] analyzer: fix build with gcc 4.4 (PR 93276) All that is really needed is make sure you #include "diagnostic-core.h" before including pretty-print.h. By including diagnostic-core.h first, you do: and then pretty-print.h will do: If instead pretty-print.h is included first, then it will use __gcc_diag__ instead of __gcc_tdiag__ and thus will assume %E/%D etc. can't be handled. 2020-01-29 Jakub Jelinek * analyzer.h (PUSH_IGNORE_WFORMAT, POP_IGNORE_WFORMAT): Remove. * constraint-manager.cc: Include diagnostic-core.h before graphviz.h. (range::dump, equiv_class::print): Don't use PUSH_IGNORE_WFORMAT or POP_IGNORE_WFORMAT. * state-purge.cc: Include diagnostic-core.h before gimple-pretty-print.h. (state_purge_annotator::add_node_annotations, print_vec_of_names): Don't use PUSH_IGNORE_WFORMAT or POP_IGNORE_WFORMAT. * region-model.cc: Move diagnostic-core.h include before graphviz.h. (path_var::dump, svalue::print, constant_svalue::print_details, region::dump_to_pp, region::dump_child_label, region::print_fields, map_region::print_fields, map_region::dump_dot_to_pp, map_region::dump_child_label, array_region::print_fields, array_region::dump_dot_to_pp): Don't use PUSH_IGNORE_WFORMAT or POP_IGNORE_WFORMAT. --- gcc/analyzer/ChangeLog | 18 ++++++++++++++++++ gcc/analyzer/analyzer.h | 16 ---------------- gcc/analyzer/constraint-manager.cc | 5 +---- gcc/analyzer/region-model.cc | 24 +----------------------- gcc/analyzer/state-purge.cc | 5 +---- 5 files changed, 21 insertions(+), 47 deletions(-) diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog index c665ac10e63..94a67ea40f7 100644 --- a/gcc/analyzer/ChangeLog +++ b/gcc/analyzer/ChangeLog @@ -1,3 +1,21 @@ +2020-01-29 Jakub Jelinek + + * analyzer.h (PUSH_IGNORE_WFORMAT, POP_IGNORE_WFORMAT): Remove. + * constraint-manager.cc: Include diagnostic-core.h before graphviz.h. + (range::dump, equiv_class::print): Don't use PUSH_IGNORE_WFORMAT or + POP_IGNORE_WFORMAT. + * state-purge.cc: Include diagnostic-core.h before + gimple-pretty-print.h. + (state_purge_annotator::add_node_annotations, print_vec_of_names): + Don't use PUSH_IGNORE_WFORMAT or POP_IGNORE_WFORMAT. + * region-model.cc: Move diagnostic-core.h include before graphviz.h. + (path_var::dump, svalue::print, constant_svalue::print_details, + region::dump_to_pp, region::dump_child_label, region::print_fields, + map_region::print_fields, map_region::dump_dot_to_pp, + map_region::dump_child_label, array_region::print_fields, + array_region::dump_dot_to_pp): Don't use PUSH_IGNORE_WFORMAT or + POP_IGNORE_WFORMAT. + 2020-01-28 David Malcolm PR analyzer/93316 diff --git a/gcc/analyzer/analyzer.h b/gcc/analyzer/analyzer.h index f1602e38b36..1ae76cc4ea0 100644 --- a/gcc/analyzer/analyzer.h +++ b/gcc/analyzer/analyzer.h @@ -100,22 +100,6 @@ public: ~auto_cfun () { pop_cfun (); } }; -/* Macros for temporarily suppressing -Wformat and -Wformat-extra-args, - for those versions of GCC that support pragmas within a function - (4.6 onwards). */ - -#if GCC_VERSION >= 4006 -# define PUSH_IGNORE_WFORMAT \ - _Pragma("GCC diagnostic push") \ - _Pragma("GCC diagnostic ignored \"-Wformat\"") \ - _Pragma("GCC diagnostic ignored \"-Wformat-extra-args\"") -# define POP_IGNORE_WFORMAT \ - _Pragma("GCC diagnostic pop") -#else -# define PUSH_IGNORE_WFORMAT -# define POP_IGNORE_WFORMAT -#endif - /* A template for creating hash traits for a POD type. */ template diff --git a/gcc/analyzer/constraint-manager.cc b/gcc/analyzer/constraint-manager.cc index 9d13ec360be..777bd1b13c9 100644 --- a/gcc/analyzer/constraint-manager.cc +++ b/gcc/analyzer/constraint-manager.cc @@ -28,6 +28,7 @@ along with GCC; see the file COPYING3. If not see #include "gimple-iterator.h" #include "fold-const.h" #include "selftest.h" +#include "diagnostic-core.h" #include "graphviz.h" #include "function.h" #include "analyzer/analyzer.h" @@ -120,13 +121,11 @@ bound::get_relation_as_str () const void range::dump (pretty_printer *pp) const { -PUSH_IGNORE_WFORMAT pp_printf (pp, "%qE %s x %s %qE", m_lower_bound.m_constant, m_lower_bound.get_relation_as_str (), m_upper_bound.get_relation_as_str (), m_upper_bound.m_constant); -POP_IGNORE_WFORMAT } /* Determine if there is only one possible value for this range. @@ -200,9 +199,7 @@ equiv_class::print (pretty_printer *pp) const { if (i > 0) pp_string (pp, " == "); -PUSH_IGNORE_WFORMAT pp_printf (pp, "%qE", m_constant); -POP_IGNORE_WFORMAT } pp_character (pp, '}'); } diff --git a/gcc/analyzer/region-model.cc b/gcc/analyzer/region-model.cc index acaadcf9d3b..a5b3dffcc27 100644 --- a/gcc/analyzer/region-model.cc +++ b/gcc/analyzer/region-model.cc @@ -26,6 +26,7 @@ along with GCC; see the file COPYING3. If not see #include "basic-block.h" #include "gimple.h" #include "gimple-iterator.h" +#include "diagnostic-core.h" #include "graphviz.h" #include "options.h" #include "cgraph.h" @@ -37,7 +38,6 @@ along with GCC; see the file COPYING3. If not see #include "tree-pretty-print.h" #include "diagnostic-color.h" #include "diagnostic-metadata.h" -#include "diagnostic-core.h" #include "tristate.h" #include "bitmap.h" #include "selftest.h" @@ -88,14 +88,12 @@ dump_tree (pretty_printer *pp, tree t) void path_var::dump (pretty_printer *pp) const { -PUSH_IGNORE_WFORMAT if (m_tree == NULL_TREE) pp_string (pp, "NULL"); if (CONSTANT_CLASS_P (m_tree)) pp_printf (pp, "%qE", m_tree); else pp_printf (pp, "(%qE @ %i)", m_tree, m_stack_depth); -POP_IGNORE_WFORMAT } /* For use in printing a comma-separated list. */ @@ -318,13 +316,11 @@ svalue::print (const region_model &model, this_sid.print (pp); pp_string (pp, ": {"); -PUSH_IGNORE_WFORMAT if (m_type) { gcc_assert (TYPE_P (m_type)); pp_printf (pp, "type: %qT, ", m_type); } -POP_IGNORE_WFORMAT /* vfunc. */ print_details (model, this_sid, pp); @@ -686,9 +682,7 @@ constant_svalue::print_details (const region_model &model ATTRIBUTE_UNUSED, svalue_id this_sid ATTRIBUTE_UNUSED, pretty_printer *pp) const { -PUSH_IGNORE_WFORMAT pp_printf (pp, "%qE", m_cst_expr); -POP_IGNORE_WFORMAT } /* Implementation of svalue::get_child_sid vfunc for constant_svalue. */ @@ -1284,9 +1278,7 @@ region::dump_to_pp (const region_model &model, } if (m_type) { -PUSH_IGNORE_WFORMAT pp_printf (pp, "%s type: %qT", field_prefix, m_type); -POP_IGNORE_WFORMAT pp_newline (pp); } @@ -1336,9 +1328,7 @@ region::dump_child_label (const region_model &model, pp_string (pp, "active "); else pp_string (pp, "inactive "); -PUSH_IGNORE_WFORMAT pp_printf (pp, "view as %qT: ", child->get_type ()); -POP_IGNORE_WFORMAT } } @@ -1468,10 +1458,8 @@ region::print_fields (const region_model &model ATTRIBUTE_UNUSED, pp_printf (pp, ", sval: "); m_sval_id.print (pp); -PUSH_IGNORE_WFORMAT if (m_type) pp_printf (pp, ", type: %qT", m_type); -POP_IGNORE_WFORMAT } /* Determine if a pointer to this region must be non-NULL. @@ -1574,9 +1562,7 @@ map_region::print_fields (const region_model &model, pp_string (pp, ", "); tree expr = (*iter).first; region_id child_rid = (*iter).second; -PUSH_IGNORE_WFORMAT pp_printf (pp, "%qE: ", expr); -POP_IGNORE_WFORMAT child_rid.print (pp); } pp_string (pp, "}"); @@ -1601,9 +1587,7 @@ map_region::dump_dot_to_pp (const region_model &model, pp_printf (pp, "rid_label_%i [label=\"", child_rid.as_int ()); pp_write_text_to_stream (pp); -PUSH_IGNORE_WFORMAT pp_printf (pp, "%qE", expr); -POP_IGNORE_WFORMAT pp_write_text_as_dot_label_to_stream (pp, /*for_record=*/false); pp_string (pp, "\"];"); pp_newline (pp); @@ -1633,12 +1617,10 @@ map_region::dump_child_label (const region_model &model, if (child_rid == (*iter).second) { tree key = (*iter).first; -PUSH_IGNORE_WFORMAT if (DECL_P (key)) pp_printf (pp, "%qD: ", key); else pp_printf (pp, "%qE: ", key); -POP_IGNORE_WFORMAT } } } @@ -2246,9 +2228,7 @@ array_region::print_fields (const region_model &model, pp_string (pp, ", "); int key = (*iter).first; region_id child_rid = (*iter).second; -PUSH_IGNORE_WFORMAT pp_printf (pp, "[%i]: ", key); -POP_IGNORE_WFORMAT child_rid.print (pp); } pp_string (pp, "}"); @@ -2273,9 +2253,7 @@ array_region::dump_dot_to_pp (const region_model &model, pp_printf (pp, "rid_label_%i [label=\"", child_rid.as_int ()); pp_write_text_to_stream (pp); -PUSH_IGNORE_WFORMAT pp_printf (pp, "%qi", key); -POP_IGNORE_WFORMAT pp_write_text_as_dot_label_to_stream (pp, /*for_record=*/false); pp_string (pp, "\"];"); pp_newline (pp); diff --git a/gcc/analyzer/state-purge.cc b/gcc/analyzer/state-purge.cc index 32c564767f9..01237f096fc 100644 --- a/gcc/analyzer/state-purge.cc +++ b/gcc/analyzer/state-purge.cc @@ -34,6 +34,7 @@ along with GCC; see the file COPYING3. If not see #include "tree-phinodes.h" #include "options.h" #include "ssa-iterators.h" +#include "diagnostic-core.h" #include "gimple-pretty-print.h" #include "function.h" #include "analyzer/analyzer.h" @@ -444,12 +445,10 @@ state_purge_annotator::add_node_annotations (graphviz_out *gv, state_purge_per_ssa_name *per_name_data = (*iter).second; if (per_name_data->get_function () == n.m_fun) { -PUSH_IGNORE_WFORMAT if (per_name_data->needed_at_point_p (before_supernode)) pp_printf (pp, "%qE needed here", name); else pp_printf (pp, "%qE not needed here", name); -POP_IGNORE_WFORMAT } pp_newline (pp); } @@ -476,9 +475,7 @@ print_vec_of_names (graphviz_out *gv, const char *title, { if (i > 0) pp_string (pp, ", "); -PUSH_IGNORE_WFORMAT pp_printf (pp, "%qE", name); -POP_IGNORE_WFORMAT } pp_printf (pp, "}"); pp_write_text_as_html_like_dot_to_stream (pp); -- 2.30.2