added gcc_versiont

Author: Daniel Kroening

src/goto-cc/Makefile

@@ -8,6 +8,7 @@ SRC = armcc_cmdline.cpp \
       cw_mode.cpp \
       gcc_cmdline.cpp \
       gcc_mode.cpp \
+      gcc_version.cpp \
       goto_cc_cmdline.cpp \
       goto_cc_languages.cpp \
       goto_cc_main.cpp \

src/goto-cc/gcc_version.cpp

@@ -0,0 +1,115 @@
+#include "gcc_version.h"
+
+#include <util/prefix.h>
+#include <util/run.h>
+#include <util/string2int.h>
+#include <util/tempfile.h>
+
+#include <fstream>
+
+void gcc_versiont::get(const std::string &executable)
+{
+  temporary_filet tmp_file_out("goto-gcc.", ".out");
+  temporary_filet tmp_file_err("goto-gcc.", ".err");
+
+  // some variants output stuff on stderr, say Apple LLVM,
+  // which we silence.
+  int result = run(
+    executable, {executable, "--version"}, "", tmp_file_out(), tmp_file_err());
+
+  v_major = v_minor = v_micro = 0;
+
+  if(result >= 0)
+  {
+    std::ifstream in(tmp_file_out());
+    std::string line;
+    if(!in.fail() && std::getline(in, line))
+    {
+      if(has_prefix(line, "gcc"))
+      {
+        flavor = flavort::GCC;
+        // e.g. gcc-6 (Debian 6.4.0-12) 6.4.0 20180123
+        // The date is optional. We want 6, 4, 0.
+        std::size_t cp = line.find(") ");
+        std::size_t first_dot = line.find('.', cp);
+        std::size_t second_dot = first_dot == std::string::npos
+                                   ? first_dot
+                                   : line.find('.', first_dot + 1);
+
+        if(
+          cp != std::string::npos && first_dot != std::string::npos &&
+          second_dot != std::string::npos)
+        {
+          v_major = unsafe_string2unsigned(
+            std::string(line, cp + 2, first_dot - cp - 2));
+          v_minor = unsafe_string2unsigned(
+            std::string(line, first_dot + 1, second_dot - first_dot - 1));
+          v_micro = unsafe_string2unsigned(std::string(line, second_dot + 1));
+        }
+      }
+      else if(has_prefix(line, "bcc"))
+      {
+        flavor = flavort::GCC;
+        // e.g. bcc: version 0.16.17
+
+        std::size_t v = line.find("version ");
+        std::size_t first_dot = line.find('.', v);
+        std::size_t second_dot = first_dot == std::string::npos
+                                   ? first_dot
+                                   : line.find('.', first_dot + 1);
+
+        if(
+          v != std::string::npos && first_dot != std::string::npos &&
+          second_dot != std::string::npos)
+        {
+          v_major =
+            unsafe_string2unsigned(std::string(line, v + 8, first_dot - v - 8));
+          v_minor = unsafe_string2unsigned(
+            std::string(line, first_dot + 1, second_dot - first_dot - 1));
+          v_micro = unsafe_string2unsigned(std::string(line, second_dot + 1));
+        }
+      }
+      else if(has_prefix(line, "Apple LLVM") || has_prefix(line, "clang"))
+      {
+        flavor = flavort::CLANG;
+        // e.g. Apple LLVM version 9.1.0 (clang-902.0.39.1)
+        // e.g. clang version 4.0.1-10 (tags/RELEASE_401/final)
+
+        std::size_t v = line.find("version ");
+        std::size_t first_dot = line.find('.', v);
+        std::size_t second_dot = first_dot == std::string::npos
+                                   ? first_dot
+                                   : line.find('.', first_dot + 1);
+
+        if(
+          v != std::string::npos && first_dot != std::string::npos &&
+          second_dot != std::string::npos)
+        {
+          v_major =
+            unsafe_string2unsigned(std::string(line, v + 8, first_dot - v - 8));
+          v_minor = unsafe_string2unsigned(
+            std::string(line, first_dot + 1, second_dot - first_dot - 1));
+          v_micro = unsafe_string2unsigned(std::string(line, second_dot + 1));
+        }
+      }
+      else
+        flavor = flavort::UNKNOWN;
+    }
+  }
+  else
+    flavor = flavort::UNKNOWN;
+}
+
+bool gcc_versiont::is_at_least(
+  unsigned _major,
+  unsigned _minor,
+  unsigned _micro) const
+{
+  return v_major > _major || (v_major == _major && v_minor > _minor) ||
+         (v_major == _major && v_minor == _minor && v_micro >= _micro);
+}
+
+std::ostream &operator<<(std::ostream &out, const gcc_versiont &v)
+{
+  return out << v.v_major << '.' << v.v_minor << '.' << v.v_micro;
+}

src/goto-cc/gcc_version.h

@@ -0,0 +1,42 @@
+/*******************************************************************\
+
+Module: gcc version numbering scheme
+
+Author: Daniel Kroening
+
+Date: May 2018
+
+\*******************************************************************/
+
+#ifndef CPROVER_GOTO_CC_GCC_VERSION_H
+#define CPROVER_GOTO_CC_GCC_VERSION_H
+
+#include <iosfwd>
+#include <string>
+
+class gcc_versiont
+{
+public:
+  unsigned v_major, v_minor, v_micro;
+
+  void get(const std::string &executable);
+
+  bool is_at_least(unsigned v_major, unsigned v_minor = 0, unsigned v_micro = 0)
+    const;
+
+  enum class flavort
+  {
+    UNKNOWN,
+    CLANG,
+    GCC,
+    BCC
+  } flavor;
+
+  gcc_versiont() : v_major(0), v_minor(0), v_micro(0), flavor(flavort::UNKNOWN)
+  {
+  }
+};
+
+std::ostream &operator<<(std::ostream &, const gcc_versiont &);
+
+#endif