clang/test/Analysis/analyzer-config.c

   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: alpha.unix.StdCLibraryFunctions:DisplayLoadedSummaries = false
  17 // CHECK-NEXT: alpha.unix.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 = true
  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