| 1 | // Same as invalid-analyzer-config-value.c but without -analyzer-config |
|---|
| 2 | // in the file name, so that argument string pattern matching |
|---|
| 3 | // didn't accidentally match it. |
|---|
| 4 | |
|---|
| 5 | // RUN: not %clang_analyze_cc1 -verify %s \ |
|---|
| 6 | // RUN: -analyzer-checker=core \ |
|---|
| 7 | // RUN: -analyzer-config notes-as-events=yesplease \ |
|---|
| 8 | // RUN: 2>&1 | FileCheck %s -check-prefix=CHECK-BOOL-INPUT |
|---|
| 9 | |
|---|
| 10 | // CHECK-BOOL-INPUT: (frontend): invalid input for analyzer-config option |
|---|
| 11 | // CHECK-BOOL-INPUT-SAME: 'notes-as-events', that expects a boolean value |
|---|
| 12 | |
|---|
| 13 | // RUN: %clang_analyze_cc1 -verify %s \ |
|---|
| 14 | // RUN: -analyzer-checker=core \ |
|---|
| 15 | // RUN: -analyzer-config-compatibility-mode=true \ |
|---|
| 16 | // RUN: -analyzer-config notes-as-events=yesplease |
|---|
| 17 | |
|---|
| 18 | |
|---|
| 19 | // RUN: not %clang_analyze_cc1 -verify %s \ |
|---|
| 20 | // RUN: -analyzer-checker=core \ |
|---|
| 21 | // RUN: -analyzer-config max-inlinable-size=400km/h \ |
|---|
| 22 | // RUN: 2>&1 | FileCheck %s -check-prefix=CHECK-UINT-INPUT |
|---|
| 23 | |
|---|
| 24 | // CHECK-UINT-INPUT: (frontend): invalid input for analyzer-config option |
|---|
| 25 | // CHECK-UINT-INPUT-SAME: 'max-inlinable-size', that expects an unsigned |
|---|
| 26 | // CHECK-UINT-INPUT-SAME: value |
|---|
| 27 | |
|---|
| 28 | // RUN: %clang_analyze_cc1 -verify %s \ |
|---|
| 29 | // RUN: -analyzer-checker=core \ |
|---|
| 30 | // RUN: -analyzer-config-compatibility-mode=true \ |
|---|
| 31 | // RUN: -analyzer-config max-inlinable-size=400km/h |
|---|
| 32 | |
|---|
| 33 | |
|---|
| 34 | // RUN: not %clang_analyze_cc1 -verify %s \ |
|---|
| 35 | // RUN: -analyzer-checker=core \ |
|---|
| 36 | // RUN: -analyzer-config ctu-dir=0123012301230123 \ |
|---|
| 37 | // RUN: 2>&1 | FileCheck %s -check-prefix=CHECK-FILENAME-INPUT |
|---|
| 38 | |
|---|
| 39 | // CHECK-FILENAME-INPUT: (frontend): invalid input for analyzer-config option |
|---|
| 40 | // CHECK-FILENAME-INPUT-SAME: 'ctu-dir', that expects a filename |
|---|
| 41 | // CHECK-FILENAME-INPUT-SAME: value |
|---|
| 42 | |
|---|
| 43 | // RUN: %clang_analyze_cc1 -verify %s \ |
|---|
| 44 | // RUN: -analyzer-checker=core \ |
|---|
| 45 | // RUN: -analyzer-config-compatibility-mode=true \ |
|---|
| 46 | // RUN: -analyzer-config ctu-dir=0123012301230123 |
|---|
| 47 | |
|---|
| 48 | |
|---|
| 49 | // RUN: not %clang_analyze_cc1 -verify %s \ |
|---|
| 50 | // RUN: -analyzer-checker=core \ |
|---|
| 51 | // RUN: -analyzer-config no-false-positives=true \ |
|---|
| 52 | // RUN: 2>&1 | FileCheck %s -check-prefix=CHECK-UNKNOWN-CFG |
|---|
| 53 | |
|---|
| 54 | // CHECK-UNKNOWN-CFG: (frontend): unknown analyzer-config 'no-false-positives' |
|---|
| 55 | |
|---|
| 56 | // RUN: %clang_analyze_cc1 -verify %s \ |
|---|
| 57 | // RUN: -analyzer-checker=core \ |
|---|
| 58 | // RUN: -analyzer-config-compatibility-mode=true \ |
|---|
| 59 | // RUN: -analyzer-config no-false-positives=true |
|---|
| 60 | |
|---|
| 61 | |
|---|
| 62 | // Test the driver properly using "analyzer-config-compatibility-mode=true", |
|---|
| 63 | // no longer causing an error on input error. |
|---|
| 64 | // RUN: %clang --analyze %s |
|---|
| 65 | |
|---|
| 66 | // RUN: not %clang --analyze %s \ |
|---|
| 67 | // RUN: -Xclang -analyzer-config -Xclang no-false-positives=true \ |
|---|
| 68 | // RUN: -Xclang -analyzer-config-compatibility-mode=false \ |
|---|
| 69 | // RUN: 2>&1 | FileCheck %s -check-prefix=CHECK-NO-COMPAT |
|---|
| 70 | |
|---|
| 71 | // CHECK-NO-COMPAT: error: unknown analyzer-config 'no-false-positives' |
|---|
| 72 | |
|---|
| 73 | // Test the driver properly using "analyzer-config-compatibility-mode=true", |
|---|
| 74 | // even if -analyze isn't specified. |
|---|
| 75 | // RUN: %clang -fsyntax-only -Xclang -analyzer-config\ |
|---|
| 76 | // RUN: -Xclang remember=TheVasa %s |
|---|
| 77 | // RUN: %clang -fsyntax-only -Xanalyzer -analyzer-config\ |
|---|
| 78 | // RUN: -Xanalyzer remember=TheVasa %s |
|---|
| 79 | // RUN: %clang --analyze -Xanalyzer -analyzer-config\ |
|---|
| 80 | // RUN: -Xanalyzer remember=TheVasa %s |
|---|
| 81 | |
|---|
| 82 | // expected-no-diagnostics |
|---|
| 83 | |
|---|
| 84 | int main() {} |
|---|
| 85 | |
|---|