clang/test/Analysis/analyze-function-guide.cpp

   1 int fizzbuzz(int x, bool y) {
   2   return x + y;
   3 }
   4
   5 // C++ but not uses parentheses in the '-analyze-function' option.
   6 //
   7 // RUN: %clang_analyze_cc1 -analyzer-checker=core \
   8 // RUN:   -analyze-function='missing_fn' -x c++ \
   9 // RUN:   -triple x86_64-pc-linux-gnu 2>&1 %s \
  10 // RUN: | FileCheck %s -check-prefix=CHECK-CXX
  11 //
  12 // CHECK-CXX:      Every top-level function was skipped.
  13 // CHECK-CXX-NEXT: Pass the -analyzer-display-progress for tracking which functions are analyzed.
  14 // CHECK-CXX-NEXT: For analyzing C++ code you need to pass the function parameter list: -analyze-function="foobar(int, _Bool)"
  15
  16 // C but uses parentheses in the '-analyze-function' option.
  17 //
  18 // RUN: %clang_analyze_cc1 -analyzer-checker=core \
  19 // RUN:   -analyze-function='missing_fn()' -x c -Dbool=_Bool \
  20 // RUN:   -triple x86_64-pc-linux-gnu 2>&1 %s \
  21 // RUN: | FileCheck %s -check-prefix=CHECK-C
  22 //
  23 // CHECK-C:      Every top-level function was skipped.
  24 // CHECK-C-NEXT: Pass the -analyzer-display-progress for tracking which functions are analyzed.
  25 // CHECK-C-NEXT: For analyzing C code you shouldn't pass the function parameter list, only the name of the function: -analyze-function=foobar
  26
  27 // The user passed the '-analyzer-display-progress' option, we don't need to advocate it.
  28 //
  29 // RUN: %clang_analyze_cc1 -analyzer-checker=core \
  30 // RUN:   -analyze-function=missing_fn \
  31 // RUN:   -analyzer-display-progress -x c -Dbool=_Bool \
  32 // RUN:   -triple x86_64-pc-linux-gnu 2>&1 %s \
  33 // RUN: | FileCheck %s -check-prefix=CHECK-DONT-ADVOCATE-DISPLAY-PROGRESS
  34 //
  35 // CHECK-DONT-ADVOCATE-DISPLAY-PROGRESS:     Every top-level function was skipped.
  36 // CHECK-DONT-ADVOCATE-DISPLAY-PROGRESS-NOT: Pass the -analyzer-display-progress
  37
  38 // The user passed the '-analyze-function' option but that doesn't mach to any declaration.
  39 //
  40 // RUN: %clang_analyze_cc1 -analyzer-checker=core \
  41 // RUN:   -analyze-function='missing_fn()' -x c++ \
  42 // RUN:   -triple x86_64-pc-linux-gnu 2>&1 %s \
  43 // RUN: | FileCheck %s -check-prefix=CHECK-ADVOCATE-DISPLAY-PROGRESS
  44 //
  45 // CHECK-ADVOCATE-DISPLAY-PROGRESS:      Every top-level function was skipped.
  46 // CHECK-ADVOCATE-DISPLAY-PROGRESS-NEXT: Pass the -analyzer-display-progress for tracking which functions are analyzed.
  47 // CHECK-ADVOCATE-DISPLAY-PROGRESS-NOT:  For analyzing
  48
  49 // Same as the previous but syntax mode only.
  50 // FIXME: This should have empty standard output.
  51 //
  52 // RUN: %clang_analyze_cc1 -analyzer-checker=core -analyzer-config ipa=none \
  53 // RUN:   -analyze-function='fizzbuzz(int, _Bool)' -x c++ \
  54 // RUN:   -triple x86_64-pc-linux-gnu 2>&1 %s \
  55 // RUN: | FileCheck %s -check-prefix=CHECK-EMPTY3 --allow-empty
  56 //
  57 // FIXME: This should have empty standard output.
  58 // CHECK-EMPTY3:      Every top-level function was skipped.
  59 // CHECK-EMPTY3-NEXT: Pass the -analyzer-display-progress for tracking which functions are analyzed.