clang/test/Analysis/disable-all-checks.c

   1 // RUN: %clang_analyze_cc1 -analyzer-checker=core \
   2 // RUN:   -analyzer-disable-all-checks -verify %s
   3 //
   4 // RUN: %clang_analyze_cc1 -analyzer-disable-all-checks -analyzer-checker=core \
   5 // RUN:   -verify %s
   6 //
   7 // RUN: %clang_analyze_cc1 -analyzer-disable-all-checks -verify %s
   8 //
   9 // RUN: not %clang_analyze_cc1 -analyzer-checker=core \
  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 or packages are associated with 'non.existant.Checker'
  16 // CHECK: use -analyzer-disable-all-checks to disable all static analyzer checkers
  17 int buggy(void) {
  18   int x = 0;
  19   return 5/x; // no warning
  20 }