diff options
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); - } -} |