clang/test/Driver/analyzer-target-enabled-checkers.cpp

   1 // Tests for static analyzer checkers that the driver enables by default based
   2 // on the target triple.
   3
   4 // RUN: %clang -### -target x86_64-apple-darwin10 --analyze %s 2>&1 | FileCheck --check-prefix=CHECK-DARWIN %s
   5
   6 // CHECK-DARWIN: "-analyzer-checker=core"
   7 // CHECK-DARWIN-SAME: "-analyzer-checker=apiModeling"
   8 // CHECK-DARWIN-SAME: "-analyzer-checker=unix"
   9 // CHECK-DARWIN-SAME: "-analyzer-checker=osx"
  10 // CHECK-DARWIN-SAME: "-analyzer-checker=deadcode"
  11 // CHECK-DARWIN-SAME: "-analyzer-checker=cplusplus"
  12 // CHECK-DARWIN-SAME: "-analyzer-checker=security.insecureAPI.UncheckedReturn"
  13 // CHECK-DARWIN-SAME: "-analyzer-checker=security.insecureAPI.getpw"
  14 // CHECK-DARWIN-SAME: "-analyzer-checker=security.insecureAPI.gets"
  15 // CHECK-DARWIN-SAME: "-analyzer-checker=security.insecureAPI.mktemp"
  16 // CHECK-DARWIN-SAME: "-analyzer-checker=security.insecureAPI.mkstemp"
  17 // CHECK-DARWIN-SAME: "-analyzer-checker=security.insecureAPI.vfork"
  18 // CHECK-DARWIN-SAME: "-analyzer-checker=nullability.NullPassedToNonnull"
  19 // CHECK-DARWIN-SAME: "-analyzer-checker=nullability.NullReturnedFromNonnull"
  20
  21
  22 // RUN: %clang -### -target x86_64-unknown-linux --analyze %s 2>&1 | FileCheck --check-prefix=CHECK-LINUX %s
  23
  24 // CHECK-LINUX: "-analyzer-checker=core"
  25 // CHECK-LINUX-SAME: "-analyzer-checker=apiModeling"
  26 // CHECK-LINUX-SAME: "-analyzer-checker=unix"
  27 // CHECK-LINUX-NOT:  "-analyzer-checker=osx"
  28 // CHECK-LINUX-SAME: "-analyzer-checker=deadcode"
  29 // CHECK-LINUX-SAME: "-analyzer-checker=cplusplus"
  30 // CHECK-LINUX-SAME: "-analyzer-checker=security.insecureAPI.UncheckedReturn"
  31 // CHECK-LINUX-SAME: "-analyzer-checker=security.insecureAPI.getpw"
  32 // CHECK-LINUX-SAME: "-analyzer-checker=security.insecureAPI.gets"
  33 // CHECK-LINUX-SAME: "-analyzer-checker=security.insecureAPI.mktemp"
  34 // CHECK-LINUX-SAME: "-analyzer-checker=security.insecureAPI.mkstemp"
  35 // CHECK-LINUX-SAME: "-analyzer-checker=security.insecureAPI.vfork"
  36 // CHECK-LINUX-SAME: "-analyzer-checker=nullability.NullPassedToNonnull"
  37 // CHECK-LINUX-SAME: "-analyzer-checker=nullability.NullReturnedFromNonnull"
  38
  39
  40 // RUN: %clang -### -target x86_64-windows --analyze %s 2>&1 | FileCheck --check-prefix=CHECK-WINDOWS %s
  41
  42 // CHECK-WINDOWS: "-analyzer-checker=core"
  43 // CHECK-WINDOWS-SAME: "-analyzer-checker=apiModeling"
  44 // CHECK-WINDOWS-SAME: "-analyzer-checker=unix.API"
  45 // CHECK-WINDOWS-SAME: "-analyzer-checker=unix.Malloc"
  46 // CHECK-WINDOWS-SAME: "-analyzer-checker=unix.MallocSizeof"
  47 // CHECK-WINDOWS-SAME: "-analyzer-checker=unix.MismatchedDeallocator"
  48 // CHECK-WINDOWS-SAME: "-analyzer-checker=unix.cstring.BadSizeArg"
  49 // CHECK-WINDOWS-SAME: "-analyzer-checker=unix.cstring.NullArg"
  50 // CHECK-WINDOWS-NOT:  "-analyzer-checker=osx"
  51 // CHECK-WINDOWS-SAME: "-analyzer-checker=deadcode"
  52 // CHECK-WINDOWS-SAME: "-analyzer-checker=cplusplus"
  53 // CHECK-WINDOWS-SAME: "-analyzer-checker=security.insecureAPI.UncheckedReturn"
  54 // CHECK-WINDOWS-SAME: "-analyzer-checker=security.insecureAPI.getpw"
  55 // CHECK-WINDOWS-SAME: "-analyzer-checker=security.insecureAPI.gets"
  56 // CHECK-WINDOWS-SAME: "-analyzer-checker=security.insecureAPI.mktemp"
  57 // CHECK-WINDOWS-SAME: "-analyzer-checker=security.insecureAPI.mkstemp"
  58 // CHECK-WINDOWS-SAME: "-analyzer-checker=security.insecureAPI.vfork"
  59 // CHECK-WINDOWS-SAME: "-analyzer-checker=nullability.NullPassedToNonnull"
  60 // CHECK-WINDOWS-SAME: "-analyzer-checker=nullability.NullReturnedFromNonnull"