Merge pull request #7609 from jirislaby/gcc13

[gcc 13] include cstdint for *int*_t

Author: tautschnig

src/goto-programs/name_mangler.cpp

@@ -10,6 +10,7 @@ Author: Kareem Khazem <[email protected]>, 2019
 
 #include <util/get_base_name.h>
 
+#include <cstdint>
 #include <iomanip>
 #include <sstream>
 

src/goto-programs/osx_fat_reader.h

@@ -14,6 +14,7 @@ Module: Read OS X Fat Binaries
 
 #include <util/message.h>
 
+#include <cstdint>
 #include <fstream>
 #include <map>
 #include <string>

src/solvers/prop/prop.h

@@ -17,6 +17,8 @@ Author: Daniel Kroening, [email protected]
 
 #include "literal.h"
 
+#include <cstdint>
+
 /*! \brief TO_BE_DOCUMENTED
 */
 class propt

src/solvers/smt2/smt2_conv.cpp

@@ -42,6 +42,8 @@ Author: Daniel Kroening, [email protected]
 
 #include "smt2_tokenizer.h"
 
+#include <cstdint>
+
 // Mark different kinds of error conditions
 
 // Unexpected types and other combinations not implemented and not

src/util/ieee_float.cpp

@@ -8,14 +8,15 @@ Author: Daniel Kroening, [email protected]
 
 #include "ieee_float.h"
 
-#include <limits>
-
 #include "arith_tools.h"
 #include "bitvector_types.h"
 #include "floatbv_expr.h"
 #include "invariant.h"
 #include "std_expr.h"
 
+#include <cstdint>
+#include <limits>
+
 mp_integer ieee_float_spect::bias() const
 {
   return power(2, e-1)-1;

src/util/unicode.cpp

@@ -8,13 +8,14 @@ Author: Daniel Kroening, [email protected]
 
 #include "unicode.h"
 
+#include "invariant.h"
+
 #include <codecvt>
+#include <cstdint>
 #include <iomanip>
 #include <locale>
 #include <sstream>
 
-#include "invariant.h"
-
 #ifdef _WIN32
 #  include <util/pragma_push.def>
 #  ifdef _MSC_VER