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