devel/phasar/files/patch-lib_Pointer_PointsToInfo.cpp


1
2
3
4
5
6
7
8
9
10
11
12

- workaround for https://github.com/secure-software-engineering/phasar/issues/718

--- lib/Pointer/PointsToInfo.cpp.orig	2024-04-26 06:58:43 UTC
+++ lib/Pointer/PointsToInfo.cpp
@@ -19,6 +19,7 @@
 
 #include <array>
 #include <utility>
+#include <vector>
 
 namespace llvm {
 class Value;