81 lines · c
1// RUN: not %clang_analyze_cc1 -verify %s \2// RUN: -analyzer-checker=core \3// RUN: -analyzer-config notes-as-events=yesplease \4// RUN: 2>&1 | FileCheck %s -check-prefix=CHECK-BOOL-INPUT5 6// CHECK-BOOL-INPUT: (frontend): invalid input for analyzer-config option7// CHECK-BOOL-INPUT-SAME: 'notes-as-events', that expects a boolean value8 9// RUN: %clang_analyze_cc1 -verify %s \10// RUN: -analyzer-checker=core \11// RUN: -analyzer-config-compatibility-mode=true \12// RUN: -analyzer-config notes-as-events=yesplease13 14 15// RUN: not %clang_analyze_cc1 -verify %s \16// RUN: -analyzer-checker=core \17// RUN: -analyzer-config max-inlinable-size=400km/h \18// RUN: 2>&1 | FileCheck %s -check-prefix=CHECK-UINT-INPUT19 20// CHECK-UINT-INPUT: (frontend): invalid input for analyzer-config option21// CHECK-UINT-INPUT-SAME: 'max-inlinable-size', that expects an unsigned22// CHECK-UINT-INPUT-SAME: value23 24// RUN: %clang_analyze_cc1 -verify %s \25// RUN: -analyzer-checker=core \26// RUN: -analyzer-config-compatibility-mode=true \27// RUN: -analyzer-config max-inlinable-size=400km/h28 29 30// RUN: not %clang_analyze_cc1 -verify %s \31// RUN: -analyzer-checker=core \32// RUN: -analyzer-config ctu-dir=0123012301230123 \33// RUN: 2>&1 | FileCheck %s -check-prefix=CHECK-FILENAME-INPUT34 35// CHECK-FILENAME-INPUT: (frontend): invalid input for analyzer-config option36// CHECK-FILENAME-INPUT-SAME: 'ctu-dir', that expects a filename37// CHECK-FILENAME-INPUT-SAME: value38 39// RUN: %clang_analyze_cc1 -verify %s \40// RUN: -analyzer-checker=core \41// RUN: -analyzer-config-compatibility-mode=true \42// RUN: -analyzer-config ctu-dir=012301230123012343 44 45// RUN: not %clang_analyze_cc1 -verify %s \46// RUN: -analyzer-checker=core \47// RUN: -analyzer-config no-false-positives=true \48// RUN: 2>&1 | FileCheck %s -check-prefix=CHECK-UNKNOWN-CFG49 50// CHECK-UNKNOWN-CFG: (frontend): unknown analyzer-config 'no-false-positives'51 52// RUN: %clang_analyze_cc1 -verify %s \53// RUN: -analyzer-checker=core \54// RUN: -analyzer-config-compatibility-mode=true \55// RUN: -analyzer-config no-false-positives=true56 57 58// Test the driver properly using "analyzer-config-compatibility-mode=true",59// no longer causing an error on input error.60// RUN: %clang --analyze %s61 62// RUN: not %clang --analyze %s \63// RUN: -Xclang -analyzer-config -Xclang no-false-positives=true \64// RUN: -Xclang -analyzer-config-compatibility-mode=false \65// RUN: 2>&1 | FileCheck %s -check-prefix=CHECK-NO-COMPAT66 67// CHECK-NO-COMPAT: error: unknown analyzer-config 'no-false-positives'68 69// Test the driver properly using "analyzer-config-compatibility-mode=true",70// even if -analyze isn't specified.71// RUN: %clang -fsyntax-only -Xclang -analyzer-config\72// RUN: -Xclang remember=TheVasa %s73// RUN: %clang -fsyntax-only -Xanalyzer -analyzer-config\74// RUN: -Xanalyzer remember=TheVasa %s75// RUN: %clang --analyze -Xanalyzer -analyzer-config\76// RUN: -Xanalyzer remember=TheVasa %s77 78// expected-no-diagnostics79 80int main(void) {}81