Skip to content

Commit

Permalink
[analyzer] Add missing include <unordered_map> to llvm/lib/Support/Z3…
Browse files Browse the repository at this point in the history
…Solver.cpp (llvm#106410)

Resolves llvm#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 fcb3a04)
  • Loading branch information
lukeshingles authored and llvmbot committed Aug 29, 2024
1 parent 5f744ee commit 6c9ea06
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions llvm/lib/Support/Z3Solver.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -19,6 +19,7 @@ using namespace llvm;
#include "llvm/ADT/Twine.h"

#include <set>
#include <unordered_map>

#include <z3.h>

Expand Down

0 comments on commit 6c9ea06

Please sign in to comment.