Ignore:
Timestamp:
Nov 27, 2020, 9:08:28 AM (4 years ago)
Author:
Peter A. Buhr <pabuhr@…>
Branches:
ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast-unique-expr, pthread-emulation, qualifiedEnum
Children:
4f0c520
Parents:
1f9a4d0 (diff), e3282fe (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.
Message:

Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

File:
1 edited

Legend:

Unmodified
Added
Removed

  • src/ResolvExpr/AlternativeFinder.cc

    r1f9a4d0 r4432b52  
    251251                        SemanticError( expr, "No reasonable alternatives for expression " );
    252252                }
    253                 if ( mode.satisfyAssns || mode.prune ) {
     253                if ( mode.prune ) {
    254254                        // trim candidates just to those where the assertions resolve
    255255                        // - necessary pre-requisite to pruning
Note: See TracChangeset for help on using the changeset viewer.