dwarflint: new check_die_decl_call.cc die_check.

Check that each decl or call attribute come in file/line and
column/line pairs.

diff --git a/dwarflint/Makefile.am b/dwarflint/Makefile.am
index f8d03c358e3ace9e823cfa7728f1a09d28b4ce0c..d948a0d85d4e8a305663cce0b840bb34bd390710 100644 (file)
--- a/dwarflint/Makefile.am
+++ b/dwarflint/Makefile.am
@@ -87,6 +87,7 @@ dwarflint_SOURCES = \
        check_range_out_of_scope.cc \
        check_self_referential_die.cc \
        check_linkage_external_die.cc \
+       check_die_decl_call.cc \
        lowlevel_checks.cc lowlevel_checks.hh \
        \
        ../src/dwarfstrings.c

diff --git a/dwarflint/check_die_decl_call.cc b/dwarflint/check_die_decl_call.cc
new file mode 100644 (file)
index 0000000..7bddad0
--- /dev/null
+++ b/dwarflint/check_die_decl_call.cc
@@ -0,0 +1,113 @@
+/* Check that decl or call file, line, column come in pairs.
+   Copyright (C) 2011 Red Hat, Inc.
+   This file is part of Red Hat elfutils.
+
+   Red Hat elfutils is free software; you can redistribute it and/or modify
+   it under the terms of the GNU General Public License as published by the
+   Free Software Foundation; version 2 of the License.
+
+   Red Hat elfutils is distributed in the hope that it will be useful, but
+   WITHOUT ANY WARRANTY; without even the implied warranty of
+   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
+   General Public License for more details.
+
+   You should have received a copy of the GNU General Public License along
+   with Red Hat elfutils; if not, write to the Free Software Foundation,
+   Inc., 51 Franklin Street, Fifth Floor, Boston MA 02110-1301 USA.
+
+   Red Hat elfutils is an included package of the Open Invention Network.
+   An included package of the Open Invention Network is a package for which
+   Open Invention Network licensees cross-license their patents.  No patent
+   license is granted, either expressly or impliedly, by designation as an
+   included package.  Should you wish to participate in the Open Invention
+   Network licensing program, please visit www.openinventionnetwork.com
+   <http://www.openinventionnetwork.com>.  */
+
+#include "check_die_tree.hh"
+#include "pri.hh"
+#include "messages.hh"
+
+using elfutils::dwarf;
+
+namespace
+{
+  class check_die_decl_call
+    : public die_check
+  {
+  public:
+    static checkdescriptor const *descriptor ()
+    {
+      static checkdescriptor cd
+       (checkdescriptor::create ("check_die_decl_call")
+        .description ("Check that each decl or call attribute come in"
+                      " file/line and column/line pairs.\n"));
+      return &cd;
+    }
+
+    check_die_decl_call (highlevel_check_i *, checkstack &, dwarflint &)
+    {
+      // No state stored for this check.
+    }
+
+    virtual void
+    die (all_dies_iterator<dwarf> const &it)
+    {
+      dwarf::debug_info_entry const &entry = *it;
+      dwarf::debug_info_entry::attributes_type attrs = entry.attributes ();
+
+      // Make sure decl column and line, and file and line are paired.
+      dwarf::debug_info_entry::attributes_type::const_iterator
+       decl_column = attrs.find (DW_AT_decl_column);
+      dwarf::debug_info_entry::attributes_type::const_iterator
+       decl_line = attrs.find (DW_AT_decl_line);
+      dwarf::debug_info_entry::attributes_type::const_iterator
+       decl_file = attrs.find (DW_AT_decl_file);
+
+      if (decl_column != attrs.end () && decl_line == attrs.end ())
+       wr_message (to_where (entry), mc_impact_3 | mc_acc_suboptimal)
+         .id (descriptor ())
+         << elfutils::dwarf::tags::name (entry.tag ())
+         << " has decl_column, but NOT decl_line" << std::endl;
+
+      if (decl_line != attrs.end () && decl_file == attrs.end ())
+       wr_message (to_where (entry), mc_impact_3 | mc_acc_suboptimal)
+         .id (descriptor ())
+         << elfutils::dwarf::tags::name (entry.tag ())
+         << " has decl_line, but NOT decl_file" << std::endl;
+
+      if (decl_file != attrs.end () && decl_line == attrs.end ())
+       wr_message (to_where (entry), mc_impact_3 | mc_acc_suboptimal)
+         .id (descriptor ())
+         << elfutils::dwarf::tags::name (entry.tag ())
+         << " has decl_file, but NOT decl_line" << std::endl;
+
+      // Same for call variants.
+      dwarf::debug_info_entry::attributes_type::const_iterator
+       call_column = attrs.find (DW_AT_call_column);
+      dwarf::debug_info_entry::attributes_type::const_iterator
+       call_line = attrs.find (DW_AT_call_line);
+      dwarf::debug_info_entry::attributes_type::const_iterator
+       call_file = attrs.find (DW_AT_call_file);
+
+      if (call_column != attrs.end () && call_line == attrs.end ())
+       wr_message (to_where (entry), mc_impact_3 | mc_acc_suboptimal)
+         .id (descriptor ())
+         << elfutils::dwarf::tags::name (entry.tag ())
+         << " has call_column, but NOT call_line" << std::endl;
+
+      if (call_line != attrs.end () && call_file == attrs.end ())
+       wr_message (to_where (entry), mc_impact_3 | mc_acc_suboptimal)
+         .id (descriptor ())
+         << elfutils::dwarf::tags::name (entry.tag ())
+         << " has call_line, but NOT call_file" << std::endl;
+
+      if (call_file != attrs.end () && call_line == attrs.end ())
+       wr_message (to_where (entry), mc_impact_3 | mc_acc_suboptimal)
+         .id (descriptor ())
+         << elfutils::dwarf::tags::name (entry.tag ())
+         << " has call_file, but NOT call_line" << std::endl;
+    }
+  };
+
+  reg_die_check<check_die_decl_call> reg;
+}