Changeset 6bbce58 for src

Timestamp:

Oct 5, 2017, 11:53:47 AM (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, resolv-new, with_gc

Children:

6545adff

Parents:

f5854507

Message:

Fix bug where explode removes non-reference casts in tuple assignment

File:

• src/Tuples/Explode.h (modified) (2 diffs)

src/Tuples/Explode.h

@@ -30 +30 @@
         Expression * distributeReference( Expression * );
 
+        static inline CastExpr * isReferenceCast( Expression * expr ) {
+                if ( CastExpr * castExpr = dynamic_cast< CastExpr * >( expr ) ) {
+                        if ( dynamic_cast< ReferenceType * >( castExpr->result ) ) {
+                                return castExpr;
+                        }
+                }
+                return nullptr;
+        }
+
         /// helper function used by explode
         template< typename OutputIterator >
@@ -35 +44 @@
                 if ( isTupleAssign ) {
                         // tuple assignment needs CastExprs to be recursively exploded to easily get at all of the components
-                        if ( CastExpr * castExpr = dynamic_cast< CastExpr * >( expr ) ) {
+                        if ( CastExpr * castExpr = isReferenceCast( expr ) ) {
                                 ResolvExpr::AltList alts;
                                 explodeUnique( castExpr->get_arg(), alt, indexer, back_inserter( alts ), isTupleAssign );