Home | History | Annotate | Download | only in Driver 
      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