Changeset b5a8ef7 for src/ResolvExpr/AlternativeFinder.cc

Timestamp:

Oct 12, 2017, 1:32:39 PM (7 years ago)

Author:

Aaron Moss <a3moss@…>

Branches:

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

Children:

4b6ef70

Parents:

c43c171

Message:

Fix double-free in iterative resolver

File:

• src/ResolvExpr/AlternativeFinder.cc (modified) (1 diff)

src/ResolvExpr/AlternativeFinder.cc

@@ -843 +843 @@
                                                 OpenVarSet openVars{ result.openVars };
                                                 env.addActual( actual.env, openVars );
-                                                nextResults.emplace_back( result, actual.expr, std::move(env), 
+                                                nextResults.emplace_back( result, actual.expr->clone(), std::move(env), 
                                                         std::move(openVars), actual.cost );
                                         }