| 1 | // RUN: %clang_analyze_cc1 -triple x86_64-apple-darwin10 %s -o /dev/null -analyzer-checker=core -analyzer-list-enabled-checkers > %t 2>&1 |
|---|
| 2 | // RUN: FileCheck --input-file=%t %s |
|---|
| 3 | |
|---|
| 4 | // CHECK: OVERVIEW: Clang Static Analyzer Enabled Checkers List |
|---|
| 5 | // CHECK: core.CallAndMessage |
|---|
| 6 | // CHECK: core.DivideZero |
|---|
| 7 | // CHECK: core.DynamicTypePropagation |
|---|
| 8 | // CHECK: core.NonNullParamChecker |
|---|
| 9 | // CHECK: core.NullDereference |
|---|
| 10 | // CHECK: core.StackAddressEscape |
|---|
| 11 | // CHECK: core.UndefinedBinaryOperatorResult |
|---|
| 12 | // CHECK: core.VLASize |
|---|
| 13 | // CHECK: core.builtin.BuiltinFunctions |
|---|
| 14 | // CHECK: core.builtin.NoReturnFunctions |
|---|
| 15 | // CHECK: core.uninitialized.ArraySubscript |
|---|
| 16 | // CHECK: core.uninitialized.Assign |
|---|
| 17 | // CHECK: core.uninitialized.Branch |
|---|
| 18 | // CHECK: core.uninitialized.CapturedBlockVariable |
|---|
| 19 | // CHECK: core.uninitialized.UndefReturn |
|---|
| 20 | |
|---|
| 21 | |
|---|