Ted Kremenek | 1d26f48 | 2011-10-24 01:32:45 +0000 | [diff] [blame] | 1 | //== AnalysisDeclContext.cpp - Analysis context for Path Sens analysis -*- C++ -*-// |
Zhongxing Xu | 97ab394 | 2009-07-30 01:17:21 +0000 | [diff] [blame] | 2 | // |
| 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
| 5 | // This file is distributed under the University of Illinois Open Source |
| 6 | // License. See LICENSE.TXT for details. |
| 7 | // |
| 8 | //===----------------------------------------------------------------------===// |
| 9 | // |
Ted Kremenek | 1d26f48 | 2011-10-24 01:32:45 +0000 | [diff] [blame] | 10 | // This file defines AnalysisDeclContext, a class that manages the analysis context |
Zhongxing Xu | 97ab394 | 2009-07-30 01:17:21 +0000 | [diff] [blame] | 11 | // data for path sensitive analysis. |
| 12 | // |
| 13 | //===----------------------------------------------------------------------===// |
| 14 | |
Chandler Carruth | 55fc873 | 2012-12-04 09:13:33 +0000 | [diff] [blame] | 15 | #include "clang/Analysis/AnalysisContext.h" |
| 16 | #include "BodyFarm.h" |
Benjamin Kramer | 471c8b4 | 2012-07-04 20:19:54 +0000 | [diff] [blame] | 17 | #include "clang/AST/ASTContext.h" |
Zhongxing Xu | 97ab394 | 2009-07-30 01:17:21 +0000 | [diff] [blame] | 18 | #include "clang/AST/Decl.h" |
| 19 | #include "clang/AST/DeclObjC.h" |
Mike Stump | fa6ef18 | 2010-01-13 02:59:54 +0000 | [diff] [blame] | 20 | #include "clang/AST/DeclTemplate.h" |
Zhongxing Xu | 97ab394 | 2009-07-30 01:17:21 +0000 | [diff] [blame] | 21 | #include "clang/AST/ParentMap.h" |
Ted Kremenek | b1a7b65 | 2009-11-26 02:31:33 +0000 | [diff] [blame] | 22 | #include "clang/AST/StmtVisitor.h" |
Chandler Carruth | 55fc873 | 2012-12-04 09:13:33 +0000 | [diff] [blame] | 23 | #include "clang/Analysis/Analyses/CFGReachabilityAnalysis.h" |
Ted Kremenek | 2cfe28b | 2010-03-10 00:18:11 +0000 | [diff] [blame] | 24 | #include "clang/Analysis/Analyses/LiveVariables.h" |
Tom Care | db34ab7 | 2010-08-23 19:51:57 +0000 | [diff] [blame] | 25 | #include "clang/Analysis/Analyses/PseudoConstantAnalysis.h" |
Ted Kremenek | 2cfe28b | 2010-03-10 00:18:11 +0000 | [diff] [blame] | 26 | #include "clang/Analysis/CFG.h" |
Ted Kremenek | 283a358 | 2011-02-23 01:51:53 +0000 | [diff] [blame] | 27 | #include "clang/Analysis/CFGStmtMap.h" |
Ted Kremenek | b1a7b65 | 2009-11-26 02:31:33 +0000 | [diff] [blame] | 28 | #include "clang/Analysis/Support/BumpVector.h" |
Benjamin Kramer | 9b20a90 | 2012-03-10 15:08:09 +0000 | [diff] [blame] | 29 | #include "llvm/ADT/SmallPtrSet.h" |
Mike Stump | 87a05f1 | 2009-07-31 01:10:29 +0000 | [diff] [blame] | 30 | #include "llvm/Support/ErrorHandling.h" |
Jordan Rose | 75f8bd0 | 2013-03-30 01:31:35 +0000 | [diff] [blame] | 31 | #include "llvm/Support/raw_ostream.h" |
Chandler Carruth | 55fc873 | 2012-12-04 09:13:33 +0000 | [diff] [blame] | 32 | #include "llvm/Support/SaveAndRestore.h" |
Ted Kremenek | a43df95 | 2012-09-21 00:09:11 +0000 | [diff] [blame] | 33 | |
Zhongxing Xu | 97ab394 | 2009-07-30 01:17:21 +0000 | [diff] [blame] | 34 | using namespace clang; |
| 35 | |
Ted Kremenek | a5937bb | 2011-10-07 22:21:02 +0000 | [diff] [blame] | 36 | typedef llvm::DenseMap<const void *, ManagedAnalysis *> ManagedAnalysisMap; |
| 37 | |
Ted Kremenek | 1d26f48 | 2011-10-24 01:32:45 +0000 | [diff] [blame] | 38 | AnalysisDeclContext::AnalysisDeclContext(AnalysisDeclContextManager *Mgr, |
Ted Kremenek | a43df95 | 2012-09-21 00:09:11 +0000 | [diff] [blame] | 39 | const Decl *d, |
| 40 | const CFG::BuildOptions &buildOptions) |
Ted Kremenek | b1b5daf | 2011-10-23 02:31:52 +0000 | [diff] [blame] | 41 | : Manager(Mgr), |
| 42 | D(d), |
Ted Kremenek | bc5cb8a | 2011-07-21 05:22:47 +0000 | [diff] [blame] | 43 | cfgBuildOptions(buildOptions), |
Ted Kremenek | b8ad5ee | 2011-03-10 01:14:05 +0000 | [diff] [blame] | 44 | forcedBlkExprs(0), |
Ted Kremenek | bc5cb8a | 2011-07-21 05:22:47 +0000 | [diff] [blame] | 45 | builtCFG(false), |
| 46 | builtCompleteCFG(false), |
Ted Kremenek | a5937bb | 2011-10-07 22:21:02 +0000 | [diff] [blame] | 47 | ReferencedBlockVars(0), |
| 48 | ManagedAnalyses(0) |
Ted Kremenek | bc5cb8a | 2011-07-21 05:22:47 +0000 | [diff] [blame] | 49 | { |
Ted Kremenek | b8ad5ee | 2011-03-10 01:14:05 +0000 | [diff] [blame] | 50 | cfgBuildOptions.forcedBlkExprs = &forcedBlkExprs; |
Ted Kremenek | bc5cb8a | 2011-07-21 05:22:47 +0000 | [diff] [blame] | 51 | } |
| 52 | |
Ted Kremenek | 1d26f48 | 2011-10-24 01:32:45 +0000 | [diff] [blame] | 53 | AnalysisDeclContext::AnalysisDeclContext(AnalysisDeclContextManager *Mgr, |
Ted Kremenek | a43df95 | 2012-09-21 00:09:11 +0000 | [diff] [blame] | 54 | const Decl *d) |
Ted Kremenek | b1b5daf | 2011-10-23 02:31:52 +0000 | [diff] [blame] | 55 | : Manager(Mgr), |
| 56 | D(d), |
Ted Kremenek | bc5cb8a | 2011-07-21 05:22:47 +0000 | [diff] [blame] | 57 | forcedBlkExprs(0), |
| 58 | builtCFG(false), |
| 59 | builtCompleteCFG(false), |
Ted Kremenek | a5937bb | 2011-10-07 22:21:02 +0000 | [diff] [blame] | 60 | ReferencedBlockVars(0), |
| 61 | ManagedAnalyses(0) |
Ted Kremenek | bc5cb8a | 2011-07-21 05:22:47 +0000 | [diff] [blame] | 62 | { |
| 63 | cfgBuildOptions.forcedBlkExprs = &forcedBlkExprs; |
| 64 | } |
| 65 | |
Ted Kremenek | 1d26f48 | 2011-10-24 01:32:45 +0000 | [diff] [blame] | 66 | AnalysisDeclContextManager::AnalysisDeclContextManager(bool useUnoptimizedCFG, |
Jordan Rose | 5a1ffe9 | 2012-09-05 22:55:23 +0000 | [diff] [blame] | 67 | bool addImplicitDtors, |
| 68 | bool addInitializers, |
Ted Kremenek | a43df95 | 2012-09-21 00:09:11 +0000 | [diff] [blame] | 69 | bool addTemporaryDtors, |
Ted Kremenek | 02a88c3 | 2013-03-29 00:09:22 +0000 | [diff] [blame] | 70 | bool synthesizeBodies, |
| 71 | bool addStaticInitBranch) |
Ted Kremenek | a43df95 | 2012-09-21 00:09:11 +0000 | [diff] [blame] | 72 | : SynthesizeBodies(synthesizeBodies) |
| 73 | { |
Ted Kremenek | bc5cb8a | 2011-07-21 05:22:47 +0000 | [diff] [blame] | 74 | cfgBuildOptions.PruneTriviallyFalseEdges = !useUnoptimizedCFG; |
Ted Kremenek | b8ad5ee | 2011-03-10 01:14:05 +0000 | [diff] [blame] | 75 | cfgBuildOptions.AddImplicitDtors = addImplicitDtors; |
| 76 | cfgBuildOptions.AddInitializers = addInitializers; |
Jordan Rose | 5a1ffe9 | 2012-09-05 22:55:23 +0000 | [diff] [blame] | 77 | cfgBuildOptions.AddTemporaryDtors = addTemporaryDtors; |
Ted Kremenek | 02a88c3 | 2013-03-29 00:09:22 +0000 | [diff] [blame] | 78 | cfgBuildOptions.AddStaticInitBranches = addStaticInitBranch; |
Ted Kremenek | b8ad5ee | 2011-03-10 01:14:05 +0000 | [diff] [blame] | 79 | } |
| 80 | |
Ted Kremenek | 1d26f48 | 2011-10-24 01:32:45 +0000 | [diff] [blame] | 81 | void AnalysisDeclContextManager::clear() { |
Ted Kremenek | 58f5ec7 | 2009-10-20 21:39:41 +0000 | [diff] [blame] | 82 | for (ContextMap::iterator I = Contexts.begin(), E = Contexts.end(); I!=E; ++I) |
| 83 | delete I->second; |
| 84 | Contexts.clear(); |
| 85 | } |
| 86 | |
Ted Kremenek | a43df95 | 2012-09-21 00:09:11 +0000 | [diff] [blame] | 87 | static BodyFarm &getBodyFarm(ASTContext &C) { |
| 88 | static BodyFarm *BF = new BodyFarm(C); |
| 89 | return *BF; |
| 90 | } |
| 91 | |
Anna Zaks | 453cb85 | 2013-02-02 00:30:04 +0000 | [diff] [blame] | 92 | Stmt *AnalysisDeclContext::getBody(bool &IsAutosynthesized) const { |
NAKAMURA Takumi | 22c0cbe | 2013-02-04 05:06:21 +0000 | [diff] [blame] | 93 | IsAutosynthesized = false; |
Ted Kremenek | a43df95 | 2012-09-21 00:09:11 +0000 | [diff] [blame] | 94 | if (const FunctionDecl *FD = dyn_cast<FunctionDecl>(D)) { |
| 95 | Stmt *Body = FD->getBody(); |
Anna Zaks | 453cb85 | 2013-02-02 00:30:04 +0000 | [diff] [blame] | 96 | if (!Body && Manager && Manager->synthesizeBodies()) { |
| 97 | IsAutosynthesized = true; |
Ted Kremenek | a43df95 | 2012-09-21 00:09:11 +0000 | [diff] [blame] | 98 | return getBodyFarm(getASTContext()).getBody(FD); |
Anna Zaks | 453cb85 | 2013-02-02 00:30:04 +0000 | [diff] [blame] | 99 | } |
Ted Kremenek | a43df95 | 2012-09-21 00:09:11 +0000 | [diff] [blame] | 100 | return Body; |
| 101 | } |
Ted Kremenek | 2376002 | 2009-08-21 23:58:43 +0000 | [diff] [blame] | 102 | else if (const ObjCMethodDecl *MD = dyn_cast<ObjCMethodDecl>(D)) |
Zhongxing Xu | 97ab394 | 2009-07-30 01:17:21 +0000 | [diff] [blame] | 103 | return MD->getBody(); |
Ted Kremenek | 30a4534 | 2009-12-04 20:34:55 +0000 | [diff] [blame] | 104 | else if (const BlockDecl *BD = dyn_cast<BlockDecl>(D)) |
| 105 | return BD->getBody(); |
Mike Stump | fa6ef18 | 2010-01-13 02:59:54 +0000 | [diff] [blame] | 106 | else if (const FunctionTemplateDecl *FunTmpl |
| 107 | = dyn_cast_or_null<FunctionTemplateDecl>(D)) |
| 108 | return FunTmpl->getTemplatedDecl()->getBody(); |
Zhongxing Xu | 97ab394 | 2009-07-30 01:17:21 +0000 | [diff] [blame] | 109 | |
Jeffrey Yasskin | 9f61aa9 | 2009-12-12 05:05:38 +0000 | [diff] [blame] | 110 | llvm_unreachable("unknown code decl"); |
Zhongxing Xu | 97ab394 | 2009-07-30 01:17:21 +0000 | [diff] [blame] | 111 | } |
| 112 | |
Anna Zaks | 453cb85 | 2013-02-02 00:30:04 +0000 | [diff] [blame] | 113 | Stmt *AnalysisDeclContext::getBody() const { |
| 114 | bool Tmp; |
| 115 | return getBody(Tmp); |
| 116 | } |
| 117 | |
| 118 | bool AnalysisDeclContext::isBodyAutosynthesized() const { |
| 119 | bool Tmp; |
| 120 | getBody(Tmp); |
| 121 | return Tmp; |
| 122 | } |
| 123 | |
Ted Kremenek | 1d26f48 | 2011-10-24 01:32:45 +0000 | [diff] [blame] | 124 | const ImplicitParamDecl *AnalysisDeclContext::getSelfDecl() const { |
Ted Kremenek | 82cd37c | 2009-08-21 23:25:54 +0000 | [diff] [blame] | 125 | if (const ObjCMethodDecl *MD = dyn_cast<ObjCMethodDecl>(D)) |
| 126 | return MD->getSelfDecl(); |
Ted Kremenek | ccf1bfd | 2011-11-14 19:36:08 +0000 | [diff] [blame] | 127 | if (const BlockDecl *BD = dyn_cast<BlockDecl>(D)) { |
| 128 | // See if 'self' was captured by the block. |
| 129 | for (BlockDecl::capture_const_iterator it = BD->capture_begin(), |
| 130 | et = BD->capture_end(); it != et; ++it) { |
| 131 | const VarDecl *VD = it->getVariable(); |
| 132 | if (VD->getName() == "self") |
| 133 | return dyn_cast<ImplicitParamDecl>(VD); |
| 134 | } |
| 135 | } |
Mike Stump | 1eb4433 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 136 | |
Ted Kremenek | 82cd37c | 2009-08-21 23:25:54 +0000 | [diff] [blame] | 137 | return NULL; |
| 138 | } |
| 139 | |
Ted Kremenek | 1d26f48 | 2011-10-24 01:32:45 +0000 | [diff] [blame] | 140 | void AnalysisDeclContext::registerForcedBlockExpression(const Stmt *stmt) { |
Ted Kremenek | 0d28d36 | 2011-03-10 03:50:34 +0000 | [diff] [blame] | 141 | if (!forcedBlkExprs) |
| 142 | forcedBlkExprs = new CFG::BuildOptions::ForcedBlkExprs(); |
| 143 | // Default construct an entry for 'stmt'. |
Jordy Rose | ac73ea8 | 2011-06-10 08:49:37 +0000 | [diff] [blame] | 144 | if (const Expr *e = dyn_cast<Expr>(stmt)) |
| 145 | stmt = e->IgnoreParens(); |
Ted Kremenek | 0d28d36 | 2011-03-10 03:50:34 +0000 | [diff] [blame] | 146 | (void) (*forcedBlkExprs)[stmt]; |
| 147 | } |
| 148 | |
| 149 | const CFGBlock * |
Ted Kremenek | 1d26f48 | 2011-10-24 01:32:45 +0000 | [diff] [blame] | 150 | AnalysisDeclContext::getBlockForRegisteredExpression(const Stmt *stmt) { |
Ted Kremenek | 0d28d36 | 2011-03-10 03:50:34 +0000 | [diff] [blame] | 151 | assert(forcedBlkExprs); |
Jordy Rose | ac73ea8 | 2011-06-10 08:49:37 +0000 | [diff] [blame] | 152 | if (const Expr *e = dyn_cast<Expr>(stmt)) |
| 153 | stmt = e->IgnoreParens(); |
Ted Kremenek | 0d28d36 | 2011-03-10 03:50:34 +0000 | [diff] [blame] | 154 | CFG::BuildOptions::ForcedBlkExprs::const_iterator itr = |
| 155 | forcedBlkExprs->find(stmt); |
| 156 | assert(itr != forcedBlkExprs->end()); |
| 157 | return itr->second; |
| 158 | } |
| 159 | |
Ted Kremenek | 1d26f48 | 2011-10-24 01:32:45 +0000 | [diff] [blame] | 160 | CFG *AnalysisDeclContext::getCFG() { |
Ted Kremenek | bc5cb8a | 2011-07-21 05:22:47 +0000 | [diff] [blame] | 161 | if (!cfgBuildOptions.PruneTriviallyFalseEdges) |
Ted Kremenek | 9b823e8 | 2010-08-03 00:09:51 +0000 | [diff] [blame] | 162 | return getUnoptimizedCFG(); |
| 163 | |
Ted Kremenek | d064fdc | 2010-03-23 00:13:23 +0000 | [diff] [blame] | 164 | if (!builtCFG) { |
Ted Kremenek | b8ad5ee | 2011-03-10 01:14:05 +0000 | [diff] [blame] | 165 | cfg.reset(CFG::buildCFG(D, getBody(), |
| 166 | &D->getASTContext(), cfgBuildOptions)); |
Ted Kremenek | d064fdc | 2010-03-23 00:13:23 +0000 | [diff] [blame] | 167 | // Even when the cfg is not successfully built, we don't |
| 168 | // want to try building it again. |
| 169 | builtCFG = true; |
| 170 | } |
Ted Kremenek | b8ad5ee | 2011-03-10 01:14:05 +0000 | [diff] [blame] | 171 | return cfg.get(); |
Zhongxing Xu | 97ab394 | 2009-07-30 01:17:21 +0000 | [diff] [blame] | 172 | } |
| 173 | |
Ted Kremenek | 1d26f48 | 2011-10-24 01:32:45 +0000 | [diff] [blame] | 174 | CFG *AnalysisDeclContext::getUnoptimizedCFG() { |
Ted Kremenek | ad5a894 | 2010-08-02 23:46:59 +0000 | [diff] [blame] | 175 | if (!builtCompleteCFG) { |
Ted Kremenek | bc5cb8a | 2011-07-21 05:22:47 +0000 | [diff] [blame] | 176 | SaveAndRestore<bool> NotPrune(cfgBuildOptions.PruneTriviallyFalseEdges, |
| 177 | false); |
| 178 | completeCFG.reset(CFG::buildCFG(D, getBody(), &D->getASTContext(), |
| 179 | cfgBuildOptions)); |
Ted Kremenek | ad5a894 | 2010-08-02 23:46:59 +0000 | [diff] [blame] | 180 | // Even when the cfg is not successfully built, we don't |
| 181 | // want to try building it again. |
| 182 | builtCompleteCFG = true; |
| 183 | } |
Ted Kremenek | b8ad5ee | 2011-03-10 01:14:05 +0000 | [diff] [blame] | 184 | return completeCFG.get(); |
Ted Kremenek | ad5a894 | 2010-08-02 23:46:59 +0000 | [diff] [blame] | 185 | } |
| 186 | |
Ted Kremenek | 1d26f48 | 2011-10-24 01:32:45 +0000 | [diff] [blame] | 187 | CFGStmtMap *AnalysisDeclContext::getCFGStmtMap() { |
Ted Kremenek | 283a358 | 2011-02-23 01:51:53 +0000 | [diff] [blame] | 188 | if (cfgStmtMap) |
Ted Kremenek | b8ad5ee | 2011-03-10 01:14:05 +0000 | [diff] [blame] | 189 | return cfgStmtMap.get(); |
Ted Kremenek | 283a358 | 2011-02-23 01:51:53 +0000 | [diff] [blame] | 190 | |
| 191 | if (CFG *c = getCFG()) { |
Ted Kremenek | b8ad5ee | 2011-03-10 01:14:05 +0000 | [diff] [blame] | 192 | cfgStmtMap.reset(CFGStmtMap::Build(c, &getParentMap())); |
| 193 | return cfgStmtMap.get(); |
Ted Kremenek | 283a358 | 2011-02-23 01:51:53 +0000 | [diff] [blame] | 194 | } |
| 195 | |
| 196 | return 0; |
| 197 | } |
Ted Kremenek | 42461ee | 2011-02-23 01:51:59 +0000 | [diff] [blame] | 198 | |
Ted Kremenek | 1d26f48 | 2011-10-24 01:32:45 +0000 | [diff] [blame] | 199 | CFGReverseBlockReachabilityAnalysis *AnalysisDeclContext::getCFGReachablityAnalysis() { |
Ted Kremenek | 42461ee | 2011-02-23 01:51:59 +0000 | [diff] [blame] | 200 | if (CFA) |
Ted Kremenek | b8ad5ee | 2011-03-10 01:14:05 +0000 | [diff] [blame] | 201 | return CFA.get(); |
Ted Kremenek | 283a358 | 2011-02-23 01:51:53 +0000 | [diff] [blame] | 202 | |
Ted Kremenek | 42461ee | 2011-02-23 01:51:59 +0000 | [diff] [blame] | 203 | if (CFG *c = getCFG()) { |
Ted Kremenek | af13d5b | 2011-03-19 01:00:33 +0000 | [diff] [blame] | 204 | CFA.reset(new CFGReverseBlockReachabilityAnalysis(*c)); |
Ted Kremenek | b8ad5ee | 2011-03-10 01:14:05 +0000 | [diff] [blame] | 205 | return CFA.get(); |
Ted Kremenek | 42461ee | 2011-02-23 01:51:59 +0000 | [diff] [blame] | 206 | } |
| 207 | |
| 208 | return 0; |
| 209 | } |
Ted Kremenek | 283a358 | 2011-02-23 01:51:53 +0000 | [diff] [blame] | 210 | |
Ted Kremenek | 682060c | 2011-12-22 23:33:52 +0000 | [diff] [blame] | 211 | void AnalysisDeclContext::dumpCFG(bool ShowColors) { |
David Blaikie | 4e4d084 | 2012-03-11 07:00:24 +0000 | [diff] [blame] | 212 | getCFG()->dump(getASTContext().getLangOpts(), ShowColors); |
Anders Carlsson | 04eeba4 | 2011-01-16 22:05:23 +0000 | [diff] [blame] | 213 | } |
| 214 | |
Ted Kremenek | e9aae62 | 2013-05-17 09:41:40 +0000 | [diff] [blame] | 215 | ParentMap &AnalysisDeclContext::getParentMap() { |
| 216 | if (!PM) { |
Jordan Rose | bb51899 | 2013-05-18 02:26:50 +0000 | [diff] [blame^] | 217 | PM.reset(new ParentMap(getBody())); |
| 218 | if (const CXXConstructorDecl *C = dyn_cast<CXXConstructorDecl>(getDecl())) { |
| 219 | for (CXXConstructorDecl::init_const_iterator I = C->init_begin(), |
| 220 | E = C->init_end(); |
| 221 | I != E; ++I) { |
| 222 | PM->addStmt((*I)->getInit()); |
| 223 | } |
| 224 | } |
Ted Kremenek | e9aae62 | 2013-05-17 09:41:40 +0000 | [diff] [blame] | 225 | } |
Zhongxing Xu | 97ab394 | 2009-07-30 01:17:21 +0000 | [diff] [blame] | 226 | return *PM; |
| 227 | } |
| 228 | |
Ted Kremenek | 1d26f48 | 2011-10-24 01:32:45 +0000 | [diff] [blame] | 229 | PseudoConstantAnalysis *AnalysisDeclContext::getPseudoConstantAnalysis() { |
Tom Care | 245adab | 2010-08-18 21:17:24 +0000 | [diff] [blame] | 230 | if (!PCA) |
Ted Kremenek | b8ad5ee | 2011-03-10 01:14:05 +0000 | [diff] [blame] | 231 | PCA.reset(new PseudoConstantAnalysis(getBody())); |
| 232 | return PCA.get(); |
Tom Care | 245adab | 2010-08-18 21:17:24 +0000 | [diff] [blame] | 233 | } |
| 234 | |
Jordy Rose | d200187 | 2012-04-28 01:58:08 +0000 | [diff] [blame] | 235 | AnalysisDeclContext *AnalysisDeclContextManager::getContext(const Decl *D) { |
Ted Kremenek | a43df95 | 2012-09-21 00:09:11 +0000 | [diff] [blame] | 236 | if (const FunctionDecl *FD = dyn_cast<FunctionDecl>(D)) { |
Ted Kremenek | 81d18bf | 2012-09-24 21:17:14 +0000 | [diff] [blame] | 237 | // Calling 'hasBody' replaces 'FD' in place with the FunctionDecl |
| 238 | // that has the body. |
Ted Kremenek | a43df95 | 2012-09-21 00:09:11 +0000 | [diff] [blame] | 239 | FD->hasBody(FD); |
| 240 | D = FD; |
| 241 | } |
| 242 | |
Ted Kremenek | 1d26f48 | 2011-10-24 01:32:45 +0000 | [diff] [blame] | 243 | AnalysisDeclContext *&AC = Contexts[D]; |
Ted Kremenek | 2376002 | 2009-08-21 23:58:43 +0000 | [diff] [blame] | 244 | if (!AC) |
Jordy Rose | d200187 | 2012-04-28 01:58:08 +0000 | [diff] [blame] | 245 | AC = new AnalysisDeclContext(this, D, cfgBuildOptions); |
Ted Kremenek | 2376002 | 2009-08-21 23:58:43 +0000 | [diff] [blame] | 246 | return AC; |
Zhongxing Xu | 97ab394 | 2009-07-30 01:17:21 +0000 | [diff] [blame] | 247 | } |
Zhongxing Xu | 18c7c06 | 2009-08-03 07:23:22 +0000 | [diff] [blame] | 248 | |
Ted Kremenek | b1b5daf | 2011-10-23 02:31:52 +0000 | [diff] [blame] | 249 | const StackFrameContext * |
Ted Kremenek | 1d26f48 | 2011-10-24 01:32:45 +0000 | [diff] [blame] | 250 | AnalysisDeclContext::getStackFrame(LocationContext const *Parent, const Stmt *S, |
Ted Kremenek | b1b5daf | 2011-10-23 02:31:52 +0000 | [diff] [blame] | 251 | const CFGBlock *Blk, unsigned Idx) { |
| 252 | return getLocationContextManager().getStackFrame(this, Parent, S, Blk, Idx); |
| 253 | } |
| 254 | |
Ted Kremenek | 7fa9b4f | 2012-06-01 20:04:04 +0000 | [diff] [blame] | 255 | const BlockInvocationContext * |
| 256 | AnalysisDeclContext::getBlockInvocationContext(const LocationContext *parent, |
| 257 | const clang::BlockDecl *BD, |
| 258 | const void *ContextData) { |
| 259 | return getLocationContextManager().getBlockInvocationContext(this, parent, |
| 260 | BD, ContextData); |
| 261 | } |
| 262 | |
Ted Kremenek | 1d26f48 | 2011-10-24 01:32:45 +0000 | [diff] [blame] | 263 | LocationContextManager & AnalysisDeclContext::getLocationContextManager() { |
Ted Kremenek | b1b5daf | 2011-10-23 02:31:52 +0000 | [diff] [blame] | 264 | assert(Manager && |
Ted Kremenek | 1d26f48 | 2011-10-24 01:32:45 +0000 | [diff] [blame] | 265 | "Cannot create LocationContexts without an AnalysisDeclContextManager!"); |
Ted Kremenek | b1b5daf | 2011-10-23 02:31:52 +0000 | [diff] [blame] | 266 | return Manager->getLocationContextManager(); |
| 267 | } |
| 268 | |
Ted Kremenek | dc0d909 | 2009-12-04 00:50:10 +0000 | [diff] [blame] | 269 | //===----------------------------------------------------------------------===// |
| 270 | // FoldingSet profiling. |
| 271 | //===----------------------------------------------------------------------===// |
| 272 | |
Ted Kremenek | dc0d909 | 2009-12-04 00:50:10 +0000 | [diff] [blame] | 273 | void LocationContext::ProfileCommon(llvm::FoldingSetNodeID &ID, |
| 274 | ContextKind ck, |
Ted Kremenek | 1d26f48 | 2011-10-24 01:32:45 +0000 | [diff] [blame] | 275 | AnalysisDeclContext *ctx, |
Ted Kremenek | dc0d909 | 2009-12-04 00:50:10 +0000 | [diff] [blame] | 276 | const LocationContext *parent, |
Ted Kremenek | 9c378f7 | 2011-08-12 23:37:29 +0000 | [diff] [blame] | 277 | const void *data) { |
Ted Kremenek | 0ee4124 | 2009-12-04 01:28:56 +0000 | [diff] [blame] | 278 | ID.AddInteger(ck); |
| 279 | ID.AddPointer(ctx); |
| 280 | ID.AddPointer(parent); |
Ted Kremenek | dc0d909 | 2009-12-04 00:50:10 +0000 | [diff] [blame] | 281 | ID.AddPointer(data); |
Zhongxing Xu | 18c7c06 | 2009-08-03 07:23:22 +0000 | [diff] [blame] | 282 | } |
| 283 | |
Ted Kremenek | dc0d909 | 2009-12-04 00:50:10 +0000 | [diff] [blame] | 284 | void StackFrameContext::Profile(llvm::FoldingSetNodeID &ID) { |
Ted Kremenek | 1d26f48 | 2011-10-24 01:32:45 +0000 | [diff] [blame] | 285 | Profile(ID, getAnalysisDeclContext(), getParent(), CallSite, Block, Index); |
Zhongxing Xu | 18c7c06 | 2009-08-03 07:23:22 +0000 | [diff] [blame] | 286 | } |
| 287 | |
Ted Kremenek | dc0d909 | 2009-12-04 00:50:10 +0000 | [diff] [blame] | 288 | void ScopeContext::Profile(llvm::FoldingSetNodeID &ID) { |
Ted Kremenek | 1d26f48 | 2011-10-24 01:32:45 +0000 | [diff] [blame] | 289 | Profile(ID, getAnalysisDeclContext(), getParent(), Enter); |
Ted Kremenek | dc0d909 | 2009-12-04 00:50:10 +0000 | [diff] [blame] | 290 | } |
| 291 | |
| 292 | void BlockInvocationContext::Profile(llvm::FoldingSetNodeID &ID) { |
Ted Kremenek | 7fa9b4f | 2012-06-01 20:04:04 +0000 | [diff] [blame] | 293 | Profile(ID, getAnalysisDeclContext(), getParent(), BD, ContextData); |
Ted Kremenek | dc0d909 | 2009-12-04 00:50:10 +0000 | [diff] [blame] | 294 | } |
| 295 | |
| 296 | //===----------------------------------------------------------------------===// |
Ted Kremenek | 0ee4124 | 2009-12-04 01:28:56 +0000 | [diff] [blame] | 297 | // LocationContext creation. |
Ted Kremenek | dc0d909 | 2009-12-04 00:50:10 +0000 | [diff] [blame] | 298 | //===----------------------------------------------------------------------===// |
| 299 | |
Ted Kremenek | 0ee4124 | 2009-12-04 01:28:56 +0000 | [diff] [blame] | 300 | template <typename LOC, typename DATA> |
| 301 | const LOC* |
Ted Kremenek | 1d26f48 | 2011-10-24 01:32:45 +0000 | [diff] [blame] | 302 | LocationContextManager::getLocationContext(AnalysisDeclContext *ctx, |
Ted Kremenek | 0ee4124 | 2009-12-04 01:28:56 +0000 | [diff] [blame] | 303 | const LocationContext *parent, |
| 304 | const DATA *d) { |
| 305 | llvm::FoldingSetNodeID ID; |
| 306 | LOC::Profile(ID, ctx, parent, d); |
| 307 | void *InsertPos; |
Ted Kremenek | d064fdc | 2010-03-23 00:13:23 +0000 | [diff] [blame] | 308 | |
Ted Kremenek | 0ee4124 | 2009-12-04 01:28:56 +0000 | [diff] [blame] | 309 | LOC *L = cast_or_null<LOC>(Contexts.FindNodeOrInsertPos(ID, InsertPos)); |
Ted Kremenek | d064fdc | 2010-03-23 00:13:23 +0000 | [diff] [blame] | 310 | |
Ted Kremenek | 0ee4124 | 2009-12-04 01:28:56 +0000 | [diff] [blame] | 311 | if (!L) { |
| 312 | L = new LOC(ctx, parent, d); |
| 313 | Contexts.InsertNode(L, InsertPos); |
| 314 | } |
| 315 | return L; |
Ted Kremenek | 58f5ec7 | 2009-10-20 21:39:41 +0000 | [diff] [blame] | 316 | } |
| 317 | |
Ted Kremenek | 0ee4124 | 2009-12-04 01:28:56 +0000 | [diff] [blame] | 318 | const StackFrameContext* |
Ted Kremenek | 1d26f48 | 2011-10-24 01:32:45 +0000 | [diff] [blame] | 319 | LocationContextManager::getStackFrame(AnalysisDeclContext *ctx, |
Ted Kremenek | 54c809b | 2009-08-21 23:39:58 +0000 | [diff] [blame] | 320 | const LocationContext *parent, |
Ted Kremenek | 892697d | 2010-12-16 07:46:53 +0000 | [diff] [blame] | 321 | const Stmt *s, |
Zhongxing Xu | d706434 | 2010-11-24 13:08:51 +0000 | [diff] [blame] | 322 | const CFGBlock *blk, unsigned idx) { |
Zhongxing Xu | 62d399e | 2009-12-24 03:34:38 +0000 | [diff] [blame] | 323 | llvm::FoldingSetNodeID ID; |
Ted Kremenek | 892697d | 2010-12-16 07:46:53 +0000 | [diff] [blame] | 324 | StackFrameContext::Profile(ID, ctx, parent, s, blk, idx); |
Zhongxing Xu | 62d399e | 2009-12-24 03:34:38 +0000 | [diff] [blame] | 325 | void *InsertPos; |
Ted Kremenek | d064fdc | 2010-03-23 00:13:23 +0000 | [diff] [blame] | 326 | StackFrameContext *L = |
Zhongxing Xu | 62d399e | 2009-12-24 03:34:38 +0000 | [diff] [blame] | 327 | cast_or_null<StackFrameContext>(Contexts.FindNodeOrInsertPos(ID, InsertPos)); |
| 328 | if (!L) { |
Ted Kremenek | 892697d | 2010-12-16 07:46:53 +0000 | [diff] [blame] | 329 | L = new StackFrameContext(ctx, parent, s, blk, idx); |
Zhongxing Xu | 62d399e | 2009-12-24 03:34:38 +0000 | [diff] [blame] | 330 | Contexts.InsertNode(L, InsertPos); |
| 331 | } |
| 332 | return L; |
Zhongxing Xu | 18c7c06 | 2009-08-03 07:23:22 +0000 | [diff] [blame] | 333 | } |
| 334 | |
Ted Kremenek | 0ee4124 | 2009-12-04 01:28:56 +0000 | [diff] [blame] | 335 | const ScopeContext * |
Ted Kremenek | 1d26f48 | 2011-10-24 01:32:45 +0000 | [diff] [blame] | 336 | LocationContextManager::getScope(AnalysisDeclContext *ctx, |
Ted Kremenek | 0ee4124 | 2009-12-04 01:28:56 +0000 | [diff] [blame] | 337 | const LocationContext *parent, |
| 338 | const Stmt *s) { |
| 339 | return getLocationContext<ScopeContext, Stmt>(ctx, parent, s); |
| 340 | } |
Mike Stump | 1eb4433 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 341 | |
Ted Kremenek | 7fa9b4f | 2012-06-01 20:04:04 +0000 | [diff] [blame] | 342 | const BlockInvocationContext * |
| 343 | LocationContextManager::getBlockInvocationContext(AnalysisDeclContext *ctx, |
| 344 | const LocationContext *parent, |
| 345 | const BlockDecl *BD, |
| 346 | const void *ContextData) { |
| 347 | llvm::FoldingSetNodeID ID; |
| 348 | BlockInvocationContext::Profile(ID, ctx, parent, BD, ContextData); |
| 349 | void *InsertPos; |
| 350 | BlockInvocationContext *L = |
| 351 | cast_or_null<BlockInvocationContext>(Contexts.FindNodeOrInsertPos(ID, |
| 352 | InsertPos)); |
| 353 | if (!L) { |
| 354 | L = new BlockInvocationContext(ctx, parent, BD, ContextData); |
| 355 | Contexts.InsertNode(L, InsertPos); |
| 356 | } |
| 357 | return L; |
| 358 | } |
| 359 | |
Ted Kremenek | b1a7b65 | 2009-11-26 02:31:33 +0000 | [diff] [blame] | 360 | //===----------------------------------------------------------------------===// |
Ted Kremenek | 67d1287 | 2009-12-07 22:05:27 +0000 | [diff] [blame] | 361 | // LocationContext methods. |
| 362 | //===----------------------------------------------------------------------===// |
| 363 | |
| 364 | const StackFrameContext *LocationContext::getCurrentStackFrame() const { |
| 365 | const LocationContext *LC = this; |
| 366 | while (LC) { |
| 367 | if (const StackFrameContext *SFC = dyn_cast<StackFrameContext>(LC)) |
| 368 | return SFC; |
| 369 | LC = LC->getParent(); |
| 370 | } |
| 371 | return NULL; |
| 372 | } |
| 373 | |
Anna Zaks | fadcd5d | 2012-11-03 02:54:16 +0000 | [diff] [blame] | 374 | bool LocationContext::inTopFrame() const { |
| 375 | return getCurrentStackFrame()->inTopFrame(); |
| 376 | } |
| 377 | |
Zhongxing Xu | 8ddf7ce | 2010-02-17 08:45:06 +0000 | [diff] [blame] | 378 | bool LocationContext::isParentOf(const LocationContext *LC) const { |
| 379 | do { |
| 380 | const LocationContext *Parent = LC->getParent(); |
| 381 | if (Parent == this) |
| 382 | return true; |
| 383 | else |
| 384 | LC = Parent; |
| 385 | } while (LC); |
| 386 | |
| 387 | return false; |
| 388 | } |
| 389 | |
Jordan Rose | 75f8bd0 | 2013-03-30 01:31:35 +0000 | [diff] [blame] | 390 | void LocationContext::dumpStack() const { |
| 391 | ASTContext &Ctx = getAnalysisDeclContext()->getASTContext(); |
| 392 | PrintingPolicy PP(Ctx.getLangOpts()); |
| 393 | PP.TerseOutput = 1; |
| 394 | |
| 395 | unsigned Frame = 0; |
| 396 | for (const LocationContext *LCtx = this; LCtx; LCtx = LCtx->getParent()) { |
| 397 | switch (LCtx->getKind()) { |
| 398 | case StackFrame: |
| 399 | llvm::errs() << '#' << Frame++ << ' '; |
| 400 | cast<StackFrameContext>(LCtx)->getDecl()->print(llvm::errs(), PP); |
| 401 | llvm::errs() << '\n'; |
| 402 | break; |
| 403 | case Scope: |
| 404 | llvm::errs() << " (scope)\n"; |
| 405 | break; |
| 406 | case Block: |
| 407 | llvm::errs() << " (block context: " |
| 408 | << cast<BlockInvocationContext>(LCtx)->getContextData() |
| 409 | << ")\n"; |
| 410 | break; |
| 411 | } |
| 412 | } |
| 413 | } |
| 414 | |
Ted Kremenek | 67d1287 | 2009-12-07 22:05:27 +0000 | [diff] [blame] | 415 | //===----------------------------------------------------------------------===// |
Ted Kremenek | b1a7b65 | 2009-11-26 02:31:33 +0000 | [diff] [blame] | 416 | // Lazily generated map to query the external variables referenced by a Block. |
| 417 | //===----------------------------------------------------------------------===// |
| 418 | |
| 419 | namespace { |
| 420 | class FindBlockDeclRefExprsVals : public StmtVisitor<FindBlockDeclRefExprsVals>{ |
| 421 | BumpVector<const VarDecl*> &BEVals; |
| 422 | BumpVectorContext &BC; |
Benjamin Kramer | 9b20a90 | 2012-03-10 15:08:09 +0000 | [diff] [blame] | 423 | llvm::SmallPtrSet<const VarDecl*, 4> Visited; |
| 424 | llvm::SmallPtrSet<const DeclContext*, 4> IgnoredContexts; |
Ted Kremenek | b1a7b65 | 2009-11-26 02:31:33 +0000 | [diff] [blame] | 425 | public: |
| 426 | FindBlockDeclRefExprsVals(BumpVector<const VarDecl*> &bevals, |
| 427 | BumpVectorContext &bc) |
| 428 | : BEVals(bevals), BC(bc) {} |
Ted Kremenek | 2cfe28b | 2010-03-10 00:18:11 +0000 | [diff] [blame] | 429 | |
| 430 | bool IsTrackedDecl(const VarDecl *VD) { |
| 431 | const DeclContext *DC = VD->getDeclContext(); |
| 432 | return IgnoredContexts.count(DC) == 0; |
| 433 | } |
| 434 | |
Ted Kremenek | b1a7b65 | 2009-11-26 02:31:33 +0000 | [diff] [blame] | 435 | void VisitStmt(Stmt *S) { |
John McCall | 7502c1d | 2011-02-13 04:07:26 +0000 | [diff] [blame] | 436 | for (Stmt::child_range I = S->children(); I; ++I) |
Ted Kremenek | b1a7b65 | 2009-11-26 02:31:33 +0000 | [diff] [blame] | 437 | if (Stmt *child = *I) |
| 438 | Visit(child); |
| 439 | } |
Ted Kremenek | 8524873 | 2010-02-06 00:30:00 +0000 | [diff] [blame] | 440 | |
Ted Kremenek | 15ce164 | 2011-12-22 01:30:46 +0000 | [diff] [blame] | 441 | void VisitDeclRefExpr(DeclRefExpr *DR) { |
Ted Kremenek | 8524873 | 2010-02-06 00:30:00 +0000 | [diff] [blame] | 442 | // Non-local variables are also directly modified. |
Benjamin Kramer | 9b20a90 | 2012-03-10 15:08:09 +0000 | [diff] [blame] | 443 | if (const VarDecl *VD = dyn_cast<VarDecl>(DR->getDecl())) { |
Ted Kremenek | 8524873 | 2010-02-06 00:30:00 +0000 | [diff] [blame] | 444 | if (!VD->hasLocalStorage()) { |
Benjamin Kramer | 9b20a90 | 2012-03-10 15:08:09 +0000 | [diff] [blame] | 445 | if (Visited.insert(VD)) |
Ted Kremenek | 8524873 | 2010-02-06 00:30:00 +0000 | [diff] [blame] | 446 | BEVals.push_back(VD, BC); |
Ted Kremenek | 8524873 | 2010-02-06 00:30:00 +0000 | [diff] [blame] | 447 | } |
Benjamin Kramer | 9b20a90 | 2012-03-10 15:08:09 +0000 | [diff] [blame] | 448 | } |
Ted Kremenek | 8524873 | 2010-02-06 00:30:00 +0000 | [diff] [blame] | 449 | } |
Ted Kremenek | 2cfe28b | 2010-03-10 00:18:11 +0000 | [diff] [blame] | 450 | |
Ted Kremenek | 2cfe28b | 2010-03-10 00:18:11 +0000 | [diff] [blame] | 451 | void VisitBlockExpr(BlockExpr *BR) { |
| 452 | // Blocks containing blocks can transitively capture more variables. |
| 453 | IgnoredContexts.insert(BR->getBlockDecl()); |
| 454 | Visit(BR->getBlockDecl()->getBody()); |
| 455 | } |
Ted Kremenek | 15ce164 | 2011-12-22 01:30:46 +0000 | [diff] [blame] | 456 | |
| 457 | void VisitPseudoObjectExpr(PseudoObjectExpr *PE) { |
| 458 | for (PseudoObjectExpr::semantics_iterator it = PE->semantics_begin(), |
| 459 | et = PE->semantics_end(); it != et; ++it) { |
| 460 | Expr *Semantic = *it; |
| 461 | if (OpaqueValueExpr *OVE = dyn_cast<OpaqueValueExpr>(Semantic)) |
| 462 | Semantic = OVE->getSourceExpr(); |
| 463 | Visit(Semantic); |
| 464 | } |
| 465 | } |
Ted Kremenek | d064fdc | 2010-03-23 00:13:23 +0000 | [diff] [blame] | 466 | }; |
Ted Kremenek | b1a7b65 | 2009-11-26 02:31:33 +0000 | [diff] [blame] | 467 | } // end anonymous namespace |
| 468 | |
| 469 | typedef BumpVector<const VarDecl*> DeclVec; |
| 470 | |
| 471 | static DeclVec* LazyInitializeReferencedDecls(const BlockDecl *BD, |
| 472 | void *&Vec, |
| 473 | llvm::BumpPtrAllocator &A) { |
| 474 | if (Vec) |
| 475 | return (DeclVec*) Vec; |
Ted Kremenek | d064fdc | 2010-03-23 00:13:23 +0000 | [diff] [blame] | 476 | |
Ted Kremenek | b1a7b65 | 2009-11-26 02:31:33 +0000 | [diff] [blame] | 477 | BumpVectorContext BC(A); |
| 478 | DeclVec *BV = (DeclVec*) A.Allocate<DeclVec>(); |
| 479 | new (BV) DeclVec(BC, 10); |
Ted Kremenek | d064fdc | 2010-03-23 00:13:23 +0000 | [diff] [blame] | 480 | |
Ted Kremenek | b929f66 | 2012-12-06 07:17:26 +0000 | [diff] [blame] | 481 | // Go through the capture list. |
| 482 | for (BlockDecl::capture_const_iterator CI = BD->capture_begin(), |
| 483 | CE = BD->capture_end(); CI != CE; ++CI) { |
| 484 | BV->push_back(CI->getVariable(), BC); |
| 485 | } |
| 486 | |
| 487 | // Find the referenced global/static variables. |
Ted Kremenek | b1a7b65 | 2009-11-26 02:31:33 +0000 | [diff] [blame] | 488 | FindBlockDeclRefExprsVals F(*BV, BC); |
| 489 | F.Visit(BD->getBody()); |
Ted Kremenek | d064fdc | 2010-03-23 00:13:23 +0000 | [diff] [blame] | 490 | |
| 491 | Vec = BV; |
Ted Kremenek | b1a7b65 | 2009-11-26 02:31:33 +0000 | [diff] [blame] | 492 | return BV; |
| 493 | } |
| 494 | |
Ted Kremenek | 1d26f48 | 2011-10-24 01:32:45 +0000 | [diff] [blame] | 495 | std::pair<AnalysisDeclContext::referenced_decls_iterator, |
| 496 | AnalysisDeclContext::referenced_decls_iterator> |
| 497 | AnalysisDeclContext::getReferencedBlockVars(const BlockDecl *BD) { |
Ted Kremenek | b1a7b65 | 2009-11-26 02:31:33 +0000 | [diff] [blame] | 498 | if (!ReferencedBlockVars) |
| 499 | ReferencedBlockVars = new llvm::DenseMap<const BlockDecl*,void*>(); |
Ted Kremenek | d064fdc | 2010-03-23 00:13:23 +0000 | [diff] [blame] | 500 | |
Ted Kremenek | b1a7b65 | 2009-11-26 02:31:33 +0000 | [diff] [blame] | 501 | DeclVec *V = LazyInitializeReferencedDecls(BD, (*ReferencedBlockVars)[BD], A); |
| 502 | return std::make_pair(V->begin(), V->end()); |
| 503 | } |
| 504 | |
Ted Kremenek | 1d26f48 | 2011-10-24 01:32:45 +0000 | [diff] [blame] | 505 | ManagedAnalysis *&AnalysisDeclContext::getAnalysisImpl(const void *tag) { |
Ted Kremenek | a5937bb | 2011-10-07 22:21:02 +0000 | [diff] [blame] | 506 | if (!ManagedAnalyses) |
| 507 | ManagedAnalyses = new ManagedAnalysisMap(); |
| 508 | ManagedAnalysisMap *M = (ManagedAnalysisMap*) ManagedAnalyses; |
| 509 | return (*M)[tag]; |
| 510 | } |
| 511 | |
Ted Kremenek | b1a7b65 | 2009-11-26 02:31:33 +0000 | [diff] [blame] | 512 | //===----------------------------------------------------------------------===// |
| 513 | // Cleanup. |
| 514 | //===----------------------------------------------------------------------===// |
| 515 | |
Ted Kremenek | a5937bb | 2011-10-07 22:21:02 +0000 | [diff] [blame] | 516 | ManagedAnalysis::~ManagedAnalysis() {} |
| 517 | |
Ted Kremenek | 1d26f48 | 2011-10-24 01:32:45 +0000 | [diff] [blame] | 518 | AnalysisDeclContext::~AnalysisDeclContext() { |
Ted Kremenek | b8ad5ee | 2011-03-10 01:14:05 +0000 | [diff] [blame] | 519 | delete forcedBlkExprs; |
Ted Kremenek | b1a7b65 | 2009-11-26 02:31:33 +0000 | [diff] [blame] | 520 | delete ReferencedBlockVars; |
Ted Kremenek | a5937bb | 2011-10-07 22:21:02 +0000 | [diff] [blame] | 521 | // Release the managed analyses. |
| 522 | if (ManagedAnalyses) { |
| 523 | ManagedAnalysisMap *M = (ManagedAnalysisMap*) ManagedAnalyses; |
| 524 | for (ManagedAnalysisMap::iterator I = M->begin(), E = M->end(); I!=E; ++I) |
| 525 | delete I->second; |
| 526 | delete M; |
| 527 | } |
Ted Kremenek | b1a7b65 | 2009-11-26 02:31:33 +0000 | [diff] [blame] | 528 | } |
| 529 | |
Ted Kremenek | 1d26f48 | 2011-10-24 01:32:45 +0000 | [diff] [blame] | 530 | AnalysisDeclContextManager::~AnalysisDeclContextManager() { |
Ted Kremenek | b1a7b65 | 2009-11-26 02:31:33 +0000 | [diff] [blame] | 531 | for (ContextMap::iterator I = Contexts.begin(), E = Contexts.end(); I!=E; ++I) |
| 532 | delete I->second; |
| 533 | } |
Ted Kremenek | 0ee4124 | 2009-12-04 01:28:56 +0000 | [diff] [blame] | 534 | |
| 535 | LocationContext::~LocationContext() {} |
| 536 | |
| 537 | LocationContextManager::~LocationContextManager() { |
| 538 | clear(); |
| 539 | } |
| 540 | |
| 541 | void LocationContextManager::clear() { |
| 542 | for (llvm::FoldingSet<LocationContext>::iterator I = Contexts.begin(), |
Ted Kremenek | d064fdc | 2010-03-23 00:13:23 +0000 | [diff] [blame] | 543 | E = Contexts.end(); I != E; ) { |
Ted Kremenek | 0ee4124 | 2009-12-04 01:28:56 +0000 | [diff] [blame] | 544 | LocationContext *LC = &*I; |
| 545 | ++I; |
| 546 | delete LC; |
| 547 | } |
Ted Kremenek | d064fdc | 2010-03-23 00:13:23 +0000 | [diff] [blame] | 548 | |
Ted Kremenek | 0ee4124 | 2009-12-04 01:28:56 +0000 | [diff] [blame] | 549 | Contexts.clear(); |
| 550 | } |
| 551 | |