Merge pull request #4166 from tautschnig/goto-binary-versioning

Put current goto binary version in a single place

Author: tautschnig

src/goto-programs/read_bin_goto_object.cpp

@@ -19,11 +19,12 @@ Date: June 2006
 #include <util/irep_serialization.h>
 
 #include "goto_functions.h"
+#include "write_goto_binary.h"
 
-/// read goto binary format v5
+/// read goto binary format
 /// \par parameters: input stream, symbol_table, functions
 /// \return true on error, false otherwise
-static bool read_bin_goto_object_v5(
+static bool read_bin_goto_object(
   std::istream &in,
   symbol_tablet &symbol_table,
   goto_functionst &functions,
@@ -218,23 +219,19 @@ bool read_bin_goto_object(
   {
     std::size_t version=irepconverter.read_gb_word(in);
 
-    switch(version)
+    if(version < GOTO_BINARY_VERSION)
     {
-    case 1:
-    case 2:
-    case 3:
-    case 4:
       message.error() <<
           "The input was compiled with an old version of "
           "goto-cc; please recompile" << messaget::eom;
       return true;
-
-    case 5:
-      return read_bin_goto_object_v5(
-        in, symbol_table, functions, irepconverter);
-      break;
-
-    default:
+    }
+    else if(version == GOTO_BINARY_VERSION)
+    {
+      return read_bin_goto_object(in, symbol_table, functions, irepconverter);
+    }
+    else
+    {
       message.error() <<
           "The input was compiled with an unsupported version of "
           "goto-cc; please recompile" << messaget::eom;

src/goto-programs/write_goto_binary.cpp

@@ -21,8 +21,8 @@ Author: CM Wintersteiger
 
 #include <goto-programs/goto_model.h>
 
-/// Writes a goto program to disc, using goto binary format ver 5
-bool write_goto_binary_v5(
+/// Writes a goto program to disc, using goto binary format
+bool write_goto_binary(
   std::ostream &out,
   const symbol_tablet &symbol_table,
   const goto_functionst &goto_functions,
@@ -157,8 +157,7 @@ bool write_goto_binary(
       "unknown goto binary version " + std::to_string(version),
       "supported version = " + std::to_string(GOTO_BINARY_VERSION));
   else
-    return write_goto_binary_v5(
-      out, symbol_table, goto_functions, irepconverter);
+    return write_goto_binary(out, symbol_table, goto_functions, irepconverter);
 }
 
 /// Writes a goto program to disc