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