Merge commit '894ec4e3a1d5' from llvm.org/release/19.x into stable/20240723

git apple-llvm automerger · git apple-llvm automerger · commit 55b16c461d69 · 2024-09-01T10:18:03.000+02:00
diff --git 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>
 
