bump goto binary version

Author: Daniel Kroening

regression/ansi-c/arch_flags_mcpu_bad/object.intel

@@ -20,10 +20,10 @@ Date: June 2006
 
 #include "goto_functions.h"
 
-/// read goto binary format v3
+/// read goto binary format v4
 /// \par parameters: input stream, symbol_table, functions
 /// \return true on error, false otherwise
-static bool read_bin_goto_object_v3(
+static bool read_bin_goto_object_v4(
   std::istream &in,
   symbol_tablet &symbol_table,
   goto_functionst &functions,
@@ -221,13 +221,14 @@ bool read_bin_goto_object(
     {
     case 1:
     case 2:
+    case 3:
       message.error() <<
           "The input was compiled with an old version of "
           "goto-cc; please recompile" << messaget::eom;
       return true;
 
-    case 3:
-      return read_bin_goto_object_v3(
+    case 4:
+      return read_bin_goto_object_v4(
         in, symbol_table, functions, irepconverter);
       break;
 

regression/ansi-c/arch_flags_mcpu_good/object.arm

@@ -19,8 +19,8 @@ Author: CM Wintersteiger
 
 #include <goto-programs/goto_model.h>
 
-/// Writes a goto program to disc, using goto binary format ver 2
-bool write_goto_binary_v3(
+/// Writes a goto program to disc, using goto binary format ver 4
+bool write_goto_binary_v4(
   std::ostream &out,
   const symbol_tablet &symbol_table,
   const goto_functionst &goto_functions,
@@ -151,13 +151,12 @@ bool write_goto_binary(
   switch(version)
   {
   case 1:
-    throw "version 1 no longer supported";
-
   case 2:
-    throw "version 2 no longer supported";
-
   case 3:
-    return write_goto_binary_v3(
+    throw "version no longer supported";
+
+  case 4:
+    return write_goto_binary_v4(
       out, symbol_table, goto_functions, irepconverter);
 
   default:

regression/ansi-c/arch_flags_mthumb_good/object.arm

@@ -12,7 +12,7 @@ Author: CM Wintersteiger
 #ifndef CPROVER_GOTO_PROGRAMS_WRITE_GOTO_BINARY_H
 #define CPROVER_GOTO_PROGRAMS_WRITE_GOTO_BINARY_H
 
-#define GOTO_BINARY_VERSION 3
+#define GOTO_BINARY_VERSION 4
 
 #include <iosfwd>
 #include <string>