analyzer: Add missing include (NASA-SW-VnV#273).

Mechazo11 · ivanperez-keera · commit 8da72d08cd8d · 2024-09-21T12:43:12.000-07:00
This commit adds a missing include that leads to an error in newer
versions of clang.
diff --git a/analyzer/include/ikos/analyzer/analysis/liveness.hpp b/analyzer/include/ikos/analyzer/analysis/liveness.hpp
@@ -47,6 +47,7 @@
 
 #include <iosfwd>
 #include <vector>
+#include <cstdint> // Fix suggested by ivanperez-keera here https://github.com/NASA-SW-VnV/ikos/issues/273
 
 #include <boost/optional.hpp>
 
