Changeset View
Changeset View
Standalone View
Standalone View
clang/test/Analysis/auto-obj-dtors-cfg-output.cpp
| // RUN: %clang_analyze_cc1 -std=c++98 -fcxx-exceptions -fexceptions -analyzer-checker=debug.DumpCFG -analyzer-config cfg-rich-constructors=false %s > %t 2>&1 | // RUN: %clang_analyze_cc1 -std=c++98 -fcxx-exceptions -fexceptions -analyzer-checker=debug.DumpCFG -analyzer-config cfg-rich-constructors=false %s > %t 2>&1 | ||||
| // RUN: FileCheck --input-file=%t -check-prefixes=CHECK,CXX98,WARNINGS,CXX98-WARNINGS %s | // FIXME: automatically inserted -allow-unused-prefixes=true. Is the behavior intended? | ||||
| // RUN: FileCheck --input-file=%t -allow-unused-prefixes=true -check-prefixes=CHECK,CXX98,WARNINGS,CXX98-WARNINGS %s | |||||
| // RUN: %clang_analyze_cc1 -std=c++98 -fcxx-exceptions -fexceptions -analyzer-checker=debug.DumpCFG -analyzer-config cfg-rich-constructors=true %s > %t 2>&1 | // RUN: %clang_analyze_cc1 -std=c++98 -fcxx-exceptions -fexceptions -analyzer-checker=debug.DumpCFG -analyzer-config cfg-rich-constructors=true %s > %t 2>&1 | ||||
| // RUN: FileCheck --input-file=%t -check-prefixes=CHECK,CXX98,ANALYZER,CXX98-ANALYZER %s | // FIXME: automatically inserted -allow-unused-prefixes=true. Is the behavior intended? | ||||
| // RUN: FileCheck --input-file=%t -allow-unused-prefixes=true -check-prefixes=CHECK,CXX98,ANALYZER,CXX98-ANALYZER %s | |||||
| // RUN: %clang_analyze_cc1 -std=c++11 -fcxx-exceptions -fexceptions -analyzer-checker=debug.DumpCFG -analyzer-config cfg-rich-constructors=false %s > %t 2>&1 | // RUN: %clang_analyze_cc1 -std=c++11 -fcxx-exceptions -fexceptions -analyzer-checker=debug.DumpCFG -analyzer-config cfg-rich-constructors=false %s > %t 2>&1 | ||||
| // RUN: FileCheck --input-file=%t -check-prefixes=CHECK,CXX11,WARNINGS,CXX11-WARNINGS %s | // FIXME: automatically inserted -allow-unused-prefixes=true. Is the behavior intended? | ||||
| // RUN: FileCheck --input-file=%t -allow-unused-prefixes=true -check-prefixes=CHECK,CXX11,WARNINGS,CXX11-WARNINGS %s | |||||
| // RUN: %clang_analyze_cc1 -std=c++11 -fcxx-exceptions -fexceptions -analyzer-checker=debug.DumpCFG -analyzer-config cfg-rich-constructors=true %s > %t 2>&1 | // RUN: %clang_analyze_cc1 -std=c++11 -fcxx-exceptions -fexceptions -analyzer-checker=debug.DumpCFG -analyzer-config cfg-rich-constructors=true %s > %t 2>&1 | ||||
| // RUN: FileCheck --input-file=%t -check-prefixes=CHECK,CXX11,ANALYZER,CXX11-ANALYZER %s | // FIXME: automatically inserted -allow-unused-prefixes=true. Is the behavior intended? | ||||
| // RUN: FileCheck --input-file=%t -allow-unused-prefixes=true -check-prefixes=CHECK,CXX11,ANALYZER,CXX11-ANALYZER %s | |||||
| // This file tests how we construct two different flavors of the Clang CFG - | // This file tests how we construct two different flavors of the Clang CFG - | ||||
| // the CFG used by the Sema analysis-based warnings and the CFG used by the | // the CFG used by the Sema analysis-based warnings and the CFG used by the | ||||
| // static analyzer. The difference in the behavior is checked via FileCheck | // static analyzer. The difference in the behavior is checked via FileCheck | ||||
| // prefixes (WARNINGS and ANALYZER respectively). When introducing new analyzer | // prefixes (WARNINGS and ANALYZER respectively). When introducing new analyzer | ||||
| // flags, no new run lines should be added - just these flags would go to the | // flags, no new run lines should be added - just these flags would go to the | ||||
| // respective line depending on where is it turned on and where is it turned | // respective line depending on where is it turned on and where is it turned | ||||
| // off. Feel free to add tests that test only one of the CFG flavors if you're | // off. Feel free to add tests that test only one of the CFG flavors if you're | ||||
| ▲ Show 20 Lines • Show All 1,200 Lines • Show Last 20 Lines | |||||