[cfe-commits] r51286 - in /cfe/trunk: include/clang/AST/Decl.h include/clang/AST/DeclBase.h include/clang/AST/DeclObjC.h include/clang/AST/Stmt.h lib/AST/Decl.cpp lib/AST/Stmt.cpp lib/AST/TranslationUnit.cpp lib/Sema/ParseAST.cpp
Ted Kremenek
kremenek at apple.com
Mon May 19 17:43:20 PDT 2008
Author: kremenek
Date: Mon May 19 19:43:19 2008
New Revision: 51286
URL: http://llvm.org/viewvc/llvm-project?rev=51286&view=rev
Log:
Try to plug some memory leaks...
1) Sema::ParseAST now constructs a TranslationUnit object to own the top-level Decls, which releases the top-level Decls upon exiting ParseAST.
2) Bug fix: TranslationUnit::~TranslationUnit handles the case where a Decl is added more than once as a top-level Decl.
3) Decl::Destroy is now a virtual method, obviating the need for a special dispatch based on DeclKind.
3) FunctionDecl::Destroy now releases its Body using its Destroy method.
4) Added Stmt::Destroy and Stmt::DestroyChildren, which recursively delete the child ASTs of a Stmt and call their dstors. We may need to special case dstor/Destroy methods for particular Stmt subclasses that own other dynamically allocated objects besides AST nodes.
5) REGRESSION: We temporarily are not deallocating attributes; a FIXME is provided.
Modified:
cfe/trunk/include/clang/AST/Decl.h
cfe/trunk/include/clang/AST/DeclBase.h
cfe/trunk/include/clang/AST/DeclObjC.h
cfe/trunk/include/clang/AST/Stmt.h
cfe/trunk/lib/AST/Decl.cpp
cfe/trunk/lib/AST/Stmt.cpp
cfe/trunk/lib/AST/TranslationUnit.cpp
cfe/trunk/lib/Sema/ParseAST.cpp
Modified: cfe/trunk/include/clang/AST/Decl.h
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/include/clang/AST/Decl.h?rev=51286&r1=51285&r2=51286&view=diff
==============================================================================
--- cfe/trunk/include/clang/AST/Decl.h (original)
+++ cfe/trunk/include/clang/AST/Decl.h Mon May 19 19:43:19 2008
@@ -403,11 +403,13 @@
IsInline(isInline), IsImplicit(0), PreviousDeclaration(0) {}
virtual ~FunctionDecl();
+ virtual void Destroy(ASTContext& C);
+
public:
static FunctionDecl *Create(ASTContext &C, DeclContext *DC, SourceLocation L,
IdentifierInfo *Id, QualType T,
StorageClass S = None, bool isInline = false,
- ScopedDecl *PrevDecl = 0);
+ ScopedDecl *PrevDecl = 0);
/// getBody - Retrieve the body (definition) of the function. The
/// function body might be in any of the (re-)declarations of this
@@ -488,7 +490,6 @@
static FunctionDecl* CreateImpl(llvm::Deserializer& D, ASTContext& C);
friend Decl* Decl::Create(llvm::Deserializer& D, ASTContext& C);
- friend void Decl::Destroy(ASTContext& C) const;
};
@@ -540,7 +541,8 @@
IdentifierInfo *Id, QualType T, Expr *E,
const llvm::APSInt &V, ScopedDecl *PrevDecl)
: ValueDecl(EnumConstant, DC, L, Id, T, PrevDecl), Init(E), Val(V) {}
- ~EnumConstantDecl() {}
+
+ virtual ~EnumConstantDecl() {}
public:
static EnumConstantDecl *Create(ASTContext &C, EnumDecl *DC,
@@ -569,7 +571,6 @@
static EnumConstantDecl* CreateImpl(llvm::Deserializer& D, ASTContext& C);
friend Decl* Decl::Create(llvm::Deserializer& D, ASTContext& C);
- friend void Decl::Destroy(ASTContext& C) const;
};
@@ -600,7 +601,8 @@
TypedefDecl(DeclContext *DC, SourceLocation L,
IdentifierInfo *Id, QualType T, ScopedDecl *PD)
: TypeDecl(Typedef, DC, L, Id, PD), UnderlyingType(T) {}
- ~TypedefDecl() {}
+
+ virtual ~TypedefDecl() {}
public:
static TypedefDecl *Create(ASTContext &C, DeclContext *DC,
@@ -622,7 +624,7 @@
static TypedefDecl* CreateImpl(llvm::Deserializer& D, ASTContext& C);
friend Decl* Decl::Create(llvm::Deserializer& D, ASTContext& C);
- friend void Decl::Destroy(ASTContext& C) const;
+
};
Modified: cfe/trunk/include/clang/AST/DeclBase.h
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/include/clang/AST/DeclBase.h?rev=51286&r1=51285&r2=51286&view=diff
==============================================================================
--- cfe/trunk/include/clang/AST/DeclBase.h (original)
+++ cfe/trunk/include/clang/AST/DeclBase.h Mon May 19 19:43:19 2008
@@ -185,7 +185,7 @@
static Decl* Create(llvm::Deserializer& D, ASTContext& C);
/// Destroy - Call destructors and release memory.
- void Destroy(ASTContext& C) const;
+ virtual void Destroy(ASTContext& C);
protected:
/// EmitImpl - Provides the subclass-specific serialization logic for
Modified: cfe/trunk/include/clang/AST/DeclObjC.h
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/include/clang/AST/DeclObjC.h?rev=51286&r1=51285&r2=51286&view=diff
==============================================================================
--- cfe/trunk/include/clang/AST/DeclObjC.h (original)
+++ cfe/trunk/include/clang/AST/DeclObjC.h Mon May 19 19:43:19 2008
@@ -184,8 +184,6 @@
// Implement isa/cast/dyncast/etc.
static bool classof(const Decl *D) { return D->getKind() == ObjCMethod; }
static bool classof(const ObjCMethodDecl *D) { return true; }
-
- friend void Decl::Destroy(ASTContext& C) const;
};
/// ObjCInterfaceDecl - Represents an ObjC class declaration. For example:
Modified: cfe/trunk/include/clang/AST/Stmt.h
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/include/clang/AST/Stmt.h?rev=51286&r1=51285&r2=51286&view=diff
==============================================================================
--- cfe/trunk/include/clang/AST/Stmt.h (original)
+++ cfe/trunk/include/clang/AST/Stmt.h Mon May 19 19:43:19 2008
@@ -54,13 +54,15 @@
protected:
/// DestroyChildren - Invoked by destructors of subclasses of Stmt to
/// recursively release child AST nodes.
- void DestroyChildren();
+ void DestroyChildren(ASTContext& Ctx);
public:
Stmt(StmtClass SC) : sClass(SC) {
if (Stmt::CollectingStats()) Stmt::addStmtClass(SC);
}
virtual ~Stmt() {}
+
+ virtual void Destroy(ASTContext& Ctx);
StmtClass getStmtClass() const { return sClass; }
const char *getStmtClassName() const;
Modified: cfe/trunk/lib/AST/Decl.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/AST/Decl.cpp?rev=51286&r1=51285&r2=51286&view=diff
==============================================================================
--- cfe/trunk/lib/AST/Decl.cpp (original)
+++ cfe/trunk/lib/AST/Decl.cpp Mon May 19 19:43:19 2008
@@ -16,6 +16,8 @@
#include "clang/AST/Attr.h"
#include "clang/Basic/IdentifierTable.h"
#include "llvm/ADT/DenseMap.h"
+
+#include <stdio.h>
using namespace clang;
//===----------------------------------------------------------------------===//
@@ -314,8 +316,10 @@
DeclAttrMapTy::iterator it = DeclAttrs->find(this);
assert(it != DeclAttrs->end() && "No attrs found but HasAttrs is true!");
- delete it->second;
+ // FIXME: Properly release attributes.
+ // delete it->second;
DeclAttrs->erase(it);
+
if (DeclAttrs->empty()) {
delete DeclAttrs;
DeclAttrs = 0;
@@ -366,47 +370,11 @@
}
-#define CASE(KIND) \
- case KIND: \
- static_cast<KIND##Decl *>(const_cast<Decl *>(this))->~KIND##Decl(); \
- break
-
-void Decl::Destroy(ASTContext& C) const {
- switch (getKind()) {
- CASE(TranslationUnit);
- CASE(Field);
- CASE(ObjCIvar);
- CASE(ObjCCategory);
- CASE(ObjCCategoryImpl);
- CASE(ObjCImplementation);
- CASE(ObjCProtocol);
- CASE(ObjCProperty);
- CASE(Namespace);
- CASE(Typedef);
- CASE(Enum);
- CASE(EnumConstant);
- CASE(Function);
- CASE(Var);
- CASE(ParmVar);
- CASE(ObjCInterface);
- CASE(ObjCCompatibleAlias);
- CASE(ObjCMethod);
- CASE(ObjCClass);
- CASE(ObjCForwardProtocol);
- CASE(LinkageSpec);
-
- case Struct: case Union: case Class:
- static_cast<RecordDecl *>(const_cast<Decl *>(this))->~RecordDecl();
- break;
-
- default: assert(0 && "Unknown decl kind!");
- }
-
+void Decl::Destroy(ASTContext& C) {
+ this->~Decl();
C.getAllocator().Deallocate((void *)this);
}
-#undef CASE
-
//===----------------------------------------------------------------------===//
// DeclContext Implementation
//===----------------------------------------------------------------------===//
@@ -442,10 +410,14 @@
FunctionDecl::~FunctionDecl() {
delete[] ParamInfo;
- delete Body;
- delete PreviousDeclaration;
}
+void FunctionDecl::Destroy(ASTContext& C) {
+ if (Body) Body->Destroy(C);
+ Decl::Destroy(C);
+}
+
+
Stmt *FunctionDecl::getBody(const FunctionDecl *&Definition) const {
for (const FunctionDecl *FD = this; FD != 0; FD = FD->PreviousDeclaration) {
if (FD->Body) {
Modified: cfe/trunk/lib/AST/Stmt.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/AST/Stmt.cpp?rev=51286&r1=51285&r2=51286&view=diff
==============================================================================
--- cfe/trunk/lib/AST/Stmt.cpp (original)
+++ cfe/trunk/lib/AST/Stmt.cpp Mon May 19 19:43:19 2008
@@ -42,9 +42,14 @@
return getStmtInfoTableEntry(sClass).Name;
}
-void Stmt::DestroyChildren() {
+void Stmt::DestroyChildren(ASTContext& C) {
for (child_iterator I = child_begin(), E = child_end(); I !=E; ++I)
- delete *I; // Handles the case when *I == NULL.
+ if (Stmt* Child = *I) Child->Destroy(C);
+}
+
+void Stmt::Destroy(ASTContext& C) {
+ DestroyChildren(C);
+ this->~Stmt();
}
void Stmt::PrintStats() {
Modified: cfe/trunk/lib/AST/TranslationUnit.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/AST/TranslationUnit.cpp?rev=51286&r1=51285&r2=51286&view=diff
==============================================================================
--- cfe/trunk/lib/AST/TranslationUnit.cpp (original)
+++ cfe/trunk/lib/AST/TranslationUnit.cpp Mon May 19 19:43:19 2008
@@ -20,9 +20,9 @@
#include "llvm/Bitcode/Deserialize.h"
#include "llvm/Support/MemoryBuffer.h"
#include "llvm/System/Path.h"
-#include "llvm/ADT/OwningPtr.h"
-#include <stdio.h>
+#include "llvm/ADT/OwningPtr.h"
+#include "llvm/ADT/DenseSet.h"
using namespace clang;
@@ -31,8 +31,15 @@
DeclsBlock = 3 };
TranslationUnit::~TranslationUnit() {
- for (iterator I=begin(), E=end(); I!=E; ++I)
+
+ llvm::DenseSet<Decl*> Killed;
+
+ for (iterator I=begin(), E=end(); I!=E; ++I) {
+ if (Killed.count(*I)) continue;
+
+ Killed.insert(*I);
(*I)->Destroy(*Context);
+ }
if (OwnsMetaData && Context) {
// The ASTContext object has the sole references to the IdentifierTable
Modified: cfe/trunk/lib/Sema/ParseAST.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Sema/ParseAST.cpp?rev=51286&r1=51285&r2=51286&view=diff
==============================================================================
--- cfe/trunk/lib/Sema/ParseAST.cpp (original)
+++ cfe/trunk/lib/Sema/ParseAST.cpp Mon May 19 19:43:19 2008
@@ -14,6 +14,7 @@
#include "clang/Sema/ParseAST.h"
#include "clang/AST/ASTContext.h"
#include "clang/AST/ASTConsumer.h"
+#include "clang/AST/TranslationUnit.h"
#include "Sema.h"
#include "clang/Parse/Action.h"
#include "clang/Parse/Parser.h"
@@ -36,6 +37,8 @@
ASTContext Context(PP.getSourceManager(), PP.getTargetInfo(),
PP.getIdentifierTable(), PP.getSelectorTable());
+ TranslationUnit TU(Context, PP.getLangOptions());
+
Parser P(PP, *new Sema(PP, Context, *Consumer));
PP.EnterMainSourceFile();
@@ -45,12 +48,16 @@
Consumer->Initialize(Context);
Parser::DeclTy *ADecl;
+
while (!P.ParseTopLevelDecl(ADecl)) { // Not end of file.
// If we got a null return and something *was* parsed, ignore it. This
// is due to a top-level semicolon, an action override, or a parse error
// skipping something.
- if (ADecl)
- Consumer->HandleTopLevelDecl(static_cast<Decl*>(ADecl));
+ if (ADecl) {
+ Decl* D = static_cast<Decl*>(ADecl);
+ TU.AddTopLevelDecl(D); // TranslationUnit now owns the Decl.
+ Consumer->HandleTopLevelDecl(D);
+ }
};
if (PrintStats) {
More information about the cfe-commits
mailing list