idlcomp: valgrind fixes
authorScott Wood <scott@thor.buserror.net>
Mon, 7 Apr 2008 04:17:10 +0000 (23:17 -0500)
committerScott Wood <scott@thor.buserror.net>
Mon, 7 Apr 2008 04:17:10 +0000 (23:17 -0500)
The NameSpace::dying flag is broken; if there's another reference to
a child, it will persist with a bad ns pointer.  Instead, have the
namespace destructor loop through its children and call del().

Remove an unnecessary retention in Symbol constructor.

idlcomp/idlc.h
idlcomp/main.cc
idlcomp/namespace.cc

index e030bbe52ba5dc355b0068c2f9bb5293c249c5e4..a4ca39ab0f7ebd7fa12faa4051006dc55d994843 100644 (file)
@@ -447,6 +447,8 @@ typedef Ref<IDList> IDListRef;
 class NameSpace;
 class LangCallback;
 
+typedef Ref<NameSpace> NameSpaceRef;
+
 // This is incremented when a chain of symbols is traversed to reset
 // detection of already-visited symbols.  It is assumed that this
 // will not have to happen billions of times.
@@ -488,9 +490,6 @@ public:
        
        Symbol(const String *_name) : name(_name)
        {
-               if (_name)
-                       name->retain();
-
                init();
        }
 
@@ -585,8 +584,6 @@ struct InvalidArgument {
 struct UserError {
 };
 
-typedef Ref<NameSpace> NameSpaceRef;
-
 class NameSpace : public virtual Symbol {
 protected:
        // Filesystem path to the external symbol storage, or NULL
@@ -617,23 +614,15 @@ protected:
        list<NameSpaceRef> imports;
 
 public:
-       // This is set in the destructor, so the contents of the namespace
-       // don't try to remove themselves from the namespace when destructed
-       // due to the destruction of map.
-       int dying;
-       
        // This is a counter for generating unique names for anonymous
        // members of the namespace.
        int anon;
        
-       NameSpace() : dying(0), anon(0)
+       NameSpace() : anon(0)
        {
        }
        
-       virtual ~NameSpace()
-       {
-               dying = 1;
-       }
+       virtual ~NameSpace();
        
        // Return a description of the type of namespace, for
        // error messages.
@@ -704,13 +693,12 @@ public:
        // SymbolNotFound is thrown if sym is not in this namespace.
        virtual void del(Symbol *sym)
        {
-               fprintf(stderr, "Removing symbol %s\n",
-                       sym->get_fq_name()->flatten()->c_str());
-       
-               if (tbl.erase(sym->name) == 0)
+               if (sym->ns != this)
                        throw SymbolNotFound();
-               
+
                sym->ns = NULL;
+               int ret = tbl.erase(sym->name);
+               assert(ret != 0);
        }
 
 private:       
@@ -1280,7 +1268,7 @@ public:
 
 class Struct;
 typedef Ref<Struct> StructRef;
-extern Struct *System_VStruct;
+extern StructRef System_VStruct;
 
 // FIXME: typedefed superstructs
 class Struct : public NameSpace, public Type, public Def {
@@ -1651,7 +1639,7 @@ typedef Ref<Method> MethodRef;
 class Interface;
 typedef Ref<Interface> InterfaceRef;
 
-extern Interface *System_Object;
+extern InterfaceRef System_Object;
 
 // FIXME: typedefed superinterfaces
 class Interface : public NameSpace, public Type, public Def {
index c21532ead39b7c2847f34dc9f8901e28fb4ad6a7..a02453cad2a8f9b3de8b18f4f4f89a7db7c76df2 100644 (file)
@@ -129,8 +129,8 @@ const char *cmdname, *output_dir, *cur_input_file = "<none>", *output_ns_name;
 list<const char *> inputs;
 list<NameSpaceRef> nspace_stack;
 Language *first_lang, *output_lang;
-Interface *System_Object;
-Struct *System_VStruct;
+InterfaceRef System_Object;
+StructRef System_VStruct;
 AutoReleasePool autorelease_pool;
 
 void print_usage()
@@ -787,6 +787,7 @@ int main(int argc, const char **argv)
 {
        int ret = run_idlc(argc, argv);
        autorelease_pool.clean();
+
        return ret;
 }
 
index b681d91736ae76c2637d0145e500f8fc97cf8753..a2fe015b0ffad9cf59b32a8dc2044c47d35147b4 100644 (file)
@@ -276,7 +276,7 @@ Symbol::~Symbol()
        if (lang_priv)
                lang_priv->release();
 
-       if (ns && !ns->dying) {
+       if (ns) {
                try {
                        ns->del(this);
                }
@@ -287,6 +287,29 @@ Symbol::~Symbol()
        }
 }
 
+NameSpace::~NameSpace()
+{
+       tbl_type::iterator i = tbl.begin();
+       while (i != tbl.end()) {
+               Symbol *sym = (*i).second;
+               ++i;
+               
+               try {
+                       del(sym);
+               }
+
+               catch (SymbolNotFound) {
+                       fprintf(stderr, "SymbolNotFound in NameSpace::~NameSpace(), cannot propagate\n");
+               }
+
+               catch (InternalError &e) {
+                       fprintf(stderr, "InternalError %s:%d in NameSpace::~NameSpace(), cannot propagate\n", e.file, e.line);
+               }
+       }
+       
+       assert(tbl.empty());
+}
+
 StrList *Symbol::get_fq_name(const char *append, bool not_last) const
 {
        StrList *ret;