1set(LLVM_LINK_COMPONENTS support) 2 3# Link Z3 if the user wants to build it. 4if(CLANG_ANALYZER_WITH_Z3) 5 set(Z3_LINK_FILES ${Z3_LIBRARIES}) 6else() 7 set(Z3_LINK_FILES "") 8endif() 9 10add_clang_library(clangStaticAnalyzerCore 11 APSIntType.cpp 12 AnalysisManager.cpp 13 AnalyzerOptions.cpp 14 BasicValueFactory.cpp 15 BlockCounter.cpp 16 IssueHash.cpp 17 BugReporter.cpp 18 BugReporterVisitors.cpp 19 CallEvent.cpp 20 Checker.cpp 21 CheckerContext.cpp 22 CheckerHelpers.cpp 23 CheckerManager.cpp 24 CheckerRegistry.cpp 25 CommonBugCategories.cpp 26 ConstraintManager.cpp 27 CoreEngine.cpp 28 DynamicTypeMap.cpp 29 Environment.cpp 30 ExplodedGraph.cpp 31 ExprEngine.cpp 32 ExprEngineC.cpp 33 ExprEngineCXX.cpp 34 ExprEngineCallAndReturn.cpp 35 ExprEngineObjC.cpp 36 FunctionSummary.cpp 37 HTMLDiagnostics.cpp 38 LoopUnrolling.cpp 39 LoopWidening.cpp 40 MemRegion.cpp 41 PathDiagnostic.cpp 42 PlistDiagnostics.cpp 43 ProgramState.cpp 44 RangeConstraintManager.cpp 45 RangedConstraintManager.cpp 46 RegionStore.cpp 47 SValBuilder.cpp 48 SVals.cpp 49 SimpleConstraintManager.cpp 50 SimpleSValBuilder.cpp 51 Store.cpp 52 SubEngine.cpp 53 SymbolManager.cpp 54 Z3ConstraintManager.cpp 55 56 LINK_LIBS 57 clangAST 58 clangASTMatchers 59 clangAnalysis 60 clangBasic 61 clangLex 62 clangRewrite 63 ${Z3_LINK_FILES} 64 ) 65 66if(CLANG_ANALYZER_WITH_Z3) 67 target_include_directories(clangStaticAnalyzerCore SYSTEM 68 PRIVATE 69 ${Z3_INCLUDE_DIR} 70 ) 71endif() 72