view clang/test/Driver/ps4-analyzer-defaults.cpp @ 222:81f6424ef0e3 llvm-original

LLVM original branch
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Sun, 18 Jul 2021 22:10:01 +0900
parents 1d019706d866
children
line wrap: on
line source

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