diff options
author | Argyrios Kyrtzidis <akyrtzi@gmail.com> | 2010-12-24 06:19:58 +0000 |
---|---|---|
committer | Argyrios Kyrtzidis <akyrtzi@gmail.com> | 2010-12-24 06:19:58 +0000 |
commit | 9d6af5328e3a61641a125b17125952fa1a6bf11d (patch) | |
tree | 2bc6d19da9db88702156312ae82a95e0f4cb14e1 /clang/lib/StaticAnalyzer/EntoSA/Checker.cpp | |
parent | 50986b5d39cd82d136af01affe6e6f6655cda33f (diff) | |
download | bcm5719-llvm-9d6af5328e3a61641a125b17125952fa1a6bf11d.tar.gz bcm5719-llvm-9d6af5328e3a61641a125b17125952fa1a6bf11d.zip |
Remove the EntoSA directories.
llvm-svn: 122543
Diffstat (limited to 'clang/lib/StaticAnalyzer/EntoSA/Checker.cpp')
-rw-r--r-- | clang/lib/StaticAnalyzer/EntoSA/Checker.cpp | 36 |
1 files changed, 0 insertions, 36 deletions
diff --git a/clang/lib/StaticAnalyzer/EntoSA/Checker.cpp b/clang/lib/StaticAnalyzer/EntoSA/Checker.cpp deleted file mode 100644 index 6867ff5b645..00000000000 --- a/clang/lib/StaticAnalyzer/EntoSA/Checker.cpp +++ /dev/null @@ -1,36 +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/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; - B.Tag = &autoTransitionTag; - addTransition(ST); - } - else - Dst.Add(Pred); - } -} |