Changeset d29fa5f for src/GenPoly/Box.cc
- Timestamp:
- Oct 2, 2017, 4:58:51 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:
- effdde0
- Parents:
- bf4b4cf
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/GenPoly/Box.cc
rbf4b4cf rd29fa5f 600 600 601 601 // add size/align for generic types to parameter list 602 if ( ! appExpr->get_function()-> has_result()) return;602 if ( ! appExpr->get_function()->result ) return; 603 603 FunctionType *funcType = getFunctionType( appExpr->get_function()->get_result() ); 604 604 assert( funcType ); … … 714 714 715 715 void Pass1::boxParam( Type *param, Expression *&arg, const TyVarMap &exprTyVars ) { 716 assertf( arg-> has_result(), "arg does not have result: %s", toString( arg ).c_str() );716 assertf( arg->result, "arg does not have result: %s", toString( arg ).c_str() ); 717 717 if ( isPolyType( param, exprTyVars ) ) { 718 718 Type * newType = arg->get_result()->clone(); … … 965 965 if ( varExpr->get_var()->get_linkage() == LinkageSpec::Intrinsic ) { 966 966 if ( varExpr->get_var()->get_name() == "?[?]" ) { 967 assert( appExpr-> has_result());967 assert( appExpr->result ); 968 968 assert( appExpr->get_args().size() == 2 ); 969 969 Type *baseType1 = isPolyPtr( appExpr->get_args().front()->get_result(), scopeTyVars, env ); … … 999 999 } // if 1000 1000 } else if ( varExpr->get_var()->get_name() == "*?" ) { 1001 assert( appExpr-> has_result());1001 assert( appExpr->result ); 1002 1002 assert( ! appExpr->get_args().empty() ); 1003 1003 if ( isPolyType( appExpr->get_result(), scopeTyVars, env ) ) { … … 1016 1016 } // if 1017 1017 } else if ( varExpr->get_var()->get_name() == "?++" || varExpr->get_var()->get_name() == "?--" ) { 1018 assert( appExpr-> has_result());1018 assert( appExpr->result ); 1019 1019 assert( appExpr->get_args().size() == 1 ); 1020 1020 if ( Type *baseType = isPolyPtr( appExpr->get_result(), scopeTyVars, env ) ) { … … 1036 1036 } // if 1037 1037 } else if ( varExpr->get_var()->get_name() == "++?" || varExpr->get_var()->get_name() == "--?" ) { 1038 assert( appExpr-> has_result());1038 assert( appExpr->result ); 1039 1039 assert( appExpr->get_args().size() == 1 ); 1040 1040 if ( Type *baseType = isPolyPtr( appExpr->get_result(), scopeTyVars, env ) ) { … … 1042 1042 } // if 1043 1043 } else if ( varExpr->get_var()->get_name() == "?+?" || varExpr->get_var()->get_name() == "?-?" ) { 1044 assert( appExpr-> has_result());1044 assert( appExpr->result ); 1045 1045 assert( appExpr->get_args().size() == 2 ); 1046 1046 Type *baseType1 = isPolyPtr( appExpr->get_args().front()->get_result(), scopeTyVars, env ); … … 1068 1068 } // if 1069 1069 } else if ( varExpr->get_var()->get_name() == "?+=?" || varExpr->get_var()->get_name() == "?-=?" ) { 1070 assert( appExpr-> has_result());1070 assert( appExpr->result ); 1071 1071 assert( appExpr->get_args().size() == 2 ); 1072 1072 Type *baseType = isPolyPtr( appExpr->get_result(), scopeTyVars, env ); … … 1162 1162 void Pass1::premutate( AddressExpr * ) { visit_children = false; } 1163 1163 Expression * Pass1::postmutate( AddressExpr * addrExpr ) { 1164 assert( addrExpr->get_arg()-> has_result()&& ! addrExpr->get_arg()->get_result()->isVoid() );1164 assert( addrExpr->get_arg()->result && ! addrExpr->get_arg()->get_result()->isVoid() ); 1165 1165 1166 1166 bool needs = false; 1167 1167 if ( UntypedExpr *expr = dynamic_cast< UntypedExpr *>( addrExpr->get_arg() ) ) { 1168 if ( expr-> has_result()&& isPolyType( expr->get_result(), scopeTyVars, env ) ) {1168 if ( expr->result && isPolyType( expr->get_result(), scopeTyVars, env ) ) { 1169 1169 if ( NameExpr *name = dynamic_cast< NameExpr *>( expr->get_function() ) ) { 1170 1170 if ( name->get_name() == "*?" ) { 1171 1171 if ( ApplicationExpr * appExpr = dynamic_cast< ApplicationExpr * >( expr->get_args().front() ) ) { 1172 assert( appExpr->get_function()-> has_result());1172 assert( appExpr->get_function()->result ); 1173 1173 FunctionType *function = getFunctionType( appExpr->get_function()->get_result() ); 1174 1174 assert( function );
Note: See TracChangeset
for help on using the changeset viewer.