[PATCH v3 10/22] linkers/exe-info: Add DWARF support to gather and check producer details.

Chris Johns chrisj at rtems.org
Mon Jun 18 02:29:08 UTC 2018


- Provide support to list the compilers and assemblers used to build
  an executable.
- List the machine flags showing which flags are common and which are
  not.
---
 linkers/rtems-exeinfo.cpp | 212 +++++++++++++++++++++++++++++++++++++++++++++-
 linkers/wscript           |   2 +-
 2 files changed, 210 insertions(+), 4 deletions(-)

diff --git a/linkers/rtems-exeinfo.cpp b/linkers/rtems-exeinfo.cpp
index b0388af..ef1b653 100644
--- a/linkers/rtems-exeinfo.cpp
+++ b/linkers/rtems-exeinfo.cpp
@@ -43,6 +43,7 @@
 
 #include <rld.h>
 #include <rld-buffer.h>
+#include <rld-dwarf.h>
 #include <rld-files.h>
 #include <rld-process.h>
 #include <rld-rtems.h>
@@ -131,6 +132,7 @@ namespace rld
     struct image
     {
       files::object    exe;         //< The object file that is the executable.
+      dwarf::file      debug;       //< The executable's DWARF details.
       symbols::table   symbols;     //< The synbols for a map.
       symbols::addrtab addresses;   //< The symbols keyed by address.
       files::sections  secs;        //< The sections in the executable.
@@ -148,6 +150,11 @@ namespace rld
        */
       ~image ();
 
+      /*
+       * Check the compiler and flags match.
+       */
+      void output_compilation_unit (bool objects);
+
       /*
        * Output the sections.
        */
@@ -260,6 +267,7 @@ namespace rld
        */
       exe.open ();
       exe.begin ();
+      debug.begin (exe.elf ());
 
       if (!exe.valid ())
         throw rld::error ("Not valid: " + exe.name ().full (),
@@ -284,6 +292,7 @@ namespace rld
        * Load the symbols and sections.
        */
       exe.load_symbols (symbols, true);
+      debug.load_debug ();
       symbols.globals (addresses);
       symbols.weaks (addresses);
       symbols.locals (addresses);
@@ -292,7 +301,186 @@ namespace rld
 
     image::~image ()
     {
-      exe.close ();
+    }
+
+    void
+    image::output_compilation_unit (bool objects)
+    {
+      dwarf::compilation_units& cus = debug.get_cus ();
+
+      std::cout << "Compilation: " << std::endl;
+
+      rld::strings flag_exceptions = { "-O",
+                                       "-g",
+                                       "-mtune=",
+                                       "-fno-builtin",
+                                       "-fno-inline",
+                                       "-fexceptions",
+                                       "-fnon-call-exceptions",
+                                       "-fvisibility=",
+                                       "-fno-stack-protector",
+                                       "-fbuilding-libgcc",
+                                       "-fno-implicit-templates",
+                                       "-ffunction-sections",
+                                       "-fdata-sections",
+                                       "-frandom-seed=",
+                                       "-fno-common",
+                                       "-fno-keep-inline-functions" };
+
+      dwarf::producer_sources producers;
+
+      debug.get_producer_sources (producers);
+
+      /*
+       * Find which flags are common to the building of all source. We are only
+       * interested in files that have any flags. This filters out things like
+       * the assembler which does not have flags.
+       */
+
+      rld::strings all_flags;
+
+      size_t source_max = 0;
+
+      for (auto& p : producers)
+      {
+        dwarf::source_flags_compare compare;
+        std::sort (p.sources.begin (), p.sources.end (), compare);
+
+        for (auto& s : p.sources)
+        {
+          size_t len = rld::path::basename (s.source).length ();
+          if (len > source_max)
+            source_max = len;
+
+          if (!s.flags.empty ())
+          {
+            for (auto& f : s.flags)
+            {
+              bool add = true;
+              for (auto& ef : flag_exceptions)
+              {
+                if (rld::starts_with (f, ef))
+                {
+                  add = false;
+                  break;
+                }
+              }
+              if (add)
+              {
+                for (auto& af : all_flags)
+                {
+                  if (f == af)
+                  {
+                    add = false;
+                    break;
+                  }
+                }
+                if (add)
+                  all_flags.push_back (f);
+              }
+            }
+          }
+        }
+      }
+
+      rld::strings common_flags;
+
+      for (auto& flag : all_flags)
+      {
+        bool found_in_all = true;
+        for (auto& p : producers)
+        {
+          for (auto& s : p.sources)
+          {
+            if (!s.flags.empty ())
+            {
+              bool flag_found = false;
+              for (auto& f : s.flags)
+              {
+                if (flag == f)
+                {
+                  flag_found = true;
+                  break;
+                }
+              }
+              if (!flag_found)
+              {
+                found_in_all = false;
+                break;
+              }
+            }
+            if (!found_in_all)
+              break;
+          }
+        }
+        if (found_in_all)
+          common_flags.push_back (flag);
+      }
+
+      std::cout << " Producers: " << producers.size () << std::endl;
+
+      for (auto& p : producers)
+      {
+        std::cout << "  | " << p.producer
+                  << ": " << p.sources.size () << " objects" << std::endl;
+      }
+
+      std::cout << " Common flags: " << common_flags.size () << std::endl
+                << "  |";
+
+      for (auto& f : common_flags)
+        std::cout << ' ' << f;
+      std::cout << std::endl;
+
+      if (objects)
+      {
+        std::cout << " Object files: " << cus.size () << std::endl;
+
+        rld::strings filter_flags = common_flags;
+        filter_flags.insert (filter_flags.end (),
+                             flag_exceptions.begin (),
+                             flag_exceptions.end());
+
+        for (auto& p : producers)
+        {
+          std::cout << ' ' << p.producer
+                    << ": " << p.sources.size () << " objects" << std::endl;
+          for (auto& s : p.sources)
+          {
+            std::cout << "   | "
+                      << std::setw (source_max + 1) << std::left
+                      << rld::path::basename (s.source);
+            if (!s.flags.empty ())
+            {
+              bool first = true;
+              for (auto& f : s.flags)
+              {
+                bool present = false;
+                for (auto& ff : filter_flags)
+                {
+                  if (rld::starts_with(f, ff))
+                  {
+                    present = true;
+                    break;
+                  }
+                }
+                if (!present)
+                {
+                  if (first)
+                  {
+                    std::cout << ':';
+                    first = false;
+                  }
+                  std::cout << ' ' << f;
+                }
+              }
+            }
+            std::cout << std::endl;
+          }
+        }
+      }
+
+      std::cout << std::endl;
     }
 
     void
@@ -442,7 +630,8 @@ usage (int exit_code)
             << " -a        : all output excluding the map (also --all)" << std::endl
             << " -S        : show all section (also --sections)" << std::endl
             << " -I        : show init section tables (also --init)" << std::endl
-            << " -F        : show fini section tables (also --fini)" << std::endl;
+            << " -F        : show fini section tables (also --fini)" << std::endl
+            << " -O        : show object files (also --objects)" << std::endl;
   ::exit (exit_code);
 }
 
@@ -480,6 +669,13 @@ setup_signals (void)
 #endif
 }
 
+void
+unhandled_exception (void)
+{
+  std::cerr << "error: exception handling error, please report" << std::endl;
+  exit (1);
+}
+
 int
 main (int argc, char* argv[])
 {
@@ -487,6 +683,8 @@ main (int argc, char* argv[])
 
   setup_signals ();
 
+  std::set_terminate(unhandled_exception);
+
   try
   {
     std::string exe_name;
@@ -495,6 +693,7 @@ main (int argc, char* argv[])
     bool        sections = false;
     bool        init = false;
     bool        fini = false;
+    bool        objects = false;
 
     rld::set_cmdline (argc, argv);
 
@@ -537,6 +736,10 @@ main (int argc, char* argv[])
           sections = true;
           break;
 
+        case 'O':
+          objects = true;
+          break;
+
         case '?':
           usage (3);
           break;
@@ -566,6 +769,7 @@ main (int argc, char* argv[])
       sections = true;
       init = true;
       fini = true;
+      objects = true;
     }
 
     /*
@@ -589,11 +793,13 @@ main (int argc, char* argv[])
      */
     rld::exeinfo::image exe (exe_name);
 
-    std::cout << "exe: " << exe.exe.name ().full () << std::endl;
+    std::cout << "exe: " << exe.exe.name ().full () << std::endl
+              << std::endl;
 
     /*
      * Generate the output.
      */
+    exe.output_compilation_unit (objects);
     if (sections)
       exe.output_sections ();
     if (init)
diff --git a/linkers/wscript b/linkers/wscript
index ecb0335..10fe2a0 100644
--- a/linkers/wscript
+++ b/linkers/wscript
@@ -70,7 +70,7 @@ def build(bld):
     #
     # The list of modules.
     #
-    modules = ['rld', 'elf', 'iberty']
+    modules = ['rld', 'dwarf', 'elf', 'iberty']
 
     #
     # The list of defines
-- 
2.15.1




More information about the devel mailing list