Declare the version variable as const

thomasspriggs · thomasspriggs · commit 53bb8fdb09d4 · 2023-03-31T11:14:14.000+01:00
Because it is not mutated after it is read from file.
diff --git a/src/goto-programs/read_bin_goto_object.cpp b/src/goto-programs/read_bin_goto_object.cpp
@@ -256,7 +256,7 @@ bool read_bin_goto_object(
   // symbol_serializationt symbolconverter(ic);
 
   {
-    std::size_t version=irepconverter.read_gb_word(in);
+    const std::size_t version = irepconverter.read_gb_word(in);
 
     if(version < GOTO_BINARY_VERSION)
     {

Original file line number	Diff line number	Diff line change
`@@ -256,7 +256,7 @@ bool read_bin_goto_object(`
`256`	`256`	`// symbol_serializationt symbolconverter(ic);`
`257`	`257`
`258`	`258`	`{`
`259`		`- std::size_t version=irepconverter.read_gb_word(in);`
	`259`	`+ const std::size_t version = irepconverter.read_gb_word(in);`
`260`	`260`
`261`	`261`	`if(version < GOTO_BINARY_VERSION)`
`262`	`262`	`{`