[llvm] e61a1a9 - Conditional include of missing headers under Z3

[via llvm-commits]

Author: serge-sans-paille
Date: 2022-03-11T15:52:24+01:00
New Revision: e61a1a9849aa432f1467b2a9ab45e81a5438437b

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

LOG: Conditional include of missing headers under Z3

Added: 
    

Modified: 
    llvm/lib/Support/Z3Solver.cpp

Removed: 
    


################################################################################
diff  --git a/llvm/lib/Support/Z3Solver.cpp b/llvm/lib/Support/Z3Solver.cpp
index 80ec6d445dfbc..c5344e6d5414c 100644
--- a/llvm/lib/Support/Z3Solver.cpp
+++ b/llvm/lib/Support/Z3Solver.cpp
@@ -13,8 +13,11 @@ using namespace llvm;
 
 #if LLVM_WITH_Z3
 
+#include "llvm/ADT/SmalLString.h"
 #include "llvm/ADT/Twine.h"
 
+#include <set>
+
 #include <z3.h>
 
 namespace {