Changeset 668e971a for src/ResolvExpr


Ignore:
Timestamp:
Nov 11, 2016, 12:34:54 PM (7 years ago)
Author:
Thierry Delisle <tdelisle@…>
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:
4328016, 8f9cc50
Parents:
5f5083e
Message:

Fixed undefined behavior in AlternativeFinder?.cc

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ResolvExpr/AlternativeFinder.cc

    r5f5083e r668e971a  
    10041004                                        AssertionSet needAssertions, haveAssertions;
    10051005                                        Alternative newAlt( 0, third->env, first->cost + second->cost + third->cost );
    1006                                         Type* commonType;
     1006                                        Type* commonType = nullptr;
    10071007                                        if ( unify( second->expr->get_result(), third->expr->get_result(), newAlt.env, needAssertions, haveAssertions, openVars, indexer, commonType ) ) {
    10081008                                                ConditionalExpr *newExpr = new ConditionalExpr( first->expr->clone(), second->expr->clone(), third->expr->clone() );
Note: See TracChangeset for help on using the changeset viewer.