//
//===----------------------------------------------------------------------===//
-#include "ExprEngineInternalChecks.h"
+#include "InternalChecks.h"
#include "clang/StaticAnalyzer/BugReporter/BugReporter.h"
#include "clang/StaticAnalyzer/PathSensitive/ExprEngine.h"
#include "clang/StaticAnalyzer/PathSensitive/CheckerVisitor.h"
// FIXME: Restructure checker registration.
#include "ExprEngineExperimentalChecks.h"
-#include "ExprEngineInternalChecks.h"
+#include "InternalChecks.h"
#include "clang/Basic/FileManager.h"
#include "clang/Basic/SourceManager.h"
//
//===----------------------------------------------------------------------===//
-#include "ExprEngineInternalChecks.h"
+#include "InternalChecks.h"
#include "clang/StaticAnalyzer/BugReporter/BugType.h"
#include "clang/StaticAnalyzer/PathSensitive/CheckerVisitor.h"
#include "clang/StaticAnalyzer/PathSensitive/ExprEngine.h"
//
//===----------------------------------------------------------------------===//
-#include "ExprEngineInternalChecks.h"
+#include "InternalChecks.h"
#include "clang/StaticAnalyzer/BugReporter/BugType.h"
#include "clang/StaticAnalyzer/PathSensitive/CheckerVisitor.h"
#include "clang/StaticAnalyzer/PathSensitive/ExprEngine.h"
//
//===----------------------------------------------------------------------===//
-#include "ExprEngineInternalChecks.h"
+#include "InternalChecks.h"
#include "clang/StaticAnalyzer/BugReporter/BugType.h"
#include "clang/StaticAnalyzer/PathSensitive/CheckerVisitor.h"
//
//===----------------------------------------------------------------------===//
-#include "ExprEngineInternalChecks.h"
+#include "InternalChecks.h"
#include "clang/StaticAnalyzer/PathSensitive/Checker.h"
#include "clang/Basic/Builtins.h"
//
//===----------------------------------------------------------------------===//
-#include "ExprEngineInternalChecks.h"
+#include "InternalChecks.h"
#include "clang/AST/ParentMap.h"
#include "clang/Basic/TargetInfo.h"
#include "clang/StaticAnalyzer/BugReporter/BugType.h"
#include "clang/AST/CharUnits.h"
#include "clang/StaticAnalyzer/BugReporter/BugType.h"
#include "clang/StaticAnalyzer/PathSensitive/CheckerVisitor.h"
-#include "ExprEngineInternalChecks.h"
+#include "InternalChecks.h"
using namespace clang;
using namespace ento;
#include "clang/StaticAnalyzer/BugReporter/BugType.h"
#include "clang/StaticAnalyzer/PathSensitive/CheckerVisitor.h"
-#include "ExprEngineInternalChecks.h"
+#include "InternalChecks.h"
using namespace clang;
using namespace ento;
//
//===----------------------------------------------------------------------===//
-#include "ExprEngineInternalChecks.h"
+#include "InternalChecks.h"
#include "clang/StaticAnalyzer/BugReporter/BugType.h"
#include "clang/StaticAnalyzer/Checkers/DereferenceChecker.h"
#include "clang/StaticAnalyzer/PathSensitive/Checker.h"
//
//===----------------------------------------------------------------------===//
-#include "ExprEngineInternalChecks.h"
+#include "InternalChecks.h"
#include "clang/StaticAnalyzer/BugReporter/BugType.h"
#include "clang/StaticAnalyzer/PathSensitive/CheckerVisitor.h"
//===----------------------------------------------------------------------===//
// FIXME: Restructure checker registration.
-#include "ExprEngineInternalChecks.h"
+#include "InternalChecks.h"
#include "clang/StaticAnalyzer/BugReporter/BugType.h"
#include "clang/StaticAnalyzer/PathSensitive/AnalysisManager.h"
//
//===----------------------------------------------------------------------===//
-#include "ExprEngineInternalChecks.h"
+#include "InternalChecks.h"
#include "ExprEngineExperimentalChecks.h"
#include "clang/StaticAnalyzer/Checkers/LocalCheckers.h"
//
//===----------------------------------------------------------------------===//
-#include "ExprEngineInternalChecks.h"
+#include "InternalChecks.h"
#include "clang/StaticAnalyzer/BugReporter/BugType.h"
#include "clang/StaticAnalyzer/PathSensitive/CheckerVisitor.h"
-//=-- ExprEngineInternalChecks.h- Builtin ExprEngine Checks -----*- C++ -*-=
+//=-- InternalChecks.h- Builtin ExprEngine Checks -------------------*- C++ -*-=
//
// The LLVM Compiler Infrastructure
//
//
//===----------------------------------------------------------------------===//
-#include "ExprEngineInternalChecks.h"
+#include "InternalChecks.h"
#include "clang/Basic/TargetInfo.h"
#include "clang/StaticAnalyzer/BugReporter/BugType.h"
#include "clang/StaticAnalyzer/PathSensitive/CheckerVisitor.h"
//
//===----------------------------------------------------------------------===//
-#include "ExprEngineInternalChecks.h"
+#include "InternalChecks.h"
#include "clang/StaticAnalyzer/PathSensitive/CheckerVisitor.h"
#include "llvm/ADT/StringSwitch.h"
//
//===----------------------------------------------------------------------===//
-#include "ExprEngineInternalChecks.h"
+#include "InternalChecks.h"
#include "clang/StaticAnalyzer/PathSensitive/Checker.h"
#include "clang/Basic/Builtins.h"
//
//===----------------------------------------------------------------------===//
-#include "ExprEngineInternalChecks.h"
+#include "InternalChecks.h"
#include "clang/StaticAnalyzer/BugReporter/BugType.h"
#include "clang/StaticAnalyzer/Checkers/DereferenceChecker.h"
#include "clang/StaticAnalyzer/PathSensitive/CheckerVisitor.h"
// objects in the diagnostics.
// http://developer.apple.com/library/mac/#documentation/Cocoa/Conceptual/ObjectiveC/Articles/ocAllocInit.html
-#include "ExprEngineInternalChecks.h"
+#include "InternalChecks.h"
#include "clang/StaticAnalyzer/PathSensitive/CheckerVisitor.h"
#include "clang/StaticAnalyzer/PathSensitive/GRStateTrait.h"
#include "clang/StaticAnalyzer/BugReporter/BugType.h"
//
//===----------------------------------------------------------------------===//
-#include "ExprEngineInternalChecks.h"
+#include "InternalChecks.h"
#include "clang/StaticAnalyzer/BugReporter/BugType.h"
#include "clang/StaticAnalyzer/PathSensitive/CheckerVisitor.h"
//
//===----------------------------------------------------------------------===//
-#include "ExprEngineInternalChecks.h"
+#include "InternalChecks.h"
#include "clang/StaticAnalyzer/BugReporter/BugType.h"
#include "clang/StaticAnalyzer/PathSensitive/CheckerVisitor.h"
//
//===----------------------------------------------------------------------===//
-#include "ExprEngineInternalChecks.h"
+#include "InternalChecks.h"
#include "clang/StaticAnalyzer/BugReporter/BugType.h"
#include "clang/StaticAnalyzer/PathSensitive/CheckerVisitor.h"
#include "clang/StaticAnalyzer/PathSensitive/ExprEngine.h"
//
//===----------------------------------------------------------------------===//
-#include "ExprEngineInternalChecks.h"
+#include "InternalChecks.h"
#include "clang/StaticAnalyzer/BugReporter/BugType.h"
#include "clang/StaticAnalyzer/PathSensitive/CheckerVisitor.h"
#include "clang/StaticAnalyzer/PathSensitive/ExprEngine.h"
//
//===----------------------------------------------------------------------===//
-#include "ExprEngineInternalChecks.h"
+#include "InternalChecks.h"
#include "clang/StaticAnalyzer/BugReporter/BugType.h"
#include "clang/StaticAnalyzer/PathSensitive/CheckerVisitor.h"
#include "clang/StaticAnalyzer/PathSensitive/GRState.h"
//
//===----------------------------------------------------------------------===//
-#include "ExprEngineInternalChecks.h"
+#include "InternalChecks.h"
#include "clang/StaticAnalyzer/BugReporter/BugType.h"
#include "clang/StaticAnalyzer/PathSensitive/Checker.h"
//
//===----------------------------------------------------------------------===//
-#include "ExprEngineInternalChecks.h"
+#include "InternalChecks.h"
#include "clang/StaticAnalyzer/PathSensitive/CheckerVisitor.h"
#include "clang/StaticAnalyzer/PathSensitive/ExprEngine.h"
#include "clang/StaticAnalyzer/BugReporter/BugType.h"
//
//===----------------------------------------------------------------------===//
-#include "ExprEngineInternalChecks.h"
+#include "InternalChecks.h"
#include "clang/StaticAnalyzer/BugReporter/BugType.h"
#include "clang/StaticAnalyzer/PathSensitive/CheckerVisitor.h"
#include "clang/StaticAnalyzer/PathSensitive/ExprEngine.h"
//
//===----------------------------------------------------------------------===//
-#include "ExprEngineInternalChecks.h"
+#include "InternalChecks.h"
#include "clang/StaticAnalyzer/BugReporter/BugType.h"
#include "clang/StaticAnalyzer/PathSensitive/CheckerVisitor.h"
//
//===----------------------------------------------------------------------===//
-#include "ExprEngineInternalChecks.h"
+#include "InternalChecks.h"
#include "clang/StaticAnalyzer/BugReporter/BugType.h"
#include "clang/StaticAnalyzer/PathSensitive/CheckerVisitor.h"
//
//===----------------------------------------------------------------------===//
-#include "ExprEngineInternalChecks.h"
+#include "InternalChecks.h"
#include "clang/Basic/TargetInfo.h"
#include "clang/StaticAnalyzer/BugReporter/BugType.h"
#include "clang/StaticAnalyzer/PathSensitive/CheckerVisitor.h"
//
//===----------------------------------------------------------------------===//
-#include "ExprEngineInternalChecks.h"
+#include "InternalChecks.h"
#include "clang/AST/CharUnits.h"
#include "clang/StaticAnalyzer/BugReporter/BugType.h"
#include "clang/StaticAnalyzer/PathSensitive/CheckerVisitor.h"