diff options
author | Devin Coughlin <dcoughlin@apple.com> | 2016-12-14 18:46:01 +0000 |
---|---|---|
committer | Devin Coughlin <dcoughlin@apple.com> | 2016-12-14 18:46:01 +0000 |
commit | 78c17385cb63cac391377d8ca7cd713bcfb88c61 (patch) | |
tree | 24cafcb8319fc315cec3f9ef1e8429ce56904dc2 /clang/test/Driver/analyzer-target-enabled-checkers.cpp | |
parent | 8fc1e89bbbdc888e555d0e5e770c924818bcf00a (diff) | |
download | bcm5719-llvm-78c17385cb63cac391377d8ca7cd713bcfb88c61.tar.gz bcm5719-llvm-78c17385cb63cac391377d8ca7cd713bcfb88c61.zip |
[Driver] Add tests for enabled static analyzer checkers.
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.
llvm-svn: 289685
Diffstat (limited to 'clang/test/Driver/analyzer-target-enabled-checkers.cpp')
-rw-r--r-- | clang/test/Driver/analyzer-target-enabled-checkers.cpp | 57 |
1 files changed, 57 insertions, 0 deletions
diff --git a/clang/test/Driver/analyzer-target-enabled-checkers.cpp b/clang/test/Driver/analyzer-target-enabled-checkers.cpp new file mode 100644 index 00000000000..7b3f1e27237 --- /dev/null +++ b/clang/test/Driver/analyzer-target-enabled-checkers.cpp @@ -0,0 +1,57 @@ +// 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" |