1 // RUN: %clang_cc1 -analyzer-checker-option-help \ 2 // RUN: 2>&1 | FileCheck %s -check-prefix=CHECK-STABLE 3 4 // RUN: %clang_cc1 -analyzer-checker-option-help-alpha \ 5 // RUN: 2>&1 | FileCheck %s -check-prefix=CHECK-ALPHA 6 7 // RUN: %clang_cc1 -analyzer-checker-option-help-developer \ 8 // RUN: 2>&1 | FileCheck %s -check-prefix=CHECK-DEVELOPER 9 10 // RUN: %clang_cc1 -analyzer-checker-option-help-developer \ 11 // RUN: -analyzer-checker-option-help-alpha \ 12 // RUN: 2>&1 | FileCheck %s -check-prefix=CHECK-DEVELOPER-ALPHA 13 14 // RUN: %clang_cc1 -analyzer-checker-option-help \ 15 // RUN: -analyzer-checker-option-help-alpha \ 16 // RUN: 2>&1 | FileCheck %s -check-prefix=CHECK-STABLE-ALPHA 17 18 // RUN: %clang_cc1 -analyzer-checker-option-help \ 19 // RUN: -analyzer-checker-option-help-developer \ 20 // RUN: 2>&1 | FileCheck %s -check-prefix=CHECK-STABLE-DEVELOPER 21 22 // RUN: %clang_cc1 -analyzer-checker-option-help \ 23 // RUN: -analyzer-checker-option-help-alpha \ 24 // RUN: -analyzer-checker-option-help-developer \ 25 // RUN: 2>&1 | FileCheck %s -check-prefix=CHECK-STABLE-ALPHA-DEVELOPER 26 27 // CHECK-STABLE: OVERVIEW: Clang Static Analyzer Checker and Package Option List 28 // 29 // CHECK-STABLE: USAGE: -analyzer-config <OPTION1=VALUE,OPTION2=VALUE,...> 30 // 31 // CHECK-STABLE: -analyzer-config OPTION1=VALUE, -analyzer-config 32 // CHECK-STABLE-SAME: OPTION2=VALUE, ... 33 // 34 // CHECK-STABLE: OPTIONS: 35 // 36 // CHECK-STABLE: cplusplus.Move:WarnOn 37 // CHECK-STABLE-SAME: (string) In non-aggressive mode, only warn 38 // CHECK-STABLLE: on use-after-move of local variables (or 39 // CHECK-STABLLE: local rvalue references) and of STL objects. 40 // CHECK-STABLLE: The former is possible because local variables 41 // CHECK-STABLLE: (or local rvalue references) are not tempting 42 // CHECK-STABLLE: their user to re-use the storage. The latter 43 // CHECK-STABLLE: is possible because STL objects are known 44 // CHECK-STABLLE: to end up in a valid but unspecified state 45 // CHECK-STABLLE: after the move and their state-reset methods 46 // CHECK-STABLLE: are also known, which allows us to predict 47 // CHECK-STABLLE: precisely when use-after-move is invalid. 48 // CHECK-STABLLE: Some STL objects are known to conform to 49 // CHECK-STABLLE: additional contracts after move, so they 50 // CHECK-STABLLE: are not tracked. However, smart pointers 51 // CHECK-STABLLE: specifically are tracked because we can 52 // CHECK-STABLLE: perform extra checking over them. In aggressive 53 // CHECK-STABLLE: mode, warn on any use-after-move because 54 // CHECK-STABLLE: the user has intentionally asked us to completely 55 // CHECK-STABLLE: eliminate use-after-move in his code. Values: 56 // CHECK-STABLLE: "KnownsOnly", "KnownsAndLocals", "All". 57 // CHECK-STABLLE: (default: KnownsAndLocals) 58 59 // CHECK-STABLE-NOT: debug.AnalysisOrder:* 60 // CHECK-DEVELOPER: debug.AnalysisOrder:* 61 // CHECK-ALPHA-NOT: debug.AnalysisOrder:* 62 63 // CHECK-STABLE-NOT: optin.cplusplus.UninitializedObject:IgnoreGuardedFields 64 // CHECK-DEVELOPER-NOT: optin.cplusplus.UninitializedObject:IgnoreGuardedFields 65 // CHECK-ALPHA: optin.cplusplus.UninitializedObject:IgnoreGuardedFields 66 67 // CHECK-STABLE: optin.performance.Padding:AllowedPad 68 // CHECK-DEVELOPER-NOT: optin.performance.Padding:AllowedPad 69 // CHECK-ALPHA-NOT: optin.performance.Padding:AllowedPad 70 71 72 // CHECK-STABLE-ALPHA-NOT: debug.AnalysisOrder:* 73 // CHECK-DEVELOPER-ALPHA: debug.AnalysisOrder:* 74 // CHECK-STABLE-DEVELOPER: debug.AnalysisOrder:* 75 76 // CHECK-STABLE-ALPHA: optin.cplusplus.UninitializedObject:IgnoreGuardedFields 77 // CHECK-DEVELOPER-ALPHA: optin.cplusplus.UninitializedObject:IgnoreGuardedFields 78 // CHECK-STABLE-DEVELOPER-NOT: optin.cplusplus.UninitializedObject:IgnoreGuardedFields 79 80 // CHECK-STABLE-ALPHA: optin.performance.Padding:AllowedPad 81 // CHECK-DEVELOPER-ALPHA-NOT: optin.performance.Padding:AllowedPad 82 // CHECK-STABLE-DEVELOPER: optin.performance.Padding:AllowedPad 83 84 85 // CHECK-STABLE-ALPHA-DEVELOPER: debug.AnalysisOrder:* 86 // CHECK-STABLE-ALPHA-DEVELOPER: optin.cplusplus.UninitializedObject:IgnoreGuardedFields 87 // CHECK-STABLE-ALPHA-DEVELOPER: optin.performance.Padding:AllowedPad 88