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