Changeset f3b0a07 for src/InitTweak/InitTweak.cc

Timestamp:

Jan 16, 2017, 3:29:18 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, resolv-new, with_gc

Children:

5ebb2fbc

Parents:

981bdc6

Message:

allow ttypes contained in tuple types to unify, refactor and simplify Specialize pass

File:

• src/InitTweak/InitTweak.cc (modified) (3 diffs)

src/InitTweak/InitTweak.cc

@@ -327 +327 @@
                         } else if ( ApplicationExpr * appExpr = dynamic_cast< ApplicationExpr * > ( expr ) ) {
                                 return handleDerefCalledFunction( appExpr );
+                        } else if ( AddressExpr * addrExpr = dynamic_cast< AddressExpr * >( expr ) ) {
+                                return getCalledFunction( addrExpr->get_arg() );
                         }
                         return nullptr;
@@ -336 +338 @@
                 if ( ! appExpr ) return NULL;
                 DeclarationWithType * function = getCalledFunction( appExpr->get_function() );
-                assert( function );
+                assertf( function, "getCalledFunction returned nullptr: %s", toString( appExpr->get_function() ).c_str() );
                 // check for Intrinsic only - don't want to remove all overridable ctor/dtors because autogenerated ctor/dtor
                 // will call all member dtors, and some members may have a user defined dtor.
@@ -386 +388 @@
                 } else if ( UntypedExpr * untypedExpr = dynamic_cast< UntypedExpr * >( callExpr ) ) {
                         return callArg( untypedExpr, pos );
+                } else if ( TupleAssignExpr * tupleExpr = dynamic_cast< TupleAssignExpr * > ( callExpr ) ) {
+                        std::list< Statement * > & stmts = tupleExpr->get_stmtExpr()->get_statements()->get_kids();
+                        assertf( ! stmts.empty(), "TupleAssignExpr somehow has no statements." );
+                        ExprStmt * stmt = safe_dynamic_cast< ExprStmt * >( stmts.back() );
+                        TupleExpr * tuple = safe_dynamic_cast< TupleExpr * >( stmt->get_expr() );
+                        assertf( ! tuple->get_exprs().empty(), "TupleAssignExpr somehow has empty tuple expr." );
+                        return getCallArg( tuple->get_exprs().front(), pos );
                 } else {
-                        assertf( false, "Unexpected expression type passed to getCallArg" );
+                        assertf( false, "Unexpected expression type passed to getCallArg: %s", toString( callExpr ).c_str() );
                 }
         }