clang/test/Analysis/checker-plugins.c

   1 // REQUIRES: plugins
   2
   3 // FIXME: This test fails on clang-stage2-cmake-RgSan,
   4 // see also https://reviews.llvm.org/D62445#1613268
   5 // UNSUPPORTED: target={{.*darwin.*}}
   6
   7 // RUN: %clang_analyze_cc1 -verify %s \
   8 // RUN:   -load %llvmshlibdir/SampleAnalyzerPlugin%pluginext \
   9 // RUN:   -analyzer-checker='example.MainCallChecker'
  10
  11 // Test that the MainCallChecker example analyzer plugin loads and runs.
  12
  13 int main();
  14
  15 void caller() {
  16   main(); // expected-warning {{call to main}}
  17 }
  18
  19 // RUN: %clang_analyze_cc1 %s \
  20 // RUN:   -load %llvmshlibdir/CheckerDependencyHandlingAnalyzerPlugin%pluginext\
  21 // RUN:   -analyzer-checker=example.DependendentChecker \
  22 // RUN:   -analyzer-list-enabled-checkers \
  23 // RUN:   2>&1 | FileCheck %s -check-prefix=CHECK-IMPLICITLY-ENABLED
  24
  25 // CHECK-IMPLICITLY-ENABLED: example.Dependency
  26 // CHECK-IMPLICITLY-ENABLED: example.DependendentChecker
  27
  28 // RUN: %clang_analyze_cc1 %s \
  29 // RUN:   -load %llvmshlibdir/CheckerDependencyHandlingAnalyzerPlugin%pluginext\
  30 // RUN:   -analyzer-checker=example.DependendentChecker \
  31 // RUN:   -analyzer-disable-checker=example.Dependency \
  32 // RUN:   -analyzer-list-enabled-checkers \
  33 // RUN:   2>&1 | FileCheck %s -check-prefix=CHECK-IMPLICITLY-DISABLED
  34
  35 // CHECK-IMPLICITLY-DISABLED-NOT: example.Dependency
  36 // CHECK-IMPLICITLY-DISABLED-NOT: example.DependendentChecker
  37
  38 // RUN: %clang_analyze_cc1 %s \
  39 // RUN:   -load %llvmshlibdir/CheckerOptionHandlingAnalyzerPlugin%pluginext\
  40 // RUN:   -analyzer-checker=example.MyChecker \
  41 // RUN:   2>&1 | FileCheck %s -check-prefix=CHECK-CHECKER-OPTION-OUTPUT
  42
  43 // CHECK-CHECKER-OPTION-OUTPUT: Example option is set to false
  44
  45 // RUN: %clang_analyze_cc1 %s \
  46 // RUN:   -load %llvmshlibdir/CheckerOptionHandlingAnalyzerPlugin%pluginext\
  47 // RUN:   -analyzer-checker=example.MyChecker \
  48 // RUN:   -analyzer-config example.MyChecker:ExampleOption=true \
  49 // RUN:   2>&1 | FileCheck %s -check-prefix=CHECK-CHECKER-OPTION-OUTPUT-TRUE
  50
  51 // CHECK-CHECKER-OPTION-OUTPUT-TRUE: Example option is set to true
  52
  53 // RUN: %clang_analyze_cc1 %s \
  54 // RUN:   -load %llvmshlibdir/CheckerOptionHandlingAnalyzerPlugin%pluginext\
  55 // RUN:   -analyzer-checker=example.MyChecker \
  56 // RUN:   -analyzer-checker=debug.ConfigDumper \
  57 // RUN:   2>&1 | FileCheck %s -check-prefix=CHECK-CHECKER-OPTION
  58
  59 // CHECK-CHECKER-OPTION: example.MyChecker:ExampleOption = false
  60
  61 // RUN: %clang_analyze_cc1 %s \
  62 // RUN:   -load %llvmshlibdir/CheckerOptionHandlingAnalyzerPlugin%pluginext\
  63 // RUN:   -analyzer-checker=example.MyChecker \
  64 // RUN:   -analyzer-checker=debug.ConfigDumper \
  65 // RUN:   -analyzer-config example.MyChecker:ExampleOption=true \
  66 // RUN:   2>&1 | FileCheck %s -check-prefix=CHECK-CHECKER-OPTION-TRUE
  67
  68 // CHECK-CHECKER-OPTION-TRUE: example.MyChecker:ExampleOption = true
  69
  70 // RUN: not %clang_analyze_cc1 -verify %s \
  71 // RUN:   -load %llvmshlibdir/CheckerOptionHandlingAnalyzerPlugin%pluginext\
  72 // RUN:   -analyzer-checker=example.MyChecker \
  73 // RUN:   -analyzer-config example.MyChecker:Example=true \
  74 // RUN:   2>&1 | FileCheck %s -check-prefix=CHECK-NON-EXISTENT-CHECKER-OPTION
  75
  76 // CHECK-NON-EXISTENT-CHECKER-OPTION: (frontend): checker 'example.MyChecker'
  77 // CHECK-NON-EXISTENT-CHECKER-OPTION-SAME: has no option called 'Example'
  78
  79 // RUN: not %clang_analyze_cc1 -verify %s \
  80 // RUN:   -load %llvmshlibdir/CheckerOptionHandlingAnalyzerPlugin%pluginext\
  81 // RUN:   -analyzer-checker=example.MyChecker \
  82 // RUN:   -analyzer-config-compatibility-mode=true \
  83 // RUN:   -analyzer-config example.MyChecker:Example=true
  84
  85
  86 // RUN: not %clang_analyze_cc1 -verify %s \
  87 // RUN:   -load %llvmshlibdir/CheckerOptionHandlingAnalyzerPlugin%pluginext\
  88 // RUN:   -analyzer-checker=example.MyChecker \
  89 // RUN:   -analyzer-config example.MyChecker:ExampleOption=example \
  90 // RUN:   2>&1 | FileCheck %s -check-prefix=CHECK-INVALID-BOOL-VALUE
  91
  92 // CHECK-INVALID-BOOL-VALUE: (frontend): invalid input for checker option
  93 // CHECK-INVALID-BOOL-VALUE-SAME: 'example.MyChecker:ExampleOption', that
  94 // CHECK-INVALID-BOOL-VALUE-SAME: expects a boolean value
  95
  96 // RUN: not %clang_analyze_cc1 -verify %s \
  97 // RUN:   -load %llvmshlibdir/CheckerOptionHandlingAnalyzerPlugin%pluginext\
  98 // RUN:   -analyzer-checker=example.MyChecker \
  99 // RUN:   -analyzer-config-compatibility-mode=true \
 100 // RUN:   -analyzer-config example.MyChecker:ExampleOption=example
 101
 102 // RUN: %clang_analyze_cc1 %s \
 103 // RUN:   -load %llvmshlibdir/CheckerOptionHandlingAnalyzerPlugin%pluginext\
 104 // RUN:   -analyzer-checker=example.MyChecker \
 105 // RUN:   -analyzer-checker=debug.ConfigDumper \
 106 // RUN:   -analyzer-config-compatibility-mode=true \
 107 // RUN:   -analyzer-config example.MyChecker:ExampleOption=example \
 108 // RUN:   2>&1 | FileCheck %s -check-prefix=CHECK-CORRECTED-BOOL-VALUE
 109
 110 // CHECK-CORRECTED-BOOL-VALUE: example.MyChecker:ExampleOption = false
 111
 112 // RUN: %clang_analyze_cc1 %s \
 113 // RUN:   -load %llvmshlibdir/CheckerOptionHandlingAnalyzerPlugin%pluginext\
 114 // RUN:   -analyzer-checker=example.MyChecker \
 115 // RUN:   -analyzer-checker-option-help \
 116 // RUN:   2>&1 | FileCheck %s -check-prefix=CHECK-CHECKER-OPTION-HELP
 117
 118 // CHECK-CHECKER-OPTION-HELP: example.MyChecker:ExampleOption  (bool) This is an
 119 // CHECK-CHECKER-OPTION-HELP-SAME: example checker opt. (default:
 120 // CHECK-CHECKER-OPTION-HELP-NEXT: false)