diff options
author | Argyrios Kyrtzidis <akyrtzi@gmail.com> | 2011-03-01 01:16:08 +0000 |
---|---|---|
committer | Argyrios Kyrtzidis <akyrtzi@gmail.com> | 2011-03-01 01:16:08 +0000 |
commit | d26a475068535834bbebd87f429ec773d6227e41 (patch) | |
tree | 8a00c0952d02ca39852dc4bee8ea631a4b853a8a /lib/StaticAnalyzer/Core/Checker.cpp | |
parent | eb48bd1dd4168ab206a330bf523659170291a6a0 (diff) |
[analyzer] Remove Checker V1.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@126725 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/StaticAnalyzer/Core/Checker.cpp')
-rw-r--r-- | lib/StaticAnalyzer/Core/Checker.cpp | 35 |
1 files changed, 0 insertions, 35 deletions
diff --git a/lib/StaticAnalyzer/Core/Checker.cpp b/lib/StaticAnalyzer/Core/Checker.cpp deleted file mode 100644 index a014eec76b..0000000000 --- a/lib/StaticAnalyzer/Core/Checker.cpp +++ /dev/null @@ -1,35 +0,0 @@ -//== Checker.h - Abstract interface for checkers -----------------*- C++ -*--=// -// -// The LLVM Compiler Infrastructure -// -// This file is distributed under the University of Illinois Open Source -// License. See LICENSE.TXT for details. -// -//===----------------------------------------------------------------------===// -// -// This file defines Checker and CheckerVisitor, classes used for creating -// domain-specific checks. -// -//===----------------------------------------------------------------------===// - -#include "clang/StaticAnalyzer/Core/PathSensitive/Checker.h" -using namespace clang; -using namespace ento; - -Checker::~Checker() {} - -CheckerContext::~CheckerContext() { - // Do we need to autotransition? 'Dst' can get populated in a variety of - // ways, including 'addTransition()' adding the predecessor node to Dst - // without actually generated a new node. We also shouldn't autotransition - // if we are building sinks or we generated a node and decided to not - // add it as a transition. - if (Dst.size() == size && !B.BuildSinks && !B.hasGeneratedNode) { - if (ST && ST != B.GetState(Pred)) { - static int autoTransitionTag = 0; - addTransition(ST, &autoTransitionTag); - } - else - Dst.Add(Pred); - } -} |