Changeset a8706fc

Timestamp:

May 22, 2018, 4:13:14 PM (7 years ago)

Author:

Rob Schluntz <rschlunt@…>

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, with_gc

Children:

2c88368

Parents:

753bf60

Message:

Extract open variables from cast expression arguments

File:

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

src/ResolvExpr/AlternativeFinder.cc

@@ -1292 +1292 @@
                         AssertionSet needAssertions, haveAssertions;
                         OpenVarSet openVars;
+
+                        alt.env.extractOpenVars( openVars );
 
                         // It's possible that a cast can throw away some values in a multiply-valued expression.  (An example is a