1*0a6a1f1dSLionel Sambuc // RUN: %clang_cc1 -analyze -analyzer-checker=core -analyzer-store=region -analyzer-disable-all-checks -verify %s
2*0a6a1f1dSLionel Sambuc // RUN: %clang_cc1 -analyze -analyzer-disable-all-checks -analyzer-checker=core -analyzer-store=region -verify %s
3*0a6a1f1dSLionel Sambuc // RUN: %clang --analyze -Xanalyzer -analyzer-disable-all-checks -Xclang -verify %s
4*0a6a1f1dSLionel Sambuc // RUN: not %clang_cc1 -analyze -analyzer-checker=core -analyzer-store=region -analyzer-disable-checker -verify %s 2>&1 | FileCheck %s
5*0a6a1f1dSLionel Sambuc // expected-no-diagnostics
6*0a6a1f1dSLionel Sambuc
7*0a6a1f1dSLionel Sambuc // CHECK: use -analyzer-disable-all-checks to disable all static analyzer checkers
buggy()8*0a6a1f1dSLionel Sambuc int buggy() {
9*0a6a1f1dSLionel Sambuc int x = 0;
10*0a6a1f1dSLionel Sambuc return 5/x; // no warning
11*0a6a1f1dSLionel Sambuc }