Changeset e3e16bc for src/ResolvExpr/AlternativeFinder.cc
- Timestamp:
- Sep 13, 2017, 2:34:55 PM (7 years ago)
- 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:
- 982832e
- Parents:
- 9f5ecf5
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/ResolvExpr/AlternativeFinder.cc
r9f5ecf5 re3e16bc 15 15 16 16 #include <algorithm> // for copy 17 #include <cassert> // for s afe_dynamic_cast, assert, assertf17 #include <cassert> // for strict_dynamic_cast, assert, assertf 18 18 #include <iostream> // for operator<<, cerr, ostream, endl 19 19 #include <iterator> // for back_insert_iterator, back_inserter … … 336 336 337 337 Cost computeApplicationConversionCost( Alternative &alt, const SymTab::Indexer &indexer ) { 338 ApplicationExpr *appExpr = s afe_dynamic_cast< ApplicationExpr* >( alt.expr );339 PointerType *pointer = s afe_dynamic_cast< PointerType* >( appExpr->get_function()->get_result() );340 FunctionType *function = s afe_dynamic_cast< FunctionType* >( pointer->get_base() );338 ApplicationExpr *appExpr = strict_dynamic_cast< ApplicationExpr* >( alt.expr ); 339 PointerType *pointer = strict_dynamic_cast< PointerType* >( appExpr->get_function()->get_result() ); 340 FunctionType *function = strict_dynamic_cast< FunctionType* >( pointer->get_base() ); 341 341 342 342 Cost convCost = Cost::zero; … … 494 494 Cost cost = Cost::zero; 495 495 std::list< Expression * > newExprs; 496 ObjectDecl * obj = s afe_dynamic_cast< ObjectDecl * >( formal );496 ObjectDecl * obj = strict_dynamic_cast< ObjectDecl * >( formal ); 497 497 if ( ! instantiateArgument( obj->get_type(), obj->get_init(), actualExpr, actualEnd, openVars, resultEnv, resultNeed, resultHave, indexer, cost, back_inserter( newExprs ) ) ) { 498 498 deleteAll( newExprs ); … … 787 787 788 788 PRINT( 789 ApplicationExpr *appExpr = s afe_dynamic_cast< ApplicationExpr* >( withFunc->expr );790 PointerType *pointer = s afe_dynamic_cast< PointerType* >( appExpr->get_function()->get_result() );791 FunctionType *function = s afe_dynamic_cast< FunctionType* >( pointer->get_base() );789 ApplicationExpr *appExpr = strict_dynamic_cast< ApplicationExpr* >( withFunc->expr ); 790 PointerType *pointer = strict_dynamic_cast< PointerType* >( appExpr->get_function()->get_result() ); 791 FunctionType *function = strict_dynamic_cast< FunctionType* >( pointer->get_base() ); 792 792 std::cerr << "Case +++++++++++++ " << appExpr->get_function() << std::endl; 793 793 std::cerr << "formals are:" << std::endl;
Note: See TracChangeset
for help on using the changeset viewer.