[llvm-branch-commits] [llvm] release/19.x: [analyzer] Add missing include <unordered_map> to llvm/lib/Support/Z3Solver.cpp (#106410) (PR #106525)

[via llvm-branch-commits]

llvmbot wrote:


<!--LLVM PR SUMMARY COMMENT-->

@llvm/pr-subscribers-llvm-support

Author: None (llvmbot)

<details>
<summary>Changes</summary>

Backport fcb3a048

Requested by: @<!-- -->tamird

---
Full diff: https://github.com/llvm/llvm-project/pull/106525.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/106525