[cfe-commits] r142784 - in /cfe/trunk/lib/Analysis: AnalysisContext.cpp AnalysisDeclContext.cpp
Ted Kremenek
kremenek at apple.com
Sun Oct 23 19:54:01 PDT 2011
Thanks Chandler!
Sent from my iPad
On Oct 23, 2011, at 6:47 PM, Chandler Carruth <chandlerc at gmail.com> wrote:
> Author: chandlerc
> Date: Sun Oct 23 20:47:37 2011
> New Revision: 142784
>
> URL: http://llvm.org/viewvc/llvm-project?rev=142784&view=rev
> Log:
> Actually rename the file AnalysisContext.cpp -> AnalysisDeclContext.cpp
> to match the CMakeLists.txt change in r142782; this should fix the CMake
> build.
>
> Added:
> cfe/trunk/lib/Analysis/AnalysisDeclContext.cpp
> - copied, changed from r142782, cfe/trunk/lib/Analysis/AnalysisContext.cpp
> Removed:
> cfe/trunk/lib/Analysis/AnalysisContext.cpp
>
> Removed: cfe/trunk/lib/Analysis/AnalysisContext.cpp
> URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Analysis/AnalysisContext.cpp?rev=142783&view=auto
> ==============================================================================
> --- cfe/trunk/lib/Analysis/AnalysisContext.cpp (original)
> +++ cfe/trunk/lib/Analysis/AnalysisContext.cpp (removed)
> @@ -1,454 +0,0 @@
> -//== AnalysisDeclContext.cpp - Analysis context for Path Sens analysis -*- 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 AnalysisDeclContext, a class that manages the analysis context
> -// data for path sensitive analysis.
> -//
> -//===----------------------------------------------------------------------===//
> -
> -#include "clang/AST/Decl.h"
> -#include "clang/AST/DeclObjC.h"
> -#include "clang/AST/DeclTemplate.h"
> -#include "clang/AST/ParentMap.h"
> -#include "clang/AST/StmtVisitor.h"
> -#include "clang/Analysis/Analyses/LiveVariables.h"
> -#include "clang/Analysis/Analyses/PseudoConstantAnalysis.h"
> -#include "clang/Analysis/Analyses/CFGReachabilityAnalysis.h"
> -#include "clang/Analysis/AnalysisContext.h"
> -#include "clang/Analysis/CFG.h"
> -#include "clang/Analysis/CFGStmtMap.h"
> -#include "clang/Analysis/Support/BumpVector.h"
> -#include "clang/Analysis/Support/SaveAndRestore.h"
> -#include "llvm/ADT/SmallSet.h"
> -#include "llvm/Support/ErrorHandling.h"
> -
> -using namespace clang;
> -
> -typedef llvm::DenseMap<const void *, ManagedAnalysis *> ManagedAnalysisMap;
> -
> -AnalysisDeclContext::AnalysisDeclContext(AnalysisDeclContextManager *Mgr,
> - const Decl *d,
> - idx::TranslationUnit *tu,
> - const CFG::BuildOptions &buildOptions)
> - : Manager(Mgr),
> - D(d),
> - TU(tu),
> - cfgBuildOptions(buildOptions),
> - forcedBlkExprs(0),
> - builtCFG(false),
> - builtCompleteCFG(false),
> - ReferencedBlockVars(0),
> - ManagedAnalyses(0)
> -{
> - cfgBuildOptions.forcedBlkExprs = &forcedBlkExprs;
> -}
> -
> -AnalysisDeclContext::AnalysisDeclContext(AnalysisDeclContextManager *Mgr,
> - const Decl *d,
> - idx::TranslationUnit *tu)
> -: Manager(Mgr),
> - D(d),
> - TU(tu),
> - forcedBlkExprs(0),
> - builtCFG(false),
> - builtCompleteCFG(false),
> - ReferencedBlockVars(0),
> - ManagedAnalyses(0)
> -{
> - cfgBuildOptions.forcedBlkExprs = &forcedBlkExprs;
> -}
> -
> -AnalysisDeclContextManager::AnalysisDeclContextManager(bool useUnoptimizedCFG,
> - bool addImplicitDtors,
> - bool addInitializers) {
> - cfgBuildOptions.PruneTriviallyFalseEdges = !useUnoptimizedCFG;
> - cfgBuildOptions.AddImplicitDtors = addImplicitDtors;
> - cfgBuildOptions.AddInitializers = addInitializers;
> -}
> -
> -void AnalysisDeclContextManager::clear() {
> - for (ContextMap::iterator I = Contexts.begin(), E = Contexts.end(); I!=E; ++I)
> - delete I->second;
> - Contexts.clear();
> -}
> -
> -Stmt *AnalysisDeclContext::getBody() const {
> - if (const FunctionDecl *FD = dyn_cast<FunctionDecl>(D))
> - return FD->getBody();
> - else if (const ObjCMethodDecl *MD = dyn_cast<ObjCMethodDecl>(D))
> - return MD->getBody();
> - else if (const BlockDecl *BD = dyn_cast<BlockDecl>(D))
> - return BD->getBody();
> - else if (const FunctionTemplateDecl *FunTmpl
> - = dyn_cast_or_null<FunctionTemplateDecl>(D))
> - return FunTmpl->getTemplatedDecl()->getBody();
> -
> - llvm_unreachable("unknown code decl");
> -}
> -
> -const ImplicitParamDecl *AnalysisDeclContext::getSelfDecl() const {
> - if (const ObjCMethodDecl *MD = dyn_cast<ObjCMethodDecl>(D))
> - return MD->getSelfDecl();
> -
> - return NULL;
> -}
> -
> -void AnalysisDeclContext::registerForcedBlockExpression(const Stmt *stmt) {
> - if (!forcedBlkExprs)
> - forcedBlkExprs = new CFG::BuildOptions::ForcedBlkExprs();
> - // Default construct an entry for 'stmt'.
> - if (const Expr *e = dyn_cast<Expr>(stmt))
> - stmt = e->IgnoreParens();
> - (void) (*forcedBlkExprs)[stmt];
> -}
> -
> -const CFGBlock *
> -AnalysisDeclContext::getBlockForRegisteredExpression(const Stmt *stmt) {
> - assert(forcedBlkExprs);
> - if (const Expr *e = dyn_cast<Expr>(stmt))
> - stmt = e->IgnoreParens();
> - CFG::BuildOptions::ForcedBlkExprs::const_iterator itr =
> - forcedBlkExprs->find(stmt);
> - assert(itr != forcedBlkExprs->end());
> - return itr->second;
> -}
> -
> -CFG *AnalysisDeclContext::getCFG() {
> - if (!cfgBuildOptions.PruneTriviallyFalseEdges)
> - return getUnoptimizedCFG();
> -
> - if (!builtCFG) {
> - cfg.reset(CFG::buildCFG(D, getBody(),
> - &D->getASTContext(), cfgBuildOptions));
> - // Even when the cfg is not successfully built, we don't
> - // want to try building it again.
> - builtCFG = true;
> - }
> - return cfg.get();
> -}
> -
> -CFG *AnalysisDeclContext::getUnoptimizedCFG() {
> - if (!builtCompleteCFG) {
> - SaveAndRestore<bool> NotPrune(cfgBuildOptions.PruneTriviallyFalseEdges,
> - false);
> - completeCFG.reset(CFG::buildCFG(D, getBody(), &D->getASTContext(),
> - cfgBuildOptions));
> - // Even when the cfg is not successfully built, we don't
> - // want to try building it again.
> - builtCompleteCFG = true;
> - }
> - return completeCFG.get();
> -}
> -
> -CFGStmtMap *AnalysisDeclContext::getCFGStmtMap() {
> - if (cfgStmtMap)
> - return cfgStmtMap.get();
> -
> - if (CFG *c = getCFG()) {
> - cfgStmtMap.reset(CFGStmtMap::Build(c, &getParentMap()));
> - return cfgStmtMap.get();
> - }
> -
> - return 0;
> -}
> -
> -CFGReverseBlockReachabilityAnalysis *AnalysisDeclContext::getCFGReachablityAnalysis() {
> - if (CFA)
> - return CFA.get();
> -
> - if (CFG *c = getCFG()) {
> - CFA.reset(new CFGReverseBlockReachabilityAnalysis(*c));
> - return CFA.get();
> - }
> -
> - return 0;
> -}
> -
> -void AnalysisDeclContext::dumpCFG() {
> - getCFG()->dump(getASTContext().getLangOptions());
> -}
> -
> -ParentMap &AnalysisDeclContext::getParentMap() {
> - if (!PM)
> - PM.reset(new ParentMap(getBody()));
> - return *PM;
> -}
> -
> -PseudoConstantAnalysis *AnalysisDeclContext::getPseudoConstantAnalysis() {
> - if (!PCA)
> - PCA.reset(new PseudoConstantAnalysis(getBody()));
> - return PCA.get();
> -}
> -
> -AnalysisDeclContext *AnalysisDeclContextManager::getContext(const Decl *D,
> - idx::TranslationUnit *TU) {
> - AnalysisDeclContext *&AC = Contexts[D];
> - if (!AC)
> - AC = new AnalysisDeclContext(this, D, TU, cfgBuildOptions);
> - return AC;
> -}
> -
> -const StackFrameContext *
> -AnalysisDeclContext::getStackFrame(LocationContext const *Parent, const Stmt *S,
> - const CFGBlock *Blk, unsigned Idx) {
> - return getLocationContextManager().getStackFrame(this, Parent, S, Blk, Idx);
> -}
> -
> -LocationContextManager & AnalysisDeclContext::getLocationContextManager() {
> - assert(Manager &&
> - "Cannot create LocationContexts without an AnalysisDeclContextManager!");
> - return Manager->getLocationContextManager();
> -}
> -
> -//===----------------------------------------------------------------------===//
> -// FoldingSet profiling.
> -//===----------------------------------------------------------------------===//
> -
> -void LocationContext::ProfileCommon(llvm::FoldingSetNodeID &ID,
> - ContextKind ck,
> - AnalysisDeclContext *ctx,
> - const LocationContext *parent,
> - const void *data) {
> - ID.AddInteger(ck);
> - ID.AddPointer(ctx);
> - ID.AddPointer(parent);
> - ID.AddPointer(data);
> -}
> -
> -void StackFrameContext::Profile(llvm::FoldingSetNodeID &ID) {
> - Profile(ID, getAnalysisDeclContext(), getParent(), CallSite, Block, Index);
> -}
> -
> -void ScopeContext::Profile(llvm::FoldingSetNodeID &ID) {
> - Profile(ID, getAnalysisDeclContext(), getParent(), Enter);
> -}
> -
> -void BlockInvocationContext::Profile(llvm::FoldingSetNodeID &ID) {
> - Profile(ID, getAnalysisDeclContext(), getParent(), BD);
> -}
> -
> -//===----------------------------------------------------------------------===//
> -// LocationContext creation.
> -//===----------------------------------------------------------------------===//
> -
> -template <typename LOC, typename DATA>
> -const LOC*
> -LocationContextManager::getLocationContext(AnalysisDeclContext *ctx,
> - const LocationContext *parent,
> - const DATA *d) {
> - llvm::FoldingSetNodeID ID;
> - LOC::Profile(ID, ctx, parent, d);
> - void *InsertPos;
> -
> - LOC *L = cast_or_null<LOC>(Contexts.FindNodeOrInsertPos(ID, InsertPos));
> -
> - if (!L) {
> - L = new LOC(ctx, parent, d);
> - Contexts.InsertNode(L, InsertPos);
> - }
> - return L;
> -}
> -
> -const StackFrameContext*
> -LocationContextManager::getStackFrame(AnalysisDeclContext *ctx,
> - const LocationContext *parent,
> - const Stmt *s,
> - const CFGBlock *blk, unsigned idx) {
> - llvm::FoldingSetNodeID ID;
> - StackFrameContext::Profile(ID, ctx, parent, s, blk, idx);
> - void *InsertPos;
> - StackFrameContext *L =
> - cast_or_null<StackFrameContext>(Contexts.FindNodeOrInsertPos(ID, InsertPos));
> - if (!L) {
> - L = new StackFrameContext(ctx, parent, s, blk, idx);
> - Contexts.InsertNode(L, InsertPos);
> - }
> - return L;
> -}
> -
> -const ScopeContext *
> -LocationContextManager::getScope(AnalysisDeclContext *ctx,
> - const LocationContext *parent,
> - const Stmt *s) {
> - return getLocationContext<ScopeContext, Stmt>(ctx, parent, s);
> -}
> -
> -//===----------------------------------------------------------------------===//
> -// LocationContext methods.
> -//===----------------------------------------------------------------------===//
> -
> -const StackFrameContext *LocationContext::getCurrentStackFrame() const {
> - const LocationContext *LC = this;
> - while (LC) {
> - if (const StackFrameContext *SFC = dyn_cast<StackFrameContext>(LC))
> - return SFC;
> - LC = LC->getParent();
> - }
> - return NULL;
> -}
> -
> -const StackFrameContext *
> -LocationContext::getStackFrameForDeclContext(const DeclContext *DC) const {
> - const LocationContext *LC = this;
> - while (LC) {
> - if (const StackFrameContext *SFC = dyn_cast<StackFrameContext>(LC)) {
> - if (cast<DeclContext>(SFC->getDecl()) == DC)
> - return SFC;
> - }
> - LC = LC->getParent();
> - }
> - return NULL;
> -}
> -
> -bool LocationContext::isParentOf(const LocationContext *LC) const {
> - do {
> - const LocationContext *Parent = LC->getParent();
> - if (Parent == this)
> - return true;
> - else
> - LC = Parent;
> - } while (LC);
> -
> - return false;
> -}
> -
> -//===----------------------------------------------------------------------===//
> -// Lazily generated map to query the external variables referenced by a Block.
> -//===----------------------------------------------------------------------===//
> -
> -namespace {
> -class FindBlockDeclRefExprsVals : public StmtVisitor<FindBlockDeclRefExprsVals>{
> - BumpVector<const VarDecl*> &BEVals;
> - BumpVectorContext &BC;
> - llvm::DenseMap<const VarDecl*, unsigned> Visited;
> - llvm::SmallSet<const DeclContext*, 4> IgnoredContexts;
> -public:
> - FindBlockDeclRefExprsVals(BumpVector<const VarDecl*> &bevals,
> - BumpVectorContext &bc)
> - : BEVals(bevals), BC(bc) {}
> -
> - bool IsTrackedDecl(const VarDecl *VD) {
> - const DeclContext *DC = VD->getDeclContext();
> - return IgnoredContexts.count(DC) == 0;
> - }
> -
> - void VisitStmt(Stmt *S) {
> - for (Stmt::child_range I = S->children(); I; ++I)
> - if (Stmt *child = *I)
> - Visit(child);
> - }
> -
> - void VisitDeclRefExpr(const DeclRefExpr *DR) {
> - // Non-local variables are also directly modified.
> - if (const VarDecl *VD = dyn_cast<VarDecl>(DR->getDecl()))
> - if (!VD->hasLocalStorage()) {
> - unsigned &flag = Visited[VD];
> - if (!flag) {
> - flag = 1;
> - BEVals.push_back(VD, BC);
> - }
> - }
> - }
> -
> - void VisitBlockDeclRefExpr(BlockDeclRefExpr *DR) {
> - if (const VarDecl *VD = dyn_cast<VarDecl>(DR->getDecl())) {
> - unsigned &flag = Visited[VD];
> - if (!flag) {
> - flag = 1;
> - if (IsTrackedDecl(VD))
> - BEVals.push_back(VD, BC);
> - }
> - }
> - }
> -
> - void VisitBlockExpr(BlockExpr *BR) {
> - // Blocks containing blocks can transitively capture more variables.
> - IgnoredContexts.insert(BR->getBlockDecl());
> - Visit(BR->getBlockDecl()->getBody());
> - }
> -};
> -} // end anonymous namespace
> -
> -typedef BumpVector<const VarDecl*> DeclVec;
> -
> -static DeclVec* LazyInitializeReferencedDecls(const BlockDecl *BD,
> - void *&Vec,
> - llvm::BumpPtrAllocator &A) {
> - if (Vec)
> - return (DeclVec*) Vec;
> -
> - BumpVectorContext BC(A);
> - DeclVec *BV = (DeclVec*) A.Allocate<DeclVec>();
> - new (BV) DeclVec(BC, 10);
> -
> - // Find the referenced variables.
> - FindBlockDeclRefExprsVals F(*BV, BC);
> - F.Visit(BD->getBody());
> -
> - Vec = BV;
> - return BV;
> -}
> -
> -std::pair<AnalysisDeclContext::referenced_decls_iterator,
> - AnalysisDeclContext::referenced_decls_iterator>
> -AnalysisDeclContext::getReferencedBlockVars(const BlockDecl *BD) {
> - if (!ReferencedBlockVars)
> - ReferencedBlockVars = new llvm::DenseMap<const BlockDecl*,void*>();
> -
> - DeclVec *V = LazyInitializeReferencedDecls(BD, (*ReferencedBlockVars)[BD], A);
> - return std::make_pair(V->begin(), V->end());
> -}
> -
> -ManagedAnalysis *&AnalysisDeclContext::getAnalysisImpl(const void *tag) {
> - if (!ManagedAnalyses)
> - ManagedAnalyses = new ManagedAnalysisMap();
> - ManagedAnalysisMap *M = (ManagedAnalysisMap*) ManagedAnalyses;
> - return (*M)[tag];
> -}
> -
> -//===----------------------------------------------------------------------===//
> -// Cleanup.
> -//===----------------------------------------------------------------------===//
> -
> -ManagedAnalysis::~ManagedAnalysis() {}
> -
> -AnalysisDeclContext::~AnalysisDeclContext() {
> - delete forcedBlkExprs;
> - delete ReferencedBlockVars;
> - // Release the managed analyses.
> - if (ManagedAnalyses) {
> - ManagedAnalysisMap *M = (ManagedAnalysisMap*) ManagedAnalyses;
> - for (ManagedAnalysisMap::iterator I = M->begin(), E = M->end(); I!=E; ++I)
> - delete I->second;
> - delete M;
> - }
> -}
> -
> -AnalysisDeclContextManager::~AnalysisDeclContextManager() {
> - for (ContextMap::iterator I = Contexts.begin(), E = Contexts.end(); I!=E; ++I)
> - delete I->second;
> -}
> -
> -LocationContext::~LocationContext() {}
> -
> -LocationContextManager::~LocationContextManager() {
> - clear();
> -}
> -
> -void LocationContextManager::clear() {
> - for (llvm::FoldingSet<LocationContext>::iterator I = Contexts.begin(),
> - E = Contexts.end(); I != E; ) {
> - LocationContext *LC = &*I;
> - ++I;
> - delete LC;
> - }
> -
> - Contexts.clear();
> -}
> -
>
> Copied: cfe/trunk/lib/Analysis/AnalysisDeclContext.cpp (from r142782, cfe/trunk/lib/Analysis/AnalysisContext.cpp)
> URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Analysis/AnalysisDeclContext.cpp?p2=cfe/trunk/lib/Analysis/AnalysisDeclContext.cpp&p1=cfe/trunk/lib/Analysis/AnalysisContext.cpp&r1=142782&r2=142784&rev=142784&view=diff
> ==============================================================================
> (empty)
>
>
> _______________________________________________
> cfe-commits mailing list
> cfe-commits at cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
More information about the cfe-commits
mailing list