| Sean Eveson | b38c32b | 2016-01-06 10:03:58 +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}}
|