Changeset f1e012b for src/GenPoly/Specialize.cc

Timestamp:

Jan 19, 2016, 1:28:25 PM (8 years ago)

Author:

Rob Schluntz <rschlunt@…>

Branches:

ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, ctor, deferred_resn, demangler, enum, forall-pointer-decay, gc_noraii, jacob/cs343-translation, jenkins-sandbox, master, memory, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, with_gc

Children:

ca1c11f

Parents:

71f4e4f

Message:

added intrinsic ctor/dtors to prelude, modified MakeLibCfa? to build prelude ctor/dtors, added ctor/dtor to polymorphic object type constraints, rudimentary fallback on initializer nodes if chosen ctor is intrinsic, remove intrinsic destructor statements to reduce output pollution

File:

• src/GenPoly/Specialize.cc (modified) (3 diffs)

src/GenPoly/Specialize.cc

@@ -5 +5 @@
 // file "LICENCE" distributed with Cforall.
 //
-// Specialize.cc -- 
+// Specialize.cc --
 //
 // Author           : Richard C. Bilson
 // Created On       : Mon May 18 07:44:20 2015
 // Last Modified By : Rob Schluntz
-// Last Modified On : Tue Sep 22 14:04:13 2015
-// Update Count     : 15
+// Last Modified On : Tue Jan 19 10:40:37 2016
+// Update Count     : 23
 //
 
@@ -140 +140 @@
                 return new AddressExpr( new VariableExpr( thunkFunc ) );
         }
-        
+
         Expression * Specialize::doSpecialization( Type *formalType, Expression *actual, InferredParams *inferParams ) {
+                assert( actual->get_results().size() >= 1 ); // using front, should have this assert
                 if ( needsSpecialization( formalType, actual->get_results().front(), env ) ) {
                         FunctionType *funType;
@@ -197 +198 @@
 
         Expression * Specialize::mutate( CastExpr *castExpr ) {
+                assert( castExpr->get_results().size() >= 1 && "Check that functions with void return aren't returning a value" );
                 castExpr->get_arg()->acceptMutator( *this );
                 Expression *specialized = doSpecialization( castExpr->get_results().front(), castExpr->get_arg() );