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