[llvm] [analyzer] Add missing include <unordered_map> to llvm/lib/Support/Z3Solver.cpp (PR #106410)
via llvm-commits
llvm-commits at lists.llvm.org
Wed Aug 28 11:49:36 PDT 2024
llvmbot wrote:
<!--LLVM PR SUMMARY COMMENT-->
@llvm/pr-subscribers-llvm-support
Author: Luke Shingles (lukeshingles)
<details>
<summary>Changes</summary>
Resolves #<!-- -->106361. The homebrew build with #include <unordered_map> patched into Z3Solver.cpp (https://github.com/Homebrew/homebrew-core/actions/runs/10595188343/job/29362431446?pr=181351) now compiles (new failures are homebrew specific issues related to blocking non-release versions in macOS or CI 6 hr timeout on Linux).
---
Full diff: https://github.com/llvm/llvm-project/pull/106410.diff
1 Files Affected:
- (modified) llvm/lib/Support/Z3Solver.cpp (+1)
``````````diff
diff --git a/llvm/lib/Support/Z3Solver.cpp b/llvm/lib/Support/Z3Solver.cpp
index 5a34ff160f6cf4..9aece099b06295 100644
--- a/llvm/lib/Support/Z3Solver.cpp
+++ b/llvm/lib/Support/Z3Solver.cpp
@@ -19,6 +19,7 @@ using namespace llvm;
#include "llvm/ADT/Twine.h"
#include <set>
+#include <unordered_map>
#include <z3.h>
``````````
</details>
https://github.com/llvm/llvm-project/pull/106410
More information about the llvm-commits
mailing list