34 lines
1.2 KiB
C++
34 lines
1.2 KiB
C++
|
// Check that the default analyzer checkers for PS4 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-PS4-POS-CHECKERS
|
||
|
|
//
|
||
|
|
// Negative check for unexpected checkers
|
||
|
|
// RUN: %clang -target x86_64-scei-ps4 --analyze %s -### 2>&1 \
|
||
|
|
// RUN: | FileCheck %s --check-prefix=CHECK-PS4-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-PS4-UNIX-CHECKERS
|
||
|
|
|
||
|
|
// CHECK-PS4-POS-CHECKERS-DAG: analyzer-checker=core
|
||
|
|
// CHECK-PS4-POS-CHECKERS-DAG: analyzer-checker=cplusplus
|
||
|
|
// CHECK-PS4-POS-CHECKERS-DAG: analyzer-checker=deadcode
|
||
|
|
// CHECK-PS4-POS-CHECKERS-DAG: analyzer-checker=nullability
|
||
|
|
//
|
||
|
|
// CHECK-PS4-NEG-CHECKERS-NOT: analyzer-checker={{osx|security}}
|
||
|
|
//
|
||
|
|
// CHECK-PS4-UNIX-CHECKERS: analyzer-checker=unix
|
||
|
|
// CHECK-PS4-UNIX-CHECKERS-DAG: analyzer-disable-checker=unix.API
|
||
|
|
// CHECK-PS4-UNIX-CHECKERS-DAG: analyzer-disable-checker=unix.Vfork
|
||
|
|
// CHECK-PS4-UNIX-CHECKERS-NOT: analyzer-checker=unix.{{API|Vfork}}
|