Changes in / [47534159:000b914]
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/GenPoly/Box.cc
r47534159 r000b914 10 10 // Created On : Mon May 18 07:44:20 2015 11 11 // Last Modified By : Rob Schluntz 12 // Last Modified On : Thu Nov 26 17:01:55201513 // Update Count : 19112 // Last Modified On : Wed Dec 02 11:52:37 2015 13 // Update Count : 201 14 14 // 15 15 … … 186 186 } 187 187 188 // returns true if the given declaration is: (*?=?)(T *, T) for some T (return not checked, but maybe should be) 188 189 bool checkAssignment( DeclarationWithType *decl, std::string &name ) { 189 190 if ( decl->get_name() == "?=?" ) { … … 671 672 TypeInstType *typeInst1 = isPolyPtr( appExpr->get_args().front()->get_results().front(), env, scopeTyVars ); 672 673 TypeInstType *typeInst2 = isPolyPtr( appExpr->get_args().back()->get_results().front(), env, scopeTyVars ); 673 assert( ! typeInst1 || ! typeInst2 ); 674 assert( ! typeInst1 || ! typeInst2 ); // the arguments cannot both be polymorphic pointers 674 675 UntypedExpr *ret = 0; 675 if ( typeInst1 || typeInst2 ) { 676 if ( typeInst1 || typeInst2 ) { // one of the arguments is a polymorphic pointer 676 677 ret = new UntypedExpr( new NameExpr( "?+?" ) ); 677 678 } // if … … 869 870 870 871 Statement * Pass1::mutate(ReturnStmt *retStmt) { 871 // a cast expr on a polymorphic return value is either redundant or invalid872 // by this point, a cast expr on a polymorphic return value is redundant 872 873 while ( CastExpr *castExpr = dynamic_cast< CastExpr *>( retStmt->get_expr() ) ) { 873 874 retStmt->set_expr( castExpr->get_arg() );
Note: See TracChangeset
for help on using the changeset viewer.