| 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 are associated with 'non.existant.Checker' |
|---|
| 16 | // CHECK: use -analyzer-disable-all-checks to disable all static analyzer checkers |
|---|
| 17 | int buggy() { |
|---|
| 18 | int x = 0; |
|---|
| 19 | return 5/x; // no warning |
|---|
| 20 | } |
|---|
| 21 | |
|---|