| Dominic Chen | 184c624 | 2017-03-03 18:02:02 +0000 | [diff] [blame] | 1 | // RUN: %clang_analyze_cc1 -triple x86_64-apple-darwin10 %s -o /dev/null -analyzer-checker=core -analyzer-list-enabled-checkers > %t 2>&1 |
| Gabor Horvath | c430990 | 2016-08-08 13:41:04 +0000 | [diff] [blame] | 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 | |