clang/test/Driver/ps4-ps5-analyzer-defaults.cpp

   1 // Check that the default analyzer checkers for PS4/PS5 are:
   2 //   core
   3 //   cplusplus
   4 //   deadcode
   5 //   nullability
   6 //   unix
   7 // Excluding:
   8 //   unix.API
   9 //   unix.Vfork
  10
  11 // Check for expected checkers
  12 // RUN: %clang -target x86_64-scei-ps4 --analyze %s -### 2>&1 \
  13 // RUN:   | FileCheck %s --check-prefix=CHECK-POS-CHECKERS
  14 // RUN: %clang -target x86_64-sie-ps5 --analyze %s -### 2>&1 \
  15 // RUN:   | FileCheck %s --check-prefix=CHECK-POS-CHECKERS
  16 //
  17 // Negative check for unexpected checkers
  18 // RUN: %clang -target x86_64-scei-ps4 --analyze %s -### 2>&1 \
  19 // RUN:   | FileCheck %s --check-prefix=CHECK-NEG-CHECKERS
  20 // RUN: %clang -target x86_64-sie-ps5 --analyze %s -### 2>&1 \
  21 // RUN:   | FileCheck %s --check-prefix=CHECK-NEG-CHECKERS
  22 //
  23 // Check for all unix checkers except API and Vfork
  24 // RUN: %clang -target x86_64-scei-ps4 --analyze %s -### 2>&1 \
  25 // RUN:   | FileCheck %s --check-prefix=CHECK-UNIX-CHECKERS
  26 // RUN: %clang -target x86_64-sie-ps5 --analyze %s -### 2>&1 \
  27 // RUN:   | FileCheck %s --check-prefix=CHECK-UNIX-CHECKERS
  28
  29 // CHECK-POS-CHECKERS-DAG: analyzer-checker=core
  30 // CHECK-POS-CHECKERS-DAG: analyzer-checker=cplusplus
  31 // CHECK-POS-CHECKERS-DAG: analyzer-checker=deadcode
  32 // CHECK-POS-CHECKERS-DAG: analyzer-checker=nullability
  33 //
  34 // CHECK-NEG-CHECKERS-NOT: analyzer-checker={{osx|security}}
  35 //
  36 // CHECK-UNIX-CHECKERS: analyzer-checker=unix
  37 // CHECK-UNIX-CHECKERS-DAG: analyzer-disable-checker=unix.API
  38 // CHECK-UNIX-CHECKERS-DAG: analyzer-disable-checker=unix.Vfork
  39 // CHECK-UNIX-CHECKERS-NOT: analyzer-checker=unix.{{API|Vfork}}