| 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 | |
|---|