diff options
author | Ted Kremenek <kremenek@apple.com> | 2009-08-21 23:58:43 +0000 |
---|---|---|
committer | Ted Kremenek <kremenek@apple.com> | 2009-08-21 23:58:43 +0000 |
commit | 2376002038c8b904acd20be754aedd1a7471be71 (patch) | |
tree | 5e32e46ec2a013889d309654a9c6821e425134df | |
parent | 54c809b19444a01444f36e93d1d28c9a5668484c (diff) |
Remove 'AnalysisContext::setDecl()', as we the Decl associated with an
AnalysisContext should never change. Along the way, propagate some constness
around.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@79701 91177308-0d34-0410-b5e6-96231b3b80d8
-rw-r--r-- | include/clang/Analysis/LocalCheckers.h | 10 | ||||
-rw-r--r-- | include/clang/Analysis/PathSensitive/AnalysisContext.h | 20 | ||||
-rw-r--r-- | include/clang/Analysis/PathSensitive/AnalysisManager.h | 2 | ||||
-rw-r--r-- | include/clang/Analysis/PathSensitive/ExplodedGraph.h | 7 | ||||
-rw-r--r-- | include/clang/Analysis/PathSensitive/GRCoreEngine.h | 5 | ||||
-rw-r--r-- | include/clang/Analysis/PathSensitive/GRExprEngine.h | 2 | ||||
-rw-r--r-- | lib/Analysis/AnalysisContext.cpp | 23 | ||||
-rw-r--r-- | lib/Analysis/AnalysisManager.cpp | 2 | ||||
-rw-r--r-- | lib/Analysis/CheckObjCDealloc.cpp | 4 | ||||
-rw-r--r-- | lib/Analysis/CheckObjCInstMethSignature.cpp | 14 | ||||
-rw-r--r-- | lib/Analysis/CheckObjCUnusedIVars.cpp | 3 | ||||
-rw-r--r-- | lib/Analysis/CheckSecuritySyntaxOnly.cpp | 2 | ||||
-rw-r--r-- | lib/Analysis/GRExprEngine.cpp | 4 |
13 files changed, 52 insertions, 46 deletions
diff --git a/include/clang/Analysis/LocalCheckers.h b/include/clang/Analysis/LocalCheckers.h index 2322f5ebb7..c6d53e60ef 100644 --- a/include/clang/Analysis/LocalCheckers.h +++ b/include/clang/Analysis/LocalCheckers.h @@ -40,15 +40,17 @@ void CheckUninitializedValues(CFG& cfg, ASTContext& Ctx, Diagnostic& Diags, GRTransferFuncs* MakeCFRefCountTF(ASTContext& Ctx, bool GCEnabled, const LangOptions& lopts); -void CheckObjCDealloc(ObjCImplementationDecl* D, const LangOptions& L, +void CheckObjCDealloc(const ObjCImplementationDecl* D, const LangOptions& L, BugReporter& BR); -void CheckObjCInstMethSignature(ObjCImplementationDecl* ID, BugReporter& BR); -void CheckObjCUnusedIvar(ObjCImplementationDecl* D, BugReporter& BR); +void CheckObjCInstMethSignature(const ObjCImplementationDecl *ID, + BugReporter& BR); + +void CheckObjCUnusedIvar(const ObjCImplementationDecl *D, BugReporter& BR); void RegisterAppleChecks(GRExprEngine& Eng, const Decl &D); -void CheckSecuritySyntaxOnly(Decl *D, BugReporter &BR); +void CheckSecuritySyntaxOnly(const Decl *D, BugReporter &BR); } // end namespace clang diff --git a/include/clang/Analysis/PathSensitive/AnalysisContext.h b/include/clang/Analysis/PathSensitive/AnalysisContext.h index db281fec58..e69b4f529f 100644 --- a/include/clang/Analysis/PathSensitive/AnalysisContext.h +++ b/include/clang/Analysis/PathSensitive/AnalysisContext.h @@ -17,7 +17,7 @@ #include "llvm/ADT/OwningPtr.h" #include "llvm/ADT/FoldingSet.h" -#include <map> +#include "llvm/ADT/DenseMap.h" namespace clang { @@ -31,8 +31,7 @@ class ImplicitParamDecl; /// AnalysisContext contains the context data for the function or method under /// analysis. class AnalysisContext { - Decl *D; - Stmt *Body; + const Decl *D; // AnalysisContext owns the following data. CFG *cfg; @@ -40,11 +39,10 @@ class AnalysisContext { ParentMap *PM; public: - AnalysisContext() : D(0), Body(0), cfg(0), liveness(0), PM(0) {} + AnalysisContext(const Decl *d) : D(d), cfg(0), liveness(0), PM(0) {} ~AnalysisContext(); - void setDecl(Decl* d) { D = d; } - Decl *getDecl() { return D; } + const Decl *getDecl() { return D; } Stmt *getBody(); CFG *getCFG(); ParentMap &getParentMap(); @@ -56,12 +54,12 @@ public: }; class AnalysisContextManager { - std::map<Decl*, AnalysisContext> Contexts; - + typedef llvm::DenseMap<const Decl*, AnalysisContext*> ContextMap; + ContextMap Contexts; public: - typedef std::map<Decl*, AnalysisContext>::iterator iterator; - - AnalysisContext *getContext(Decl *D); + ~AnalysisContextManager(); + + AnalysisContext *getContext(const Decl *D); }; class LocationContext : public llvm::FoldingSetNode { diff --git a/include/clang/Analysis/PathSensitive/AnalysisManager.h b/include/clang/Analysis/PathSensitive/AnalysisManager.h index deff4818ce..78d77b58a1 100644 --- a/include/clang/Analysis/PathSensitive/AnalysisManager.h +++ b/include/clang/Analysis/PathSensitive/AnalysisManager.h @@ -83,7 +83,7 @@ public: DisplayedFunction = false; } - Decl *getCodeDecl() const { + const Decl *getCodeDecl() const { assert (AScope == ScopeDecl); return EntryContext->getDecl(); } diff --git a/include/clang/Analysis/PathSensitive/ExplodedGraph.h b/include/clang/Analysis/PathSensitive/ExplodedGraph.h index 1a25565c29..79df895d6c 100644 --- a/include/clang/Analysis/PathSensitive/ExplodedGraph.h +++ b/include/clang/Analysis/PathSensitive/ExplodedGraph.h @@ -226,9 +226,10 @@ protected: /// cfg - The CFG associated with this analysis graph. CFG& cfg; + // FIXME: Remove. /// CodeDecl - The declaration containing the code being analyzed. This /// can be a FunctionDecl or and ObjCMethodDecl. - Decl& CodeDecl; + const Decl& CodeDecl; /// Ctx - The ASTContext used to "interpret" CodeDecl. ASTContext& Ctx; @@ -261,7 +262,7 @@ public: return V; } - ExplodedGraph(CFG& c, Decl& cd, ASTContext& ctx) + ExplodedGraph(CFG& c, const Decl &cd, ASTContext& ctx) : cfg(c), CodeDecl(cd), Ctx(ctx), NumNodes(0) {} virtual ~ExplodedGraph() {} @@ -310,7 +311,7 @@ public: CFG& getCFG() { return cfg; } ASTContext& getContext() { return Ctx; } - Decl& getCodeDecl() { return CodeDecl; } + // FIXME: Remove. const Decl& getCodeDecl() const { return CodeDecl; } const FunctionDecl* getFunctionDecl() const { diff --git a/include/clang/Analysis/PathSensitive/GRCoreEngine.h b/include/clang/Analysis/PathSensitive/GRCoreEngine.h index 8d93963e75..ee7a095748 100644 --- a/include/clang/Analysis/PathSensitive/GRCoreEngine.h +++ b/include/clang/Analysis/PathSensitive/GRCoreEngine.h @@ -98,7 +98,8 @@ private: public: /// Construct a GRCoreEngine object to analyze the provided CFG using /// a DFS exploration of the exploded graph. - GRCoreEngine(CFG& cfg, Decl& cd, ASTContext& ctx, GRSubEngine& subengine) + GRCoreEngine(CFG& cfg, const Decl &cd, ASTContext& ctx, + GRSubEngine& subengine) : SubEngine(subengine), G(new ExplodedGraph(cfg, cd, ctx)), WList(GRWorkList::MakeBFS()), BCounterFactory(G->getAllocator()) {} @@ -106,7 +107,7 @@ public: /// Construct a GRCoreEngine object to analyze the provided CFG and to /// use the provided worklist object to execute the worklist algorithm. /// The GRCoreEngine object assumes ownership of 'wlist'. - GRCoreEngine(CFG& cfg, Decl& cd, ASTContext& ctx, GRWorkList* wlist, + GRCoreEngine(CFG& cfg, const Decl &cd, ASTContext& ctx, GRWorkList* wlist, GRSubEngine& subengine) : SubEngine(subengine), G(new ExplodedGraph(cfg, cd, ctx)), WList(wlist), BCounterFactory(G->getAllocator()) {} diff --git a/include/clang/Analysis/PathSensitive/GRExprEngine.h b/include/clang/Analysis/PathSensitive/GRExprEngine.h index a651f95b90..6ca8cf4b7f 100644 --- a/include/clang/Analysis/PathSensitive/GRExprEngine.h +++ b/include/clang/Analysis/PathSensitive/GRExprEngine.h @@ -202,7 +202,7 @@ public: ErrorNodes ExplicitOOBMemAccesses; public: - GRExprEngine(CFG& cfg, Decl& CD, ASTContext& Ctx, LiveVariables& L, + GRExprEngine(CFG& cfg, const Decl &CD, ASTContext& Ctx, LiveVariables& L, AnalysisManager &mgr, bool purgeDead, bool eagerlyAssume = true, StoreManagerCreator SMC = CreateBasicStoreManager, diff --git a/lib/Analysis/AnalysisContext.cpp b/lib/Analysis/AnalysisContext.cpp index ef47ece70e..da671d62f1 100644 --- a/lib/Analysis/AnalysisContext.cpp +++ b/lib/Analysis/AnalysisContext.cpp @@ -28,10 +28,15 @@ AnalysisContext::~AnalysisContext() { delete PM; } +AnalysisContextManager::~AnalysisContextManager() { + for (ContextMap::iterator I = Contexts.begin(), E = Contexts.end(); I!=E; ++I) + delete I->second; +} + Stmt *AnalysisContext::getBody() { - if (FunctionDecl *FD = dyn_cast<FunctionDecl>(D)) + if (const FunctionDecl *FD = dyn_cast<FunctionDecl>(D)) return FD->getBody(); - else if (ObjCMethodDecl *MD = dyn_cast<ObjCMethodDecl>(D)) + else if (const ObjCMethodDecl *MD = dyn_cast<ObjCMethodDecl>(D)) return MD->getBody(); llvm::llvm_unreachable("unknown code decl"); @@ -70,14 +75,12 @@ LiveVariables *AnalysisContext::getLiveVariables() { return liveness; } -AnalysisContext *AnalysisContextManager::getContext(Decl *D) { - iterator I = Contexts.find(D); - if (I != Contexts.end()) - return &(I->second); - - AnalysisContext &Ctx = Contexts[D]; - Ctx.setDecl(D); - return &Ctx; +AnalysisContext *AnalysisContextManager::getContext(const Decl *D) { + AnalysisContext *&AC = Contexts[D]; + if (!AC) + AC = new AnalysisContext(D); + + return AC; } void LocationContext::Profile(llvm::FoldingSetNodeID &ID, ContextKind k, diff --git a/lib/Analysis/AnalysisManager.cpp b/lib/Analysis/AnalysisManager.cpp index 125c00bfee..f29cd78575 100644 --- a/lib/Analysis/AnalysisManager.cpp +++ b/lib/Analysis/AnalysisManager.cpp @@ -27,7 +27,7 @@ void AnalysisManager::DisplayFunction() { // FIXME: Is getCodeDecl() always a named decl? if (isa<FunctionDecl>(getCodeDecl()) || isa<ObjCMethodDecl>(getCodeDecl())) { - NamedDecl *ND = cast<NamedDecl>(getCodeDecl()); + const NamedDecl *ND = cast<NamedDecl>(getCodeDecl()); SourceManager &SM = getContext().getSourceManager(); llvm::cerr << "ANALYZE: " << SM.getPresumedLoc(ND->getLocation()).getFilename() diff --git a/lib/Analysis/CheckObjCDealloc.cpp b/lib/Analysis/CheckObjCDealloc.cpp index 7e6023a1f5..3392fcfdc3 100644 --- a/lib/Analysis/CheckObjCDealloc.cpp +++ b/lib/Analysis/CheckObjCDealloc.cpp @@ -87,13 +87,13 @@ static bool scan_ivar_release(Stmt* S, ObjCIvarDecl* ID, return false; } -void clang::CheckObjCDealloc(ObjCImplementationDecl* D, +void clang::CheckObjCDealloc(const ObjCImplementationDecl* D, const LangOptions& LOpts, BugReporter& BR) { assert (LOpts.getGCMode() != LangOptions::GCOnly); ASTContext& Ctx = BR.getContext(); - ObjCInterfaceDecl* ID = D->getClassInterface(); + const ObjCInterfaceDecl* ID = D->getClassInterface(); // Does the class contain any ivars that are pointers (or id<...>)? // If not, skip the check entirely. diff --git a/lib/Analysis/CheckObjCInstMethSignature.cpp b/lib/Analysis/CheckObjCInstMethSignature.cpp index c208a7c323..aae1e1da3b 100644 --- a/lib/Analysis/CheckObjCInstMethSignature.cpp +++ b/lib/Analysis/CheckObjCInstMethSignature.cpp @@ -36,10 +36,10 @@ static bool AreTypesCompatible(QualType Derived, QualType Ancestor, return C.typesAreCompatible(Derived, Ancestor); } -static void CompareReturnTypes(ObjCMethodDecl* MethDerived, - ObjCMethodDecl* MethAncestor, - BugReporter& BR, ASTContext& Ctx, - ObjCImplementationDecl* ID) { +static void CompareReturnTypes(const ObjCMethodDecl *MethDerived, + const ObjCMethodDecl *MethAncestor, + BugReporter &BR, ASTContext &Ctx, + const ObjCImplementationDecl *ID) { QualType ResDerived = MethDerived->getResultType(); QualType ResAncestor = MethAncestor->getResultType(); @@ -69,11 +69,11 @@ static void CompareReturnTypes(ObjCMethodDecl* MethDerived, } } -void clang::CheckObjCInstMethSignature(ObjCImplementationDecl* ID, +void clang::CheckObjCInstMethSignature(const ObjCImplementationDecl* ID, BugReporter& BR) { - ObjCInterfaceDecl* D = ID->getClassInterface(); - ObjCInterfaceDecl* C = D->getSuperClass(); + const ObjCInterfaceDecl* D = ID->getClassInterface(); + const ObjCInterfaceDecl* C = D->getSuperClass(); if (!C) return; diff --git a/lib/Analysis/CheckObjCUnusedIVars.cpp b/lib/Analysis/CheckObjCUnusedIVars.cpp index 3a69e00499..75470972f3 100644 --- a/lib/Analysis/CheckObjCUnusedIVars.cpp +++ b/lib/Analysis/CheckObjCUnusedIVars.cpp @@ -62,7 +62,8 @@ static void Scan(IvarUsageMap& M, const ObjCPropertyImplDecl* D) { I->second = Used; } -void clang::CheckObjCUnusedIvar(ObjCImplementationDecl* D, BugReporter& BR) { +void clang::CheckObjCUnusedIvar(const ObjCImplementationDecl *D, + BugReporter &BR) { const ObjCInterfaceDecl* ID = D->getClassInterface(); IvarUsageMap M; diff --git a/lib/Analysis/CheckSecuritySyntaxOnly.cpp b/lib/Analysis/CheckSecuritySyntaxOnly.cpp index 17fc6d7c32..96c42f8ba0 100644 --- a/lib/Analysis/CheckSecuritySyntaxOnly.cpp +++ b/lib/Analysis/CheckSecuritySyntaxOnly.cpp @@ -229,7 +229,7 @@ void WalkAST::CheckCall_gets(const CallExpr *CE, const FunctionDecl *FD) { // Entry point for check. //===----------------------------------------------------------------------===// -void clang::CheckSecuritySyntaxOnly(Decl *D, BugReporter &BR) { +void clang::CheckSecuritySyntaxOnly(const Decl *D, BugReporter &BR) { WalkAST walker(BR); walker.Visit(D->getBody()); } diff --git a/lib/Analysis/GRExprEngine.cpp b/lib/Analysis/GRExprEngine.cpp index a8d34071e6..f4711a1520 100644 --- a/lib/Analysis/GRExprEngine.cpp +++ b/lib/Analysis/GRExprEngine.cpp @@ -148,8 +148,8 @@ static inline Selector GetNullarySelector(const char* name, ASTContext& Ctx) { } -GRExprEngine::GRExprEngine(CFG& cfg, Decl& CD, ASTContext& Ctx, - LiveVariables& L, AnalysisManager &mgr, +GRExprEngine::GRExprEngine(CFG &cfg, const Decl &CD, ASTContext &Ctx, + LiveVariables &L, AnalysisManager &mgr, bool purgeDead, bool eagerlyAssume, StoreManagerCreator SMC, ConstraintManagerCreator CMC) |