#include "clang/StaticAnalyzer/BugReporter/BugReporter.h"
// FIXME: Restructure checker registration.
-#include "Checkers/ExprEngineExperimentalChecks.h"
+#include "Checkers/ExperimentalChecks.h"
#include "clang/Basic/SourceManager.h"
#include "llvm/ADT/SmallPtrSet.h"
#include "clang/StaticAnalyzer/PathDiagnosticClients.h"
// FIXME: Restructure checker registration.
-#include "ExprEngineExperimentalChecks.h"
+#include "ExperimentalChecks.h"
#include "InternalChecks.h"
#include "clang/Basic/FileManager.h"
//
//===----------------------------------------------------------------------===//
-#include "ExprEngineExperimentalChecks.h"
+#include "ExperimentalChecks.h"
#include "clang/StaticAnalyzer/BugReporter/BugType.h"
#include "clang/StaticAnalyzer/PathSensitive/CheckerVisitor.h"
#include "clang/StaticAnalyzer/PathSensitive/GRStateTrait.h"
//
//===----------------------------------------------------------------------===//
-#include "ExprEngineExperimentalChecks.h"
+#include "ExperimentalChecks.h"
#include "clang/StaticAnalyzer/BugReporter/BugType.h"
#include "clang/StaticAnalyzer/PathSensitive/CheckerVisitor.h"
#include "clang/StaticAnalyzer/PathSensitive/GRState.h"
-//=-- ExprEngineExperimentalChecks.h ------------------------------*- C++ -*-=
+//=-- ExperimentalChecks.h ----------------------------------------*- C++ -*-=//
//
// The LLVM Compiler Infrastructure
//
-//=-- ExprEngineExperimentalChecks.h ------------------------------*- C++ -*-=
+//=-- ExperimentalChecks.h ----------------------------------------*- C++ -*-=//
//
// The LLVM Compiler Infrastructure
//
//===----------------------------------------------------------------------===//
#include "InternalChecks.h"
-#include "ExprEngineExperimentalChecks.h"
+#include "ExperimentalChecks.h"
#include "clang/StaticAnalyzer/Checkers/LocalCheckers.h"
using namespace clang;
// - Finer grained false positive control (levels)
// - Handling ~0 values
-#include "ExprEngineExperimentalChecks.h"
+#include "ExperimentalChecks.h"
#include "clang/Analysis/CFGStmtMap.h"
#include "clang/Analysis/Analyses/PseudoConstantAnalysis.h"
#include "clang/StaticAnalyzer/BugReporter/BugReporter.h"
//
//===----------------------------------------------------------------------===//
-#include "ExprEngineExperimentalChecks.h"
+#include "ExperimentalChecks.h"
#include "clang/StaticAnalyzer/BugReporter/BugType.h"
#include "clang/StaticAnalyzer/PathSensitive/CheckerVisitor.h"
#include "clang/StaticAnalyzer/PathSensitive/GRState.h"
#include "clang/StaticAnalyzer/PathSensitive/CheckerVisitor.h"
#include "clang/StaticAnalyzer/BugReporter/BugReporter.h"
#include "clang/StaticAnalyzer/PathSensitive/GRStateTrait.h"
-#include "ExprEngineExperimentalChecks.h"
+#include "ExperimentalChecks.h"
#include "llvm/ADT/ImmutableSet.h"
using namespace clang;
//
//===----------------------------------------------------------------------===//
-#include "ExprEngineExperimentalChecks.h"
+#include "ExperimentalChecks.h"
#include "clang/StaticAnalyzer/BugReporter/BugType.h"
#include "clang/StaticAnalyzer/PathSensitive/CheckerVisitor.h"
#include "clang/StaticAnalyzer/PathSensitive/GRState.h"
#include "clang/StaticAnalyzer/PathSensitive/SVals.h"
#include "clang/StaticAnalyzer/PathSensitive/CheckerHelpers.h"
#include "clang/StaticAnalyzer/BugReporter/BugReporter.h"
-#include "ExprEngineExperimentalChecks.h"
+#include "ExperimentalChecks.h"
#include "llvm/ADT/SmallPtrSet.h"
// The number of CFGBlock pointers we want to reserve memory for. This is used