Mercurial > hg > CbC > CbC_llvm
view clang/test/Driver/analyzer-target-enabled-checkers.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
// 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"