diff options
Diffstat (limited to 'test/Driver/analyzer-target-enabled-checkers.cpp')
-rw-r--r-- | test/Driver/analyzer-target-enabled-checkers.cpp | 60 |
1 files changed, 60 insertions, 0 deletions
diff --git a/test/Driver/analyzer-target-enabled-checkers.cpp b/test/Driver/analyzer-target-enabled-checkers.cpp new file mode 100644 index 0000000000000..e1706f675c3b1 --- /dev/null +++ b/test/Driver/analyzer-target-enabled-checkers.cpp @@ -0,0 +1,60 @@ +// 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=apiModeling" +// 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=apiModeling" +// 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=apiModeling" +// 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" |