diff options
-rw-r--r-- | devel/phasar/files/patch-lib_Pointer_PointsToInfo.cpp | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/devel/phasar/files/patch-lib_Pointer_PointsToInfo.cpp b/devel/phasar/files/patch-lib_Pointer_PointsToInfo.cpp new file mode 100644 index 000000000000..cc1e589eeb10 --- /dev/null +++ b/devel/phasar/files/patch-lib_Pointer_PointsToInfo.cpp @@ -0,0 +1,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; |