From: Martin Liska Date: Mon, 12 Sep 2022 07:12:37 +0000 (+0200) Subject: analyzer: remove unused fields X-Git-Tag: basepoints/gcc-14~4623 X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=ffaeb9dc58ea51ad99e82c6734e74c82e0a1cc5d;p=thirdparty%2Fgcc.git analyzer: remove unused fields Fixes: gcc/analyzer/region-model.cc:5918:8: warning: private field 'm_record_type' is not used [-Wunused-private-field] gcc/analyzer/region-model.cc:6305:25: warning: private field 'm_mgr' is not used [-Wunused-private-field] gcc/analyzer/ChangeLog: * region-model.cc (region_model::maybe_complain_about_infoleak): Remove unused fields. --- diff --git a/gcc/analyzer/region-model.cc b/gcc/analyzer/region-model.cc index 13b8e3eaf1b8..22c52872c3e3 100644 --- a/gcc/analyzer/region-model.cc +++ b/gcc/analyzer/region-model.cc @@ -5838,7 +5838,6 @@ public: }; record_layout (tree record_type) - : m_record_type (record_type) { gcc_assert (TREE_CODE (record_type) == RECORD_TYPE); @@ -5918,7 +5917,6 @@ private: } } - tree m_record_type; auto_vec m_items; }; @@ -5932,12 +5930,10 @@ class exposure_through_uninit_copy public: exposure_through_uninit_copy (const region *src_region, const region *dest_region, - const svalue *copied_sval, - region_model_manager *mgr) + const svalue *copied_sval) : m_src_region (src_region), m_dest_region (dest_region), - m_copied_sval (copied_sval), - m_mgr (mgr) + m_copied_sval (copied_sval) { gcc_assert (m_copied_sval->get_kind () == SK_POISONED || m_copied_sval->get_kind () == SK_COMPOUND); @@ -6305,7 +6301,6 @@ private: const region *m_src_region; const region *m_dest_region; const svalue *m_copied_sval; - region_model_manager *m_mgr; }; /* Return true if any part of SVAL is uninitialized. */ @@ -6351,8 +6346,7 @@ region_model::maybe_complain_about_infoleak (const region *dst_reg, if (contains_uninit_p (copied_sval)) ctxt->warn (new exposure_through_uninit_copy (src_reg, dst_reg, - copied_sval, - m_mgr)); + copied_sval)); } /* class noop_region_model_context : public region_model_context. */