Changeset 9236060 for src/ResolvExpr/AlternativeFinder.cc

Timestamp:

Aug 14, 2017, 2:03:39 PM (5 years ago)

Author:

Rob Schluntz <rschlunt@…>

Branches:

aaron-thesis, arm-eh, 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:

74b007ba

Parents:

fd344aa (diff), 54cd58b (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' into references

File:

• src/ResolvExpr/AlternativeFinder.cc (modified) (2 diffs)

src/ResolvExpr/AlternativeFinder.cc

@@ -9 +9 @@
 // Author           : Richard C. Bilson
 // Created On       : Sat May 16 23:52:08 2015
-// Last Modified By : Peter A. Buhr
-// Last Modified On : Fri Mar 17 09:14:17 2017
-// Update Count     : 30
+// Last Modified By : Andrew Beach
+// Last Modified On : Wed Jul 26 11:33:00 2017
+// Update Count     : 31
 //
 
@@ -901 +901 @@
         }
 
+        void AlternativeFinder::visit( VirtualCastExpr * castExpr ) {
+                assertf( castExpr->get_result(), "Implicate virtual cast targets not yet supported." );
+                AlternativeFinder finder( indexer, env );
+                // don't prune here, since it's guaranteed all alternatives will have the same type
+                // (giving the alternatives different types is half of the point of ConstructorExpr nodes)
+                finder.findWithAdjustment( castExpr->get_arg(), false );
+                for ( Alternative & alt : finder.alternatives ) {
+                        alternatives.push_back( Alternative(
+                                new VirtualCastExpr( alt.expr->clone(), castExpr->get_result()->clone() ),
+                                alt.env, alt.cost ) );
+                }
+        }
+
         void AlternativeFinder::visit( UntypedMemberExpr *memberExpr ) {
                 AlternativeFinder funcFinder( indexer, env );