diff options
Diffstat (limited to 'test/Analysis/disable-all-checks.c')
| -rw-r--r-- | test/Analysis/disable-all-checks.c | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/test/Analysis/disable-all-checks.c b/test/Analysis/disable-all-checks.c new file mode 100644 index 0000000..461e6d9 --- /dev/null +++ b/test/Analysis/disable-all-checks.c @@ -0,0 +1,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 +}
\ No newline at end of file |
