| Kristof Umann | ac95c86 | 2019-05-23 22:52:09 +0000 | [diff] [blame] | 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 |
| Kristof Umann | e8df27d | 2019-05-23 20:47:28 +0000 | [diff] [blame] | 6 | |
| Kristof Umann | 7e55ed8 | 2019-05-23 22:07:16 +0000 | [diff] [blame] | 7 | // RUN: %clang_cc1 -analyzer-checker-option-help-developer \ |
| Kristof Umann | ac95c86 | 2019-05-23 22:52:09 +0000 | [diff] [blame] | 8 | // RUN: 2>&1 | FileCheck %s -check-prefix=CHECK-DEVELOPER |
| Kristof Umann | 7e55ed8 | 2019-05-23 22:07:16 +0000 | [diff] [blame] | 9 | |
| Kristof Umann | ac95c86 | 2019-05-23 22:52:09 +0000 | [diff] [blame] | 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 |
| Kristof Umann | 7e55ed8 | 2019-05-23 22:07:16 +0000 | [diff] [blame] | 13 | |
| Kristof Umann | ac95c86 | 2019-05-23 22:52:09 +0000 | [diff] [blame] | 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 |