disable-all-checks.c revision 176edba5311f6eff0cad2631449885ddf4fbc9ea
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
3// RUN: %clang --analyze -Xanalyzer -analyzer-disable-all-checks -Xclang -verify %s
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
8int buggy() {
9  int x = 0;
10  return 5/x; // no warning
11}