1 // RUN: %clang_analyze_cc1 -analyzer-checker=core -analyzer-store=region \
2 // RUN: -analyzer-disable-all-checks -verify %s
3 //
4 // RUN: %clang_analyze_cc1 -analyzer-disable-all-checks -analyzer-checker=core \
5 // RUN: -analyzer-store=region -verify %s
6 //
7 // RUN: %clang_analyze_cc1 -analyzer-disable-all-checks -verify %s
8 //
9 // RUN: not %clang_analyze_cc1 -analyzer-checker=core -analyzer-store=region \
10 // RUN: -analyzer-disable-checker non.existant.Checker -verify %s 2>&1 \
11 // RUN: | FileCheck %s
12 //
13 // expected-no-diagnostics
14
15 // CHECK: no analyzer checkers or packages are associated with 'non.existant.Checker'
16 // CHECK: use -analyzer-disable-all-checks to disable all static analyzer checkers
buggy()17 int buggy() {
18 int x = 0;
19 return 5/x; // no warning
20 }
21