[llvm-branch-commits] [llvm] 894ec4e - [analyzer] Add missing include <unordered_map> to llvm/lib/Support/Z3Solver.cpp (#106410)

[Tobias Hieta via llvm-branch-commits]

Author: Luke Shingles
Date: 2024-09-01T10:18:03+02:00
New Revision: 894ec4e3a1d56a5dd5a8205b4fd734136db87cfd

URL: https://github.com/llvm/llvm-project/commit/894ec4e3a1d56a5dd5a8205b4fd734136db87cfd
DIFF: https://github.com/llvm/llvm-project/commit/894ec4e3a1d56a5dd5a8205b4fd734136db87cfd.diff

LOG: [analyzer] Add missing include <unordered_map> to llvm/lib/Support/Z3Solver.cpp (#106410)

Resolves #106361. Adding #include <unordered_map> to
llvm/lib/Support/Z3Solver.cpp fixes compilation errors for homebrew
build on macOS with Xcode 14.
https://github.com/Homebrew/homebrew-core/actions/runs/10604291631/job/29390993615?pr=181351
shows that this is resolved when the include is patched in (Linux CI
failure is due to unrelated timeout).

(cherry picked from commit fcb3a0485857c749d04ea234a8c3d629c62ab211)

Added: 
    

Modified: 
    llvm/lib/Support/Z3Solver.cpp

Removed: 
    


################################################################################
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>