This is an archive of the discontinued LLVM Phabricator instance.

Differential D55978

[gn build] Add build files for clang/lib/{ASTMatchers,CrossTU}, clang/lib/StaticAnalyzer/{Checkers,Core,Frontend}
ClosedPublic

Authored by thakis on Dec 20 2018, 6:19 PM.

Details

Reviewers
phosek
george.karpenkov
Commits
rG00e6beefa926: [gn build] Add build files for clang/lib/{ASTMatchers,CrossTU}…
rL349986: [gn build] Add build files for clang/lib/{ASTMatchers,CrossTU}…
Summary

The intent is to add the build file for clang/lib/StaticAnalyzer/Frontend; everything else is pulled in by that.

It's close to 200 TUs; I might want to default to clang_enable_static_analyzer=false when I add the clang/lib/FrontendTool build file.

Diff Detail

Repository
rL LLVM

Event Timeline

thakis created this revision.Dec 20 2018, 6:19 PM
Herald added a reviewer: george.karpenkov. · View Herald TranscriptDec 20 2018, 6:19 PM
Herald added subscribers: dkrupp, donat.nagy, jfb and 4 others. · View Herald Transcript
george.karpenkov added a comment.Dec 20 2018, 6:24 PM

Looks reasonable, what about linking with Z3? Or is your goal just to get a minimally working functionality?

george.karpenkov added a comment.Dec 20 2018, 6:26 PM

I might want to default to clang_enable_static_analyzer=false when I add the clang/lib/FrontendTool build file.

I don't think that quite makes sense, since by default clang does have the analyzer built in.

thakis added a child revision: D55979: [gn build] Add build file for clang/lib/ARCMigrate.Dec 20 2018, 6:30 PM
thakis added a comment.Dec 20 2018, 6:50 PM

Thanks for taking a look!

In D55978#1338654, @george.karpenkov wrote:

I might want to default to clang_enable_static_analyzer=false when I add the clang/lib/FrontendTool build file.

I don't think that quite makes sense, since by default clang does have the analyzer built in.

Two points about this:

  1. The GN build's main point is developer productivity (see llvm/utils/gn/README.rst). My guess is that most people don't work on the static analyzer, so if turning it off might make sense for that reason. (If the GN build gets adopted by people working on the static analyzer and less so by other people, this wouldn't make sense of course.)
  1. I believe there's general agreement that if clang-tidy had existed when the static analyzer was first written, it would've been in clang-tidy, not in clang. Because of that, I think it might make sense to eventually move to a world where by default the analyzer is in clang-tidy but not in clang (but still have toggles to change that), and where the checker tests run through clang-tidy. (I don't mean to propose this at the moment, and it has some dependencies: ARCMigrate depends on the static analyzer and I think ARCMigrate isn't hooked up in clang-tidy at all at the moment. But at some point in the future I think this would make sense) The case for this is is imho stronger after r284112 which added ASTMatchers to the Checkers deps; historically we've tried to keep ASTMatchers out of the clang binary.

In any case, at the moment clang_enable_static_analyzer does default to true in the GN build. If I'm getting serious about changing that default, I'll cc you on that patch :-)

thakis added a comment.Dec 20 2018, 6:50 PM
In D55978#1338651, @george.karpenkov wrote:

Looks reasonable, what about linking with Z3? Or is your goal just to get a minimally working functionality?

Sorry, forgot to reply to this. I don't use this, so I feel someone who does want to use Z3 + GN should probably add support for this.

phosek accepted this revision.Dec 21 2018, 2:46 PM

LGTM

This revision is now accepted and ready to land.Dec 21 2018, 2:46 PM
Closed by commit rL349986: [gn build] Add build files for clang/lib/{ASTMatchers,CrossTU}… (authored by nico). · Explain WhyDec 21 2018, 7:17 PM
This revision was automatically updated to reflect the committed changes.
Herald added a subscriber: llvm-commits. · View Herald TranscriptDec 21 2018, 7:17 PM

Revision Contents

PathSize
llvm/
trunk/
utils/
gn/
secondary/
7 lines
clang/
lib/
ASTMatchers/
13 lines
CrossTU/
14 lines
Index/
28 lines
StaticAnalyzer/
Checkers/
114 lines
Core/
67 lines
Frontend/
23 lines

Diff 179400

llvm/trunk/utils/gn/secondary/BUILD.gn

group("default") { group("default") {
deps = [ deps = [
"//clang/lib/AST",
"//clang/lib/ASTMatchers",
"//clang/lib/CodeGen", "//clang/lib/CodeGen",
"//clang/lib/CrossTU",
"//clang/lib/Driver", "//clang/lib/Driver",
"//clang/lib/Frontend", "//clang/lib/Frontend",
"//clang/lib/Frontend/Rewrite", "//clang/lib/Frontend/Rewrite",
"//clang/lib/Index",
"//clang/lib/Parse", "//clang/lib/Parse",
"//clang/lib/Serialization", "//clang/lib/Serialization",
"//clang/lib/StaticAnalyzer/Checkers",
"//clang/lib/StaticAnalyzer/Core",
"//clang/lib/StaticAnalyzer/Frontend",
"//clang/tools/clang-format", "//clang/tools/clang-format",
"//lld/test", "//lld/test",
"//llvm/tools/llvm-undname", "//llvm/tools/llvm-undname",
] ]
testonly = true testonly = true
} }
# Symlink handling. # Symlink handling.
▲ Show 20 Lines • Show All 57 Lines • Show Last 20 Lines

llvm/trunk/utils/gn/secondary/clang/lib/ASTMatchers/BUILD.gn

static_library("ASTMatchers") {
output_name = "clangASTMatchers"
configs += [ "//llvm/utils/gn/build:clang_code" ]
deps = [
"//clang/lib/AST",
"//clang/lib/Basic",
"//llvm/lib/Support",
]
sources = [
"ASTMatchFinder.cpp",
"ASTMatchersInternal.cpp",
]
}

llvm/trunk/utils/gn/secondary/clang/lib/CrossTU/BUILD.gn

static_library("CrossTU") {
output_name = "clangCrossTU"
configs += [ "//llvm/utils/gn/build:clang_code" ]
deps = [
"//clang/lib/AST",
"//clang/lib/Basic",
"//clang/lib/Frontend",
"//clang/lib/Index",
"//llvm/lib/Support",
]
sources = [
"CrossTranslationUnit.cpp",
]
}

llvm/trunk/utils/gn/secondary/clang/lib/Index/BUILD.gn

static_library("Index") {
output_name = "clangIndex"
configs += [ "//llvm/utils/gn/build:clang_code" ]
deps = [
"//clang/lib/AST",
"//clang/lib/Basic",
"//clang/lib/Format",
"//clang/lib/Frontend",
"//clang/lib/Rewrite",
"//clang/lib/Serialization",
"//clang/lib/Tooling/Core",
"//llvm/lib/IR",
"//llvm/lib/Support",
]
sources = [
"CodegenNameGenerator.cpp",
"CommentToXML.cpp",
"IndexBody.cpp",
"IndexDecl.cpp",
"IndexSymbol.cpp",
"IndexTypeSourceInfo.cpp",
"IndexingAction.cpp",
"IndexingContext.cpp",
"IndexingContext.h",
"SimpleFormatContext.h",
"USRGeneration.cpp",
]
}

llvm/trunk/utils/gn/secondary/clang/lib/StaticAnalyzer/Checkers/BUILD.gn

static_library("Checkers") {
output_name = "clangStaticAnalyzerCheckers"
configs += [ "//llvm/utils/gn/build:clang_code" ]
deps = [
"//clang/include/clang/StaticAnalyzer/Checkers",
"//clang/lib/AST",
"//clang/lib/ASTMatchers",
"//clang/lib/Analysis",
"//clang/lib/Basic",
"//clang/lib/Lex",
"//clang/lib/StaticAnalyzer/Core",
"//llvm/lib/Support",
]
sources = [
"AnalysisOrderChecker.cpp",
"AnalyzerStatsChecker.cpp",
"ArrayBoundChecker.cpp",
"ArrayBoundCheckerV2.cpp",
"BasicObjCFoundationChecks.cpp",
"BlockInCriticalSectionChecker.cpp",
"BoolAssignmentChecker.cpp",
"BuiltinFunctionChecker.cpp",
"CStringChecker.cpp",
"CStringSyntaxChecker.cpp",
"CXXSelfAssignmentChecker.cpp",
"CallAndMessageChecker.cpp",
"CastSizeChecker.cpp",
"CastToStructChecker.cpp",
"CheckObjCDealloc.cpp",
"CheckObjCInstMethSignature.cpp",
"CheckSecuritySyntaxOnly.cpp",
"CheckSizeofPointer.cpp",
"CheckerDocumentation.cpp",
"ChrootChecker.cpp",
"CloneChecker.cpp",
"ConversionChecker.cpp",
"DeadStoresChecker.cpp",
"DebugCheckers.cpp",
"DeleteWithNonVirtualDtorChecker.cpp",
"DereferenceChecker.cpp",
"DirectIvarAssignment.cpp",
"DivZeroChecker.cpp",
"DynamicTypeChecker.cpp",
"DynamicTypePropagation.cpp",
"EnumCastOutOfRangeChecker.cpp",
"ExprInspectionChecker.cpp",
"FixedAddressChecker.cpp",
"GCDAntipatternChecker.cpp",
"GTestChecker.cpp",
"GenericTaintChecker.cpp",
"IdenticalExprChecker.cpp",
"InnerPointerChecker.cpp",
"IteratorChecker.cpp",
"IvarInvalidationChecker.cpp",
"LLVMConventionsChecker.cpp",
"LocalizationChecker.cpp",
"MPI-Checker/MPIBugReporter.cpp",
"MPI-Checker/MPIChecker.cpp",
"MPI-Checker/MPIFunctionClassifier.cpp",
"MacOSKeychainAPIChecker.cpp",
"MacOSXAPIChecker.cpp",
"MallocChecker.cpp",
"MallocOverflowSecurityChecker.cpp",
"MallocSizeofChecker.cpp",
"MmapWriteExecChecker.cpp",
"MoveChecker.cpp",
"NSAutoreleasePoolChecker.cpp",
"NSErrorChecker.cpp",
"NoReturnFunctionChecker.cpp",
"NonNullParamChecker.cpp",
"NonnullGlobalConstantsChecker.cpp",
"NullabilityChecker.cpp",
"NumberObjectConversionChecker.cpp",
"ObjCAtSyncChecker.cpp",
"ObjCAutoreleaseWriteChecker.cpp",
"ObjCContainersASTChecker.cpp",
"ObjCContainersChecker.cpp",
"ObjCMissingSuperCallChecker.cpp",
"ObjCPropertyChecker.cpp",
"ObjCSelfInitChecker.cpp",
"ObjCSuperDeallocChecker.cpp",
"ObjCUnusedIVarsChecker.cpp",
"PaddingChecker.cpp",
"PointerArithChecker.cpp",
"PointerSubChecker.cpp",
"PthreadLockChecker.cpp",
"RetainCountChecker/RetainCountChecker.cpp",
"RetainCountChecker/RetainCountDiagnostics.cpp",
"ReturnPointerRangeChecker.cpp",
"ReturnUndefChecker.cpp",
"RunLoopAutoreleaseLeakChecker.cpp",
"SimpleStreamChecker.cpp",
"StackAddrEscapeChecker.cpp",
"StdLibraryFunctionsChecker.cpp",
"StreamChecker.cpp",
"TaintTesterChecker.cpp",
"TestAfterDivZeroChecker.cpp",
"TraversalChecker.cpp",
"TrustNonnullChecker.cpp",
"UndefBranchChecker.cpp",
"UndefCapturedBlockVarChecker.cpp",
"UndefResultChecker.cpp",
"UndefinedArraySubscriptChecker.cpp",
"UndefinedAssignmentChecker.cpp",
"UninitializedObject/UninitializedObjectChecker.cpp",
"UninitializedObject/UninitializedPointee.cpp",
"UnixAPIChecker.cpp",
"UnreachableCodeChecker.cpp",
"VLASizeChecker.cpp",
"ValistChecker.cpp",
"VforkChecker.cpp",
"VirtualCallChecker.cpp",
]
}

llvm/trunk/utils/gn/secondary/clang/lib/StaticAnalyzer/Core/BUILD.gn

static_library("Core") {
output_name = "clangStaticAnalyzerCore"
configs += [ "//llvm/utils/gn/build:clang_code" ]
deps = [
"//clang/include/clang/Config",
"//clang/lib/AST",
"//clang/lib/ASTMatchers",
"//clang/lib/Analysis",
"//clang/lib/Basic",
"//clang/lib/CrossTU",
"//clang/lib/Lex",
"//clang/lib/Rewrite",
"//llvm/lib/Support",
]
sources = [
"APSIntType.cpp",
"AnalysisManager.cpp",
"AnalyzerOptions.cpp",
"BasicValueFactory.cpp",
"BlockCounter.cpp",
"BugReporter.cpp",
"BugReporterVisitors.cpp",
"CallEvent.cpp",
"Checker.cpp",
"CheckerContext.cpp",
"CheckerHelpers.cpp",
"CheckerManager.cpp",
"CommonBugCategories.cpp",
"ConstraintManager.cpp",
"CoreEngine.cpp",
"DynamicTypeMap.cpp",
"Environment.cpp",
"ExplodedGraph.cpp",
"ExprEngine.cpp",
"ExprEngineC.cpp",
"ExprEngineCXX.cpp",
"ExprEngineCallAndReturn.cpp",
"ExprEngineObjC.cpp",
"FunctionSummary.cpp",
"HTMLDiagnostics.cpp",
"IssueHash.cpp",
"LoopUnrolling.cpp",
"LoopWidening.cpp",
"MemRegion.cpp",
"PathDiagnostic.cpp",
"PlistDiagnostics.cpp",
"ProgramState.cpp",
"RangeConstraintManager.cpp",
"RangedConstraintManager.cpp",
"RegionStore.cpp",
"RetainSummaryManager.cpp",
"SValBuilder.cpp",
"SVals.cpp",
"SarifDiagnostics.cpp",
"SimpleConstraintManager.cpp",
"SimpleSValBuilder.cpp",
"Store.cpp",
"SubEngine.cpp",
"SymbolManager.cpp",
"TaintManager.cpp",
"WorkList.cpp",
"Z3ConstraintManager.cpp",
]
# FIXME: clang/Config/BUILD.gn currently always sets CLANG_ANALYZER_WITH_Z3
# to false. If that changes we need to link to Z3 libs here.
}

llvm/trunk/utils/gn/secondary/clang/lib/StaticAnalyzer/Frontend/BUILD.gn

static_library("Frontend") {
output_name = "clangStaticAnalyzerFrontend"
configs += [ "//llvm/utils/gn/build:clang_code" ]
deps = [
"//clang/lib/AST",
"//clang/lib/Analysis",
"//clang/lib/Basic",
"//clang/lib/CrossTU",
"//clang/lib/Frontend",
"//clang/lib/Lex",
"//clang/lib/StaticAnalyzer/Checkers",
"//clang/lib/StaticAnalyzer/Core",
"//llvm/lib/Support",
]
sources = [
"AnalysisConsumer.cpp",
"CheckerRegistration.cpp",
"CheckerRegistry.cpp",
"FrontendActions.cpp",
"ModelConsumer.cpp",
"ModelInjector.cpp",
]
}