Merge pull request diffblue#2419 from tautschnig/vs-loc-num

goto-program instruction's location_number is unsigned

Author: tautschnig

src/goto-instrument/accelerate/overflow_instrumenter.h

@@ -58,7 +58,7 @@ class overflow_instrumentert
   const exprt &overflow_var;
 
   namespacet ns;
-  std::set<int> checked;
+  std::set<unsigned> checked;
 };
 
 #endif // CPROVER_GOTO_INSTRUMENT_ACCELERATE_OVERFLOW_INSTRUMENTER_H