-
Devin Coughlin authored
The driver passes flags to cc1 that enable various checkers based on the target triple. This commit adds tests for these flags on Darwin, Linux, and Windows. This is a test-only change. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@289685 91177308-0d34-0410-b5e6-96231b3b80d8
Devin Coughlin authoredThe driver passes flags to cc1 that enable various checkers based on the target triple. This commit adds tests for these flags on Darwin, Linux, and Windows. This is a test-only change. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@289685 91177308-0d34-0410-b5e6-96231b3b80d8
Code owners
Assign users and groups as approvers for specific file changes. Learn more.
analyzer-target-enabled-checkers.cpp 3.13 KiB
// Tests for static analyzer checkers that the driver enables by default based
// on the target triple.
// RUN: %clang -### -target x86_64-apple-darwin10 --analyze %s 2>&1 | FileCheck --check-prefix=CHECK-DARWIN %s
// CHECK-DARWIN: "-analyzer-checker=core"
// CHECK-DARWIN-SAME: "-analyzer-checker=unix"
// CHECK-DARWIN-SAME: "-analyzer-checker=osx"
// CHECK-DARWIN-SAME: "-analyzer-checker=deadcode"
// CHECK-DARWIN-SAME: "-analyzer-checker=cplusplus"
// CHECK-DARWIN-SAME: "-analyzer-checker=security.insecureAPI.UncheckedReturn"
// CHECK-DARWIN-SAME: "-analyzer-checker=security.insecureAPI.getpw"
// CHECK-DARWIN-SAME: "-analyzer-checker=security.insecureAPI.gets"
// CHECK-DARWIN-SAME: "-analyzer-checker=security.insecureAPI.mktemp"
// CHECK-DARWIN-SAME: "-analyzer-checker=security.insecureAPI.mkstemp"
// CHECK-DARWIN-SAME: "-analyzer-checker=security.insecureAPI.vfork"
// CHECK-DARWIN-SAME: "-analyzer-checker=nullability.NullPassedToNonnull"
// CHECK-DARWIN-SAME: "-analyzer-checker=nullability.NullReturnedFromNonnull"
// RUN: %clang -### -target x86_64-unknown-linux --analyze %s 2>&1 | FileCheck --check-prefix=CHECK-LINUX %s
// CHECK-LINUX: "-analyzer-checker=core"
// CHECK-LINUX-SAME: "-analyzer-checker=unix"
// CHECK-LINUX-NOT: "-analyzer-checker=osx"
// CHECK-LINUX-SAME: "-analyzer-checker=deadcode"
// CHECK-LINUX-SAME: "-analyzer-checker=cplusplus"
// CHECK-LINUX-SAME: "-analyzer-checker=security.insecureAPI.UncheckedReturn"
// CHECK-LINUX-SAME: "-analyzer-checker=security.insecureAPI.getpw"
// CHECK-LINUX-SAME: "-analyzer-checker=security.insecureAPI.gets"
// CHECK-LINUX-SAME: "-analyzer-checker=security.insecureAPI.mktemp"
// CHECK-LINUX-SAME: "-analyzer-checker=security.insecureAPI.mkstemp"
// CHECK-LINUX-SAME: "-analyzer-checker=security.insecureAPI.vfork"
// CHECK-LINUX-SAME: "-analyzer-checker=nullability.NullPassedToNonnull"
// CHECK-LINUX-SAME: "-analyzer-checker=nullability.NullReturnedFromNonnull"
// RUN: %clang -### -target x86_64-windows --analyze %s 2>&1 | FileCheck --check-prefix=CHECK-WINDOWS %s
// CHECK-WINDOWS: "-analyzer-checker=core"
// CHECK-WINDOWS-SAME: "-analyzer-checker=unix.API"
// CHECK-WINDOWS-SAME: "-analyzer-checker=unix.Malloc"
// CHECK-WINDOWS-SAME: "-analyzer-checker=unix.MallocSizeof"
// CHECK-WINDOWS-SAME: "-analyzer-checker=unix.MismatchedDeallocator"
// CHECK-WINDOWS-SAME: "-analyzer-checker=unix.cstring.BadSizeArg"
// CHECK-WINDOWS-SAME: "-analyzer-checker=unix.cstring.NullArg"
// CHECK-WINDOWS-NOT: "-analyzer-checker=osx"
// CHECK-WINDOWS-SAME: "-analyzer-checker=deadcode"
// CHECK-WINDOWS-SAME: "-analyzer-checker=cplusplus"
// CHECK-WINDOWS-SAME: "-analyzer-checker=security.insecureAPI.UncheckedReturn"
// CHECK-WINDOWS-SAME: "-analyzer-checker=security.insecureAPI.getpw"
// CHECK-WINDOWS-SAME: "-analyzer-checker=security.insecureAPI.gets"
// CHECK-WINDOWS-SAME: "-analyzer-checker=security.insecureAPI.mktemp"
// CHECK-WINDOWS-SAME: "-analyzer-checker=security.insecureAPI.mkstemp"
// CHECK-WINDOWS-SAME: "-analyzer-checker=security.insecureAPI.vfork"
// CHECK-WINDOWS-SAME: "-analyzer-checker=nullability.NullPassedToNonnull"
// CHECK-WINDOWS-SAME: "-analyzer-checker=nullability.NullReturnedFromNonnull"