clang/test/Analysis/invalid-analyzer-config-value.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-INPUT
   5
   6 // CHECK-BOOL-INPUT: (frontend): invalid input for analyzer-config option
   7 // CHECK-BOOL-INPUT-SAME:        'notes-as-events', that expects a boolean value
   8
   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=yesplease
  13
  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-INPUT
  19
  20 // CHECK-UINT-INPUT: (frontend): invalid input for analyzer-config option
  21 // CHECK-UINT-INPUT-SAME:        'max-inlinable-size', that expects an unsigned
  22 // CHECK-UINT-INPUT-SAME:        value
  23
  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/h
  28
  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-INPUT
  34
  35 // CHECK-FILENAME-INPUT: (frontend): invalid input for analyzer-config option
  36 // CHECK-FILENAME-INPUT-SAME:        'ctu-dir', that expects a filename
  37 // CHECK-FILENAME-INPUT-SAME:        value
  38
  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=0123012301230123
  43
  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-CFG
  49
  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=true
  56
  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 %s
  61
  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-COMPAT
  66
  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 %s
  73 // RUN: %clang -fsyntax-only -Xanalyzer -analyzer-config\
  74 // RUN:                      -Xanalyzer remember=TheVasa %s
  75 // RUN: %clang --analyze -Xanalyzer -analyzer-config\
  76 // RUN:                  -Xanalyzer remember=TheVasa %s
  77
  78 // expected-no-diagnostics
  79
  80 int main(void) {}