Revert "[analyzer] Add a test for plugins using checker dependencies"

Buildbots don't seem to find the new plugin.

llvm-svn: 360805
This commit is contained in:
Kristof Umann 2019-05-15 20:19:51 +00:00
parent 7641f310d7
commit 750a45fe25
11 changed files with 15 additions and 89 deletions

View file

@ -3,6 +3,9 @@ if(NOT CLANG_BUILD_EXAMPLES)
set(EXCLUDE_FROM_ALL ON)
endif()
if(CLANG_ENABLE_STATIC_ANALYZER)
add_subdirectory(analyzer-plugin)
endif()
add_subdirectory(clang-interpreter)
add_subdirectory(PrintFunctionNames)
add_subdirectory(AnnotateFunctions)

View file

@ -1,13 +1,13 @@
#include "clang/StaticAnalyzer/Core/BugReporter/BugType.h"
#include "clang/StaticAnalyzer/Core/Checker.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
#include "clang/StaticAnalyzer/Core/BugReporter/BugType.h"
#include "clang/StaticAnalyzer/Frontend/CheckerRegistry.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
using namespace clang;
using namespace ento;
namespace {
class MainCallChecker : public Checker<check::PreStmt<CallExpr>> {
class MainCallChecker : public Checker < check::PreStmt<CallExpr> > {
mutable std::unique_ptr<BugType> BT;
public:
@ -15,8 +15,7 @@ public:
};
} // end anonymous namespace
void MainCallChecker::checkPreStmt(const CallExpr *CE,
CheckerContext &C) const {
void MainCallChecker::checkPreStmt(const CallExpr *CE, CheckerContext &C) const {
const Expr *Callee = CE->getCallee();
const FunctionDecl *FD = C.getSVal(Callee).getAsFunctionDecl();
@ -25,7 +24,7 @@ void MainCallChecker::checkPreStmt(const CallExpr *CE,
// Get the name of the callee.
IdentifierInfo *II = FD->getIdentifier();
if (!II) // if no identifier, not a simple C function
if (!II) // if no identifier, not a simple C function
return;
if (II->isStr("main")) {
@ -44,11 +43,12 @@ void MainCallChecker::checkPreStmt(const CallExpr *CE,
}
// Register plugin!
extern "C" void clang_registerCheckers(CheckerRegistry &registry) {
extern "C"
void clang_registerCheckers (CheckerRegistry &registry) {
registry.addChecker<MainCallChecker>(
"example.MainCallChecker", "Disallows calls to functions called main",
"");
}
extern "C" const char clang_analyzerAPIVersionString[] =
CLANG_ANALYZER_API_VERSION_STRING;
extern "C"
const char clang_analyzerAPIVersionString[] = CLANG_ANALYZER_API_VERSION_STRING;

View file

@ -1,8 +1,5 @@
// RUN: %clang_analyze_cc1 -verify %s \
// RUN: -load %llvmshlibdir/SampleAnalyzerPlugin%pluginext \
// RUN: -analyzer-checker='example.MainCallChecker'
// REQUIRES: plugins
// RUN: %clang_analyze_cc1 -load %llvmshlibdir/SampleAnalyzerPlugin%pluginext -analyzer-checker='example.MainCallChecker' -verify %s
// REQUIRES: plugins, examples
// Test that the MainCallChecker example analyzer plugin loads and runs.
@ -11,22 +8,3 @@ int main();
void caller() {
main(); // expected-warning {{call to main}}
}
// RUN: %clang_analyze_cc1 %s \
// RUN: -load %llvmshlibdir/CheckerDependencyHandlingAnalyzerPlugin%pluginext\
// RUN: -analyzer-checker=example.DependendentChecker \
// RUN: -analyzer-list-enabled-checkers \
// RUN: 2>&1 | FileCheck %s -check-prefix=CHECK-IMPLICITLY-ENABLED
// CHECK-IMPLICITLY-ENABLED: example.Dependency
// CHECK-IMPLICITLY-ENABLED: example.DependendentChecker
// RUN: %clang_analyze_cc1 %s \
// RUN: -load %llvmshlibdir/CheckerDependencyHandlingAnalyzerPlugin%pluginext\
// RUN: -analyzer-checker=example.DependendentChecker \
// RUN: -analyzer-disable-checker=example.Dependency \
// RUN: -analyzer-list-enabled-checkers \
// RUN: 2>&1 | FileCheck %s -check-prefix=CHECK-IMPLICITLY-DISABLED
// CHECK-IMPLICITLY-DISABLED-NOT: example.Dependency
// CHECK-IMPLICITLY-DISABLED-NOT: example.DependendentChecker

View file

@ -18,7 +18,5 @@ config.substitutions.append(('%diff_plist',
config.substitutions.append(('%diff_sarif',
'''diff -U1 -w -I ".*file:.*%basename_t" -I '"version":' -I "2\.0\.0\-csd\.[0-9]*\.beta\."'''))
config.excludes.add('plugins')
if not config.root.clang_staticanalyzer:
config.unsupported = True

View file

@ -1,10 +0,0 @@
add_subdirectory(SampleAnalyzer)
add_subdirectory(CheckerDependencyHandling)
set(CLANG_ANALYZER_PLUGIN_DEPS
SampleAnalyzerPlugin
CheckerDependencyHandlingAnalyzerPlugin
)
add_custom_target(clang-analyzer-plugin
DEPENDS ${CLANG_ANALYZER_PLUGIN_DEPS})

View file

@ -1,11 +0,0 @@
set(LLVM_EXPORTED_SYMBOL_FILE ${CMAKE_CURRENT_SOURCE_DIR}/CheckerDependencyHandlingAnalyzerPlugin.exports)
add_llvm_library(CheckerDependencyHandlingAnalyzerPlugin MODULE CheckerDependencyHandling.cpp PLUGIN_TOOL clang)
if(LLVM_ENABLE_PLUGINS AND (WIN32 OR CYGWIN))
target_link_libraries(CheckerDependencyHandlingAnalyzerPlugin PRIVATE
clangAnalysis
clangAST
clangStaticAnalyzerCore
LLVMSupport
)
endif()

View file

@ -1,28 +0,0 @@
#include "clang/StaticAnalyzer/Core/BugReporter/BugType.h"
#include "clang/StaticAnalyzer/Core/Checker.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
#include "clang/StaticAnalyzer/Frontend/CheckerRegistry.h"
using namespace clang;
using namespace ento;
namespace {
struct Dependency : public Checker<check::BeginFunction> {
void checkBeginFunction(CheckerContext &Ctx) const {}
};
struct DependendentChecker : public Checker<check::BeginFunction> {
void checkBeginFunction(CheckerContext &Ctx) const {}
};
} // end anonymous namespace
// Register plugin!
extern "C" void clang_registerCheckers(CheckerRegistry &registry) {
registry.addChecker<Dependency>("example.Dependency", "", "");
registry.addChecker<DependendentChecker>("example.DependendentChecker", "",
"");
registry.addDependency("example.DependendentChecker", "example.Dependency");
}
extern "C" const char clang_analyzerAPIVersionString[] =
CLANG_ANALYZER_API_VERSION_STRING;

View file

@ -1,2 +0,0 @@
clang_registerCheckers
clang_analyzerAPIVersionString

View file

@ -139,15 +139,13 @@ if (CLANG_ENABLE_STATIC_ANALYZER)
# check-all would launch those tests via check-clang.
set(EXCLUDE_FROM_ALL ON)
add_subdirectory(Analysis/plugins)
list(APPEND CLANG_TEST_DEPS clang-analyzer-plugin)
add_lit_testsuite(check-clang-analyzer "Running the Clang analyzer tests"
${CMAKE_CURRENT_BINARY_DIR}/Analysis
PARAMS ${ANALYZER_TEST_PARAMS}
DEPENDS ${CLANG_TEST_DEPS})
set_target_properties(check-clang-analyzer PROPERTIES FOLDER "Clang tests")
if (LLVM_WITH_Z3)
add_lit_testsuite(check-clang-analyzer-z3 "Running the Clang analyzer tests, using Z3 as a solver"
${CMAKE_CURRENT_BINARY_DIR}/Analysis