| Paul Robinson | 62cbe8c | 2019-07-08 22:35:30 +0000 | [diff] [blame] | 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}} |