| Anna Zaks | d5478fd | 2014-08-29 20:01:38 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -analyze -analyzer-checker=core -analyzer-store=region -analyzer-disable-all-checks -verify %s |
| 2 | // RUN: %clang_cc1 -analyze -analyzer-disable-all-checks -analyzer-checker=core -analyzer-store=region -verify %s |
| Anna Zaks | ae08e43 | 2014-08-29 21:51:22 +0000 | [diff] [blame] | 3 | // RUN: %clang --analyze -Xanalyzer -analyzer-disable-all-checks -Xclang -verify %s |
| Anna Zaks | d5478fd | 2014-08-29 20:01:38 +0000 | [diff] [blame] | 4 | // RUN: not %clang_cc1 -analyze -analyzer-checker=core -analyzer-store=region -analyzer-disable-checker -verify %s 2>&1 | FileCheck %s |
| 5 | // expected-no-diagnostics |
| 6 | |
| 7 | // CHECK: use -analyzer-disable-all-checks to disable all static analyzer checkers |
| 8 | int buggy() { |
| 9 | int x = 0; |
| 10 | return 5/x; // no warning |
| 11 | } |