clang/test/Analysis/invalid-a-na-ly-zer-con-fig-value.c

   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(void) {}