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