File 0001-include-cstdint-when-required.patch of Package klee

From: Jiri Slaby <jslaby@suse.cz>
Date: Wed, 25 Jun 2025 10:17:28 +0200
Subject: include cstdint when required
References: build-fix
Patch-mainline: no

For these files:
* include/klee/Support/CompressionStream.h
* include/klee/Support/FileHandling.h
* include/klee/Support/PrintVersion.h
* include/klee/System/Time.h
* lib/Module/Passes.h
* lib/Support/TreeStream.cpp
that is a bug in llvm fixed by commit e2f25af71142 ("[ADT] Add
`<cstdint>` to SmallVector (#101761)"). Fixed in llvm 19.1. So remove
once we bump -- if ever.

Signed-off-by: Jiri Slaby <jslaby@suse.cz>
---
 include/klee/Module/InstructionInfoTable.h | 1 +
 include/klee/Support/CompressionStream.h   | 1 +
 include/klee/Support/FileHandling.h        | 2 ++
 include/klee/Support/PrintVersion.h        | 2 ++
 include/klee/System/Time.h                 | 1 +
 lib/Module/Passes.h                        | 1 +
 lib/Support/TreeStream.cpp                 | 1 +
 7 files changed, 9 insertions(+)

diff --git a/include/klee/Module/InstructionInfoTable.h b/include/klee/Module/InstructionInfoTable.h
index 3ba9528ce6f8..b6d05de58e17 100644
--- a/include/klee/Module/InstructionInfoTable.h
+++ b/include/klee/Module/InstructionInfoTable.h
@@ -10,6 +10,7 @@
 #ifndef KLEE_INSTRUCTIONINFOTABLE_H
 #define KLEE_INSTRUCTIONINFOTABLE_H
 
+#include <cstdint>
 #include <memory>
 #include <string>
 #include <unordered_map>
diff --git a/include/klee/Support/CompressionStream.h b/include/klee/Support/CompressionStream.h
index bc9119dd1578..330490f4bc65 100644
--- a/include/klee/Support/CompressionStream.h
+++ b/include/klee/Support/CompressionStream.h
@@ -10,6 +10,7 @@
 #ifndef KLEE_COMPRESSIONSTREAM_H
 #define KLEE_COMPRESSIONSTREAM_H
 
+#include <cstdint>
 #include "llvm/Support/raw_ostream.h"
 #include "zlib.h"
 
diff --git a/include/klee/Support/FileHandling.h b/include/klee/Support/FileHandling.h
index a0dd0e957521..3b01eca51d56 100644
--- a/include/klee/Support/FileHandling.h
+++ b/include/klee/Support/FileHandling.h
@@ -10,6 +10,8 @@
 #ifndef KLEE_FILEHANDLING_H
 #define KLEE_FILEHANDLING_H
 
+#include <cstdint>
+
 #include "klee/Support/CompilerWarning.h"
 DISABLE_WARNING_PUSH
 DISABLE_WARNING_DEPRECATED_DECLARATIONS
diff --git a/include/klee/Support/PrintVersion.h b/include/klee/Support/PrintVersion.h
index f4999debc21a..e74fc630fbd4 100644
--- a/include/klee/Support/PrintVersion.h
+++ b/include/klee/Support/PrintVersion.h
@@ -10,6 +10,8 @@
 #ifndef KLEE_PRINTVERSION_H
 #define KLEE_PRINTVERSION_H
 
+#include <cstdint>
+
 #include "klee/Support/CompilerWarning.h"
 DISABLE_WARNING_PUSH
 DISABLE_WARNING_DEPRECATED_DECLARATIONS
diff --git a/include/klee/System/Time.h b/include/klee/System/Time.h
index 14d9ab4b7637..9ca1c512ffe1 100644
--- a/include/klee/System/Time.h
+++ b/include/klee/System/Time.h
@@ -10,6 +10,7 @@
 #ifndef KLEE_TIME_H
 #define KLEE_TIME_H
 
+#include <cstdint>
 #include "klee/Support/CompilerWarning.h"
 DISABLE_WARNING_PUSH
 DISABLE_WARNING_DEPRECATED_DECLARATIONS
diff --git a/lib/Module/Passes.h b/lib/Module/Passes.h
index 6878a8b6d482..bbe9ecd4c916 100644
--- a/lib/Module/Passes.h
+++ b/lib/Module/Passes.h
@@ -12,6 +12,7 @@
 
 #include "klee/Config/Version.h"
 
+#include <cstdint>
 #include "klee/Support/CompilerWarning.h"
 DISABLE_WARNING_PUSH
 DISABLE_WARNING_DEPRECATED_DECLARATIONS
diff --git a/lib/Support/TreeStream.cpp b/lib/Support/TreeStream.cpp
index 4571861d3e9d..70620b74d967 100644
--- a/lib/Support/TreeStream.cpp
+++ b/lib/Support/TreeStream.cpp
@@ -18,6 +18,7 @@
 #include <iterator>
 #include <map>
 
+#include <cstdint>
 #include "llvm/Support/raw_ostream.h"
 #include <string.h>
 
-- 
2.50.0

openSUSE Build Service is sponsored by