Changeset aeb8f70 for src/ResolvExpr

Timestamp:

Jan 10, 2019, 2:22:29 PM (6 years ago)

Author:

Aaron Moss <a3moss@…>

Branches:

ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, deferred_resn, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, no_list, persistent-indexer, pthread-emulation, qualifiedEnum

Children:

e99e43f

Parents:

73ac10e

git-author:

Aaron Moss <a3moss@…> (01/09/19 16:07:05)

git-committer:

Aaron Moss <a3moss@…> (01/10/19 14:22:29)

Message:

Fix memory leaks in assertion resolution

Location:

src/ResolvExpr

Files:

• Alternative.cc (modified) (1 diff)
• ResolveAssertions.cc (modified) (2 diffs)

src/ResolvExpr/Alternative.cc

@@ -105 +105 @@
 
         Alternative::~Alternative() {
+                for ( AssertionItem& n : need ) { delete n.decl; }
                 delete expr;
         }

src/ResolvExpr/ResolveAssertions.cc

@@ -275 +275 @@
                                         std::move(newNeed), std::move(newOpenVars), crntResnSlot );
                         } else {
-                                //delete adjType;
+                                delete adjType;
                         }
                 }
@@ -396 +396 @@
                                                 Cost resCost = coster.get( compat );
                                                 auto it = found.emplace( SymTab::Mangler::mangleType( resType ), resCost );
+                                                delete resType;
                                                 if ( it.second == false && it.first->second < resCost ) continue;