Changeset 73a5cad


Ignore:
Timestamp:
Nov 21, 2017, 3:34:11 PM (4 years ago)
Author:
Aaron Moss <a3moss@…>
Branches:
aaron-thesis, arm-eh, cleanup-dtors, deferred_resn, demangler, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, resolv-new, with_gc
Children:
bd4f2e9
Parents:
0872c42
Message:

Fix segfault

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ResolvExpr/AlternativeFinder.cc

    r0872c42 r73a5cad  
    607607                          expls(move(expls)) {}
    608608               
     609                ArgPack(const ArgPack& o, TypeEnvironment&& env, AssertionSet&& need, AssertionSet&& have,
     610                                OpenVarSet&& openVars, unsigned nextArg, Cost added )
     611                        : parent(o.parent), expr(o.expr ? o.expr->clone() : nullptr), cost(o.cost + added),
     612                          env(move(env)), need(move(need)), have(move(have)), openVars(move(openVars)),
     613                          nextArg(nextArg), tupleStart(o.tupleStart), expls() {}
     614                         
     615
    609616                // ArgPack(const ArgPack& o)
    610617                //      : parent(o.parent), expr(o.expr ? o.expr->clone() : nullptr), env(o.env),
     
    747754                                                if ( exploded.empty() ) {
    748755                                                        // skip empty tuple arguments by (near-)cloning parent into next gen
    749                                                         results.emplace_back( 
    750                                                                 results[i].parent, results[i].expr.get(), move(env),
    751                                                                 copy(results[i].need), copy(results[i].have), move(openVars),
    752                                                                 j + 1, results[i].tupleStart, actual.cost + results[i].cost );
     756                                                        results.emplace_back(
     757                                                                results[i], move(env), copy(results[i].need),
     758                                                                copy(results[i].have), move(openVars), j + 1, actual.cost );
     759                                                       
    753760                                                        continue;
    754761                                                }
     
    848855                                if ( exploded.empty() ) {
    849856                                        // skip empty tuple arguments by (near-)cloning parent into next gen
    850                                         results.emplace_back( 
    851                                                 results[i].parent, results[i].expr.get(), move(env), move(need),
    852                                                 move(have), move(openVars), j + 1, results[i].tupleStart,
    853                                                 actual.cost + results[i].cost );
     857                                        results.emplace_back(
     858                                                results[i], move(env), move(need), move(have), move(openVars), j + 1,
     859                                                actual.cost );
     860
    854861                                        continue;
    855862                                }
     
    9951002                                                        // skip empty tuple arguments by (near-)cloning parent into next gen
    9961003                                                        results.emplace_back(
    997                                                                 results[i].parent, results[i].expr.get(), move(env),
    998                                                                 copy(results[i].need), copy(results[i].have), move(openVars),
    999                                                                 j + 1, results[i].tupleStart, actual.cost + results[i].cost );
     1004                                                                results[i], move(env), copy(results[i].need),
     1005                                                                copy(results[i].have), move(openVars), j + 1, actual.cost );
    10001006                                                        continue;
    10011007                                                }
Note: See TracChangeset for help on using the changeset viewer.