21 lines · c
1// RUN: %clang_analyze_cc1 -analyzer-checker=core \2// RUN: -analyzer-disable-all-checks -verify %s3//4// RUN: %clang_analyze_cc1 -analyzer-disable-all-checks -analyzer-checker=core \5// RUN: -verify %s6//7// RUN: %clang_analyze_cc1 -analyzer-disable-all-checks -verify %s8//9// RUN: not %clang_analyze_cc1 -analyzer-checker=core \10// RUN: -analyzer-disable-checker non.existant.Checker -verify %s 2>&1 \11// RUN: | FileCheck %s12//13// expected-no-diagnostics14 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 checkers17int buggy(void) {18 int x = 0;19 return 5/x; // no warning20}21