diff options
author | Ted Kremenek <kremenek@apple.com> | 2010-12-23 07:22:02 +0000 |
---|---|---|
committer | Ted Kremenek <kremenek@apple.com> | 2010-12-23 07:22:02 +0000 |
commit | ef33f0996c6a625767690395f3cfb41afb84db5a (patch) | |
tree | e7d0e6ec23cdcb950b06d65a125b150aba35c7f0 /clang/lib/GR/Checker.cpp | |
parent | 98857c986078c6e6a10910628dbabf75ae735b76 (diff) | |
download | bcm5719-llvm-ef33f0996c6a625767690395f3cfb41afb84db5a.tar.gz bcm5719-llvm-ef33f0996c6a625767690395f3cfb41afb84db5a.zip |
Rename headers: 'clang/GR' 'clang/EntoSA' and
update Makefile.
llvm-svn: 122493
Diffstat (limited to 'clang/lib/GR/Checker.cpp')
-rw-r--r-- | clang/lib/GR/Checker.cpp | 36 |
1 files changed, 0 insertions, 36 deletions
diff --git a/clang/lib/GR/Checker.cpp b/clang/lib/GR/Checker.cpp deleted file mode 100644 index 975d8475bcd..00000000000 --- a/clang/lib/GR/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/GR/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); - } -} |