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