143 lines · c
1// RUN: %clang_analyze_cc1 -analyzer-checker=debug.ConfigDumper > %t 2>&12// RUN: FileCheck --input-file=%t %s --match-full-lines3 4// CHECK: [config]5// CHECK-NEXT: add-pop-up-notes = true6// CHECK-NEXT: aggressive-binary-operation-simplification = false7// CHECK-NEXT: alpha.clone.CloneChecker:IgnoredFilesPattern = ""8// CHECK-NEXT: alpha.clone.CloneChecker:MinimumCloneComplexity = 509// CHECK-NEXT: alpha.clone.CloneChecker:ReportNormalClones = true10// CHECK-NEXT: alpha.cplusplus.STLAlgorithmModeling:AggressiveStdFindModeling = false11// CHECK-NEXT: alpha.osx.cocoa.DirectIvarAssignment:AnnotatedFunctions = false12// CHECK-NEXT: apply-fixits = false13// CHECK-NEXT: assume-at-least-one-iteration = false14// CHECK-NEXT: assume-controlled-environment = false15// CHECK-NEXT: avoid-suppressing-null-argument-paths = false16// CHECK-NEXT: c++-allocator-inlining = true17// CHECK-NEXT: c++-container-inlining = false18// CHECK-NEXT: c++-inlining = destructors19// CHECK-NEXT: c++-shared_ptr-inlining = false20// CHECK-NEXT: c++-stdlib-inlining = true21// CHECK-NEXT: c++-temp-dtor-inlining = true22// CHECK-NEXT: c++-template-inlining = true23// CHECK-NEXT: cfg-conditional-static-initializers = true24// CHECK-NEXT: cfg-expand-default-aggr-inits = false25// CHECK-NEXT: cfg-implicit-dtors = true26// CHECK-NEXT: cfg-lifetime = false27// CHECK-NEXT: cfg-loopexit = false28// CHECK-NEXT: cfg-rich-constructors = true29// CHECK-NEXT: cfg-scopes = false30// CHECK-NEXT: cfg-temporary-dtors = true31// CHECK-NEXT: core.BitwiseShift:Pedantic = false32// CHECK-NEXT: core.CallAndMessage:ArgInitializedness = true33// CHECK-NEXT: core.CallAndMessage:ArgPointeeInitializedness = false34// CHECK-NEXT: core.CallAndMessage:CXXDeallocationArg = true35// CHECK-NEXT: core.CallAndMessage:CXXThisMethodCall = true36// CHECK-NEXT: core.CallAndMessage:FunctionPointer = true37// CHECK-NEXT: core.CallAndMessage:NilReceiver = true38// CHECK-NEXT: core.CallAndMessage:ParameterCount = true39// CHECK-NEXT: core.CallAndMessage:UndefReceiver = true40// CHECK-NEXT: cplusplus.Move:WarnOn = KnownsAndLocals41// CHECK-NEXT: cplusplus.SmartPtrModeling:ModelSmartPtrDereference = false42// CHECK-NEXT: crosscheck-with-z3 = false43// CHECK-NEXT: crosscheck-with-z3-eqclass-timeout-threshold = 044// CHECK-NEXT: crosscheck-with-z3-max-attempts-per-query = 345// CHECK-NEXT: crosscheck-with-z3-rlimit-threshold = 046// CHECK-NEXT: crosscheck-with-z3-timeout-threshold = 1500047// CHECK-NEXT: ctu-dir = ""48// CHECK-NEXT: ctu-import-cpp-threshold = 849// CHECK-NEXT: ctu-import-threshold = 2450// CHECK-NEXT: ctu-index-name = externalDefMap.txt51// CHECK-NEXT: ctu-invocation-list = invocations.yaml52// CHECK-NEXT: ctu-max-nodes-min = 1000053// CHECK-NEXT: ctu-max-nodes-pct = 5054// CHECK-NEXT: ctu-phase1-inlining = small55// CHECK-NEXT: deadcode.DeadStores:ShowFixIts = false56// CHECK-NEXT: deadcode.DeadStores:WarnForDeadNestedAssignments = true57// CHECK-NEXT: debug.AnalysisOrder:* = false58// CHECK-NEXT: debug.AnalysisOrder:Bind = false59// CHECK-NEXT: debug.AnalysisOrder:EndAnalysis = false60// CHECK-NEXT: debug.AnalysisOrder:EndFunction = false61// CHECK-NEXT: debug.AnalysisOrder:EvalCall = false62// CHECK-NEXT: debug.AnalysisOrder:LiveSymbols = false63// CHECK-NEXT: debug.AnalysisOrder:NewAllocator = false64// CHECK-NEXT: debug.AnalysisOrder:PointerEscape = false65// CHECK-NEXT: debug.AnalysisOrder:PostCall = false66// CHECK-NEXT: debug.AnalysisOrder:PostStmtArraySubscriptExpr = false67// CHECK-NEXT: debug.AnalysisOrder:PostStmtCXXConstructExpr = false68// CHECK-NEXT: debug.AnalysisOrder:PostStmtCXXDeleteExpr = false69// CHECK-NEXT: debug.AnalysisOrder:PostStmtCXXNewExpr = false70// CHECK-NEXT: debug.AnalysisOrder:PostStmtCastExpr = false71// CHECK-NEXT: debug.AnalysisOrder:PostStmtOffsetOfExpr = false72// CHECK-NEXT: debug.AnalysisOrder:PreCall = false73// CHECK-NEXT: debug.AnalysisOrder:PreStmtArraySubscriptExpr = false74// CHECK-NEXT: debug.AnalysisOrder:PreStmtCXXConstructExpr = false75// CHECK-NEXT: debug.AnalysisOrder:PreStmtCXXDeleteExpr = false76// CHECK-NEXT: debug.AnalysisOrder:PreStmtCXXNewExpr = false77// CHECK-NEXT: debug.AnalysisOrder:PreStmtCastExpr = false78// CHECK-NEXT: debug.AnalysisOrder:PreStmtOffsetOfExpr = false79// CHECK-NEXT: debug.AnalysisOrder:RegionChanges = false80// CHECK-NEXT: display-checker-name = true81// CHECK-NEXT: display-ctu-progress = false82// CHECK-NEXT: dump-entry-point-stats-to-csv = ""83// CHECK-NEXT: eagerly-assume = true84// CHECK-NEXT: elide-constructors = true85// CHECK-NEXT: expand-macros = false86// CHECK-NEXT: experimental-enable-naive-ctu-analysis = false87// CHECK-NEXT: exploration_strategy = unexplored_first_queue88// CHECK-NEXT: faux-bodies = true89// CHECK-NEXT: graph-trim-interval = 100090// CHECK-NEXT: ignore-bison-generated-files = true91// CHECK-NEXT: ignore-flex-generated-files = true92// CHECK-NEXT: inline-functions-with-ambiguous-loops = false93// CHECK-NEXT: inline-lambdas = true94// CHECK-NEXT: ipa = dynamic-bifurcate95// CHECK-NEXT: ipa-always-inline-size = 396// CHECK-NEXT: max-inlinable-size = 10097// CHECK-NEXT: max-nodes = 22500098// CHECK-NEXT: max-symbol-complexity = 3599// CHECK-NEXT: max-tainted-symbol-complexity = 9100// CHECK-NEXT: max-times-inline-large = 32101// CHECK-NEXT: min-cfg-size-treat-functions-as-large = 14102// CHECK-NEXT: mode = deep103// CHECK-NEXT: model-path = ""104// CHECK-NEXT: notes-as-events = false105// CHECK-NEXT: nullability:NoDiagnoseCallsToSystemHeaders = false106// CHECK-NEXT: objc-inlining = true107// CHECK-NEXT: optin.cplusplus.UninitializedObject:CheckPointeeInitialization = false108// CHECK-NEXT: optin.cplusplus.UninitializedObject:IgnoreGuardedFields = false109// CHECK-NEXT: optin.cplusplus.UninitializedObject:IgnoreRecordsWithField = ""110// CHECK-NEXT: optin.cplusplus.UninitializedObject:NotesAsWarnings = false111// CHECK-NEXT: optin.cplusplus.UninitializedObject:Pedantic = false112// CHECK-NEXT: optin.cplusplus.VirtualCall:ShowFixIts = false113// CHECK-NEXT: optin.osx.cocoa.localizability.NonLocalizedStringChecker:AggressiveReport = false114// CHECK-NEXT: optin.performance.Padding:AllowedPad = 24115// CHECK-NEXT: optin.taint.TaintPropagation:Config = ""116// CHECK-NEXT: osx.NumberObjectConversion:Pedantic = false117// CHECK-NEXT: osx.cocoa.RetainCount:TrackNSCFStartParam = false118// CHECK-NEXT: prune-paths = true119// CHECK-NEXT: region-store-max-binding-fanout = 128120// CHECK-NEXT: region-store-small-array-limit = 5121// CHECK-NEXT: region-store-small-struct-limit = 2122// CHECK-NEXT: report-in-main-source-file = false123// CHECK-NEXT: security.cert.env.InvalidPtr:InvalidatingGetEnv = false124// CHECK-NEXT: serialize-stats = false125// CHECK-NEXT: silence-checkers = ""126// CHECK-NEXT: stable-report-filename = false127// CHECK-NEXT: support-symbolic-integer-casts = false128// CHECK-NEXT: suppress-c++-stdlib = true129// CHECK-NEXT: suppress-dereferences-from-any-address-space = true130// CHECK-NEXT: suppress-inlined-defensive-checks = true131// CHECK-NEXT: suppress-null-return-paths = true132// CHECK-NEXT: track-conditions = true133// CHECK-NEXT: track-conditions-debug = false134// CHECK-NEXT: unix.DynamicMemoryModeling:AddNoOwnershipChangeNotes = true135// CHECK-NEXT: unix.DynamicMemoryModeling:Optimistic = false136// CHECK-NEXT: unix.Errno:AllowErrnoReadOutsideConditionExpressions = true137// CHECK-NEXT: unix.StdCLibraryFunctions:DisplayLoadedSummaries = false138// CHECK-NEXT: unix.StdCLibraryFunctions:ModelPOSIX = true139// CHECK-NEXT: unix.Stream:Pedantic = false140// CHECK-NEXT: unroll-loops = false141// CHECK-NEXT: verbose-report-filename = false142// CHECK-NEXT: widen-loops = false143