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

[Luke Shingles via llvm-commits]

https://github.com/lukeshingles created https://github.com/llvm/llvm-project/pull/106410

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) has passed the stage where the unordered_map error previously occurred. If the build fully completes, I'll change this PR from draft status to ready.

>From 78b1d5f762e92def826b69026c5090b8cacb79f9 Mon Sep 17 00:00:00 2001
From: Luke Shingles <luke.shingles at gmail.com>
Date: Wed, 28 Aug 2024 14:10:46 +0100
Subject: [PATCH] [analyzer] Add missing include to Z3Solver.cpp

---
 llvm/lib/Support/Z3Solver.cpp | 1 +
 1 file changed, 1 insertion(+)

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>