1 // RUN: %clang_analyze_cc1 -analyzer-checker=debug.ConfigDumper > %t 2>&1 2 // RUN: FileCheck --input-file=%t %s --match-full-lines 3 4 // CHECK: [config] 5 // CHECK-NEXT: add-pop-up-notes = true 6 // CHECK-NEXT: aggressive-binary-operation-simplification = false 7 // CHECK-NEXT: alpha.clone.CloneChecker:IgnoredFilesPattern = "" 8 // CHECK-NEXT: alpha.clone.CloneChecker:MinimumCloneComplexity = 50 9 // CHECK-NEXT: alpha.clone.CloneChecker:ReportNormalClones = true 10 // CHECK-NEXT: alpha.cplusplus.STLAlgorithmModeling:AggressiveStdFindModeling = false 11 // CHECK-NEXT: alpha.osx.cocoa.DirectIvarAssignment:AnnotatedFunctions = false 12 // CHECK-NEXT: alpha.security.MmapWriteExec:MmapProtExec = 0x04 13 // CHECK-NEXT: alpha.security.MmapWriteExec:MmapProtRead = 0x01 14 // CHECK-NEXT: alpha.security.taint.TaintPropagation:Config = "" 15 // CHECK-NEXT: alpha.unix.Errno:AllowErrnoReadOutsideConditionExpressions = true 16 // CHECK-NEXT: apiModeling.StdCLibraryFunctions:DisplayLoadedSummaries = false 17 // CHECK-NEXT: apiModeling.StdCLibraryFunctions:ModelPOSIX = false 18 // CHECK-NEXT: apply-fixits = false 19 // CHECK-NEXT: assume-controlled-environment = false 20 // CHECK-NEXT: avoid-suppressing-null-argument-paths = false 21 // CHECK-NEXT: c++-allocator-inlining = true 22 // CHECK-NEXT: c++-container-inlining = false 23 // CHECK-NEXT: c++-inlining = destructors 24 // CHECK-NEXT: c++-shared_ptr-inlining = false 25 // CHECK-NEXT: c++-stdlib-inlining = true 26 // CHECK-NEXT: c++-temp-dtor-inlining = true 27 // CHECK-NEXT: c++-template-inlining = true 28 // CHECK-NEXT: cfg-conditional-static-initializers = true 29 // CHECK-NEXT: cfg-expand-default-aggr-inits = false 30 // CHECK-NEXT: cfg-implicit-dtors = true 31 // CHECK-NEXT: cfg-lifetime = false 32 // CHECK-NEXT: cfg-loopexit = false 33 // CHECK-NEXT: cfg-rich-constructors = true 34 // CHECK-NEXT: cfg-scopes = false 35 // CHECK-NEXT: cfg-temporary-dtors = true 36 // CHECK-NEXT: consider-single-element-arrays-as-flexible-array-members = false 37 // CHECK-NEXT: core.CallAndMessage:ArgInitializedness = true 38 // CHECK-NEXT: core.CallAndMessage:ArgPointeeInitializedness = false 39 // CHECK-NEXT: core.CallAndMessage:CXXDeallocationArg = true 40 // CHECK-NEXT: core.CallAndMessage:CXXThisMethodCall = true 41 // CHECK-NEXT: core.CallAndMessage:FunctionPointer = true 42 // CHECK-NEXT: core.CallAndMessage:NilReceiver = true 43 // CHECK-NEXT: core.CallAndMessage:ParameterCount = true 44 // CHECK-NEXT: core.CallAndMessage:UndefReceiver = true 45 // CHECK-NEXT: core.NullDereference:SuppressAddressSpaces = true 46 // CHECK-NEXT: cplusplus.Move:WarnOn = KnownsAndLocals 47 // CHECK-NEXT: cplusplus.SmartPtrModeling:ModelSmartPtrDereference = false 48 // CHECK-NEXT: crosscheck-with-z3 = false 49 // CHECK-NEXT: ctu-dir = "" 50 // CHECK-NEXT: ctu-import-cpp-threshold = 8 51 // CHECK-NEXT: ctu-import-threshold = 24 52 // CHECK-NEXT: ctu-index-name = externalDefMap.txt 53 // CHECK-NEXT: ctu-invocation-list = invocations.yaml 54 // CHECK-NEXT: ctu-max-nodes-min = 10000 55 // CHECK-NEXT: ctu-max-nodes-pct = 50 56 // CHECK-NEXT: ctu-phase1-inlining = small 57 // CHECK-NEXT: deadcode.DeadStores:ShowFixIts = false 58 // CHECK-NEXT: deadcode.DeadStores:WarnForDeadNestedAssignments = true 59 // CHECK-NEXT: debug.AnalysisOrder:* = false 60 // CHECK-NEXT: debug.AnalysisOrder:Bind = false 61 // CHECK-NEXT: debug.AnalysisOrder:EndAnalysis = false 62 // CHECK-NEXT: debug.AnalysisOrder:EndFunction = false 63 // CHECK-NEXT: debug.AnalysisOrder:EvalCall = false 64 // CHECK-NEXT: debug.AnalysisOrder:LiveSymbols = false 65 // CHECK-NEXT: debug.AnalysisOrder:NewAllocator = false 66 // CHECK-NEXT: debug.AnalysisOrder:PointerEscape = false 67 // CHECK-NEXT: debug.AnalysisOrder:PostCall = false 68 // CHECK-NEXT: debug.AnalysisOrder:PostStmtArraySubscriptExpr = false 69 // CHECK-NEXT: debug.AnalysisOrder:PostStmtCXXConstructExpr = false 70 // CHECK-NEXT: debug.AnalysisOrder:PostStmtCXXDeleteExpr = false 71 // CHECK-NEXT: debug.AnalysisOrder:PostStmtCXXNewExpr = false 72 // CHECK-NEXT: debug.AnalysisOrder:PostStmtCastExpr = false 73 // CHECK-NEXT: debug.AnalysisOrder:PostStmtOffsetOfExpr = false 74 // CHECK-NEXT: debug.AnalysisOrder:PreCall = false 75 // CHECK-NEXT: debug.AnalysisOrder:PreStmtArraySubscriptExpr = false 76 // CHECK-NEXT: debug.AnalysisOrder:PreStmtCXXConstructExpr = false 77 // CHECK-NEXT: debug.AnalysisOrder:PreStmtCXXDeleteExpr = false 78 // CHECK-NEXT: debug.AnalysisOrder:PreStmtCXXNewExpr = false 79 // CHECK-NEXT: debug.AnalysisOrder:PreStmtCastExpr = false 80 // CHECK-NEXT: debug.AnalysisOrder:PreStmtOffsetOfExpr = false 81 // CHECK-NEXT: debug.AnalysisOrder:RegionChanges = false 82 // CHECK-NEXT: display-checker-name = true 83 // CHECK-NEXT: display-ctu-progress = false 84 // CHECK-NEXT: eagerly-assume = true 85 // CHECK-NEXT: elide-constructors = true 86 // CHECK-NEXT: expand-macros = false 87 // CHECK-NEXT: experimental-enable-naive-ctu-analysis = false 88 // CHECK-NEXT: exploration_strategy = unexplored_first_queue 89 // CHECK-NEXT: faux-bodies = true 90 // CHECK-NEXT: graph-trim-interval = 1000 91 // CHECK-NEXT: ignore-bison-generated-files = true 92 // CHECK-NEXT: ignore-flex-generated-files = true 93 // CHECK-NEXT: inline-lambdas = true 94 // CHECK-NEXT: ipa = dynamic-bifurcate 95 // CHECK-NEXT: ipa-always-inline-size = 3 96 // CHECK-NEXT: max-inlinable-size = 100 97 // CHECK-NEXT: max-nodes = 225000 98 // CHECK-NEXT: max-symbol-complexity = 35 99 // CHECK-NEXT: max-times-inline-large = 32 100 // CHECK-NEXT: min-cfg-size-treat-functions-as-large = 14 101 // CHECK-NEXT: mode = deep 102 // CHECK-NEXT: model-path = "" 103 // CHECK-NEXT: notes-as-events = false 104 // CHECK-NEXT: nullability:NoDiagnoseCallsToSystemHeaders = false 105 // CHECK-NEXT: objc-inlining = true 106 // CHECK-NEXT: optin.cplusplus.UninitializedObject:CheckPointeeInitialization = false 107 // CHECK-NEXT: optin.cplusplus.UninitializedObject:IgnoreGuardedFields = false 108 // CHECK-NEXT: optin.cplusplus.UninitializedObject:IgnoreRecordsWithField = "" 109 // CHECK-NEXT: optin.cplusplus.UninitializedObject:NotesAsWarnings = false 110 // CHECK-NEXT: optin.cplusplus.UninitializedObject:Pedantic = false 111 // CHECK-NEXT: optin.cplusplus.VirtualCall:PureOnly = false 112 // CHECK-NEXT: optin.cplusplus.VirtualCall:ShowFixIts = false 113 // CHECK-NEXT: optin.osx.cocoa.localizability.NonLocalizedStringChecker:AggressiveReport = false 114 // CHECK-NEXT: optin.performance.Padding:AllowedPad = 24 115 // CHECK-NEXT: osx.NumberObjectConversion:Pedantic = false 116 // CHECK-NEXT: osx.cocoa.RetainCount:TrackNSCFStartParam = false 117 // CHECK-NEXT: prune-paths = true 118 // CHECK-NEXT: region-store-small-array-limit = 5 119 // CHECK-NEXT: region-store-small-struct-limit = 2 120 // CHECK-NEXT: report-in-main-source-file = false 121 // CHECK-NEXT: serialize-stats = false 122 // CHECK-NEXT: silence-checkers = "" 123 // CHECK-NEXT: stable-report-filename = false 124 // CHECK-NEXT: support-symbolic-integer-casts = false 125 // CHECK-NEXT: suppress-c++-stdlib = true 126 // CHECK-NEXT: suppress-inlined-defensive-checks = true 127 // CHECK-NEXT: suppress-null-return-paths = true 128 // CHECK-NEXT: track-conditions = true 129 // CHECK-NEXT: track-conditions-debug = false 130 // CHECK-NEXT: unix.DynamicMemoryModeling:AddNoOwnershipChangeNotes = true 131 // CHECK-NEXT: unix.DynamicMemoryModeling:Optimistic = false 132 // CHECK-NEXT: unroll-loops = false 133 // CHECK-NEXT: verbose-report-filename = false 134 // CHECK-NEXT: widen-loops = false 135