• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1 // Check that the default analyzer checkers for PS4 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-PS4-POS-CHECKERS
14 //
15 // Negative check for unexpected checkers
16 // RUN: %clang -target x86_64-scei-ps4 --analyze %s -### 2>&1 \
17 // RUN:   | FileCheck %s --check-prefix=CHECK-PS4-NEG-CHECKERS
18 //
19 // Check for all unix checkers except API and Vfork
20 // RUN: %clang -target x86_64-scei-ps4 --analyze %s -### 2>&1 \
21 // RUN:   | FileCheck %s --check-prefix=CHECK-PS4-UNIX-CHECKERS
22 
23 // CHECK-PS4-POS-CHECKERS-DAG: analyzer-checker=core
24 // CHECK-PS4-POS-CHECKERS-DAG: analyzer-checker=cplusplus
25 // CHECK-PS4-POS-CHECKERS-DAG: analyzer-checker=deadcode
26 // CHECK-PS4-POS-CHECKERS-DAG: analyzer-checker=nullability
27 //
28 // CHECK-PS4-NEG-CHECKERS-NOT: analyzer-checker={{osx|security}}
29 //
30 // CHECK-PS4-UNIX-CHECKERS: analyzer-checker=unix
31 // CHECK-PS4-UNIX-CHECKERS-DAG: analyzer-disable-checker=unix.API
32 // CHECK-PS4-UNIX-CHECKERS-DAG: analyzer-disable-checker=unix.Vfork
33 // CHECK-PS4-UNIX-CHECKERS-NOT: analyzer-checker=unix.{{API|Vfork}}
34