Changes in / [9e2c1f0:03e5d14]

Location:

src

Files:

• CodeGen/CodeGenerator.cc (modified) (7 diffs)
• CodeGen/FixNames.cc (modified) (4 diffs)
• CodeGen/OperatorTable.cc (modified) (2 diffs)
• CodeGen/OperatorTable.h (modified) (2 diffs)
• Common/utility.h (modified) (3 diffs)
• GenPoly/Box.cc (modified) (32 diffs)
• GenPoly/CopyParams.cc (modified) (4 diffs)
• GenPoly/GenPoly.cc (modified) (6 diffs)
• GenPoly/PolyMutator.cc (modified) (3 diffs)
• GenPoly/Specialize.cc (modified) (4 diffs)
• InitTweak/FixGlobalInit.cc (modified) (5 diffs)
• InitTweak/FixGlobalInit.h (modified) (2 diffs)
• InitTweak/FixInit.cc (deleted)
• InitTweak/FixInit.h (deleted)
• InitTweak/GenInit.cc (deleted)
• InitTweak/GenInit.h (deleted)
• InitTweak/InitModel.cc (modified) (3 diffs)
• InitTweak/RemoveInit.cc (added)
• InitTweak/RemoveInit.h (added)
• InitTweak/module.mk (modified) (1 diff)
• MakeLibCfa.cc (modified) (6 diffs)
• Makefile.in (modified) (12 diffs)
• Parser/DeclarationNode.cc (modified) (7 diffs)
• Parser/InitializerNode.cc (modified) (5 diffs)
• Parser/ParseNode.h (modified) (4 diffs)
• Parser/TypeData.cc (modified) (3 diffs)
• Parser/parser.cc (modified) (1 diff)
• Parser/parser.yy (modified) (3 diffs)
• ResolvExpr/AlternativeFinder.cc (modified) (2 diffs)
• ResolvExpr/AlternativeFinder.h (modified) (3 diffs)
• ResolvExpr/Resolver.cc (modified) (15 diffs)
• ResolvExpr/Resolver.h (modified) (2 diffs)
• SymTab/AddVisit.h (modified) (2 diffs)
• SymTab/Autogen.cc (deleted)
• SymTab/Autogen.h (deleted)
• SymTab/Validate.cc (modified) (9 diffs)
• SymTab/module.mk (modified) (2 diffs)
• SynTree/AddressExpr.cc (modified) (2 diffs)
• SynTree/ApplicationExpr.cc (modified) (3 diffs)
• SynTree/CommaExpr.cc (modified) (3 diffs)
• SynTree/CompoundStmt.cc (modified) (4 diffs)
• SynTree/Declaration.h (modified) (4 diffs)
• SynTree/DeclarationWithType.cc (modified) (2 diffs)
• SynTree/Expression.cc (modified) (13 diffs)
• SynTree/Expression.h (modified) (3 diffs)
• SynTree/FunctionDecl.cc (modified) (2 diffs)
• SynTree/Initializer.cc (modified) (5 diffs)
• SynTree/Initializer.h (modified) (7 diffs)
• SynTree/Mutator.cc (modified) (3 diffs)
• SynTree/Mutator.h (modified) (4 diffs)
• SynTree/ObjectDecl.cc (modified) (4 diffs)
• SynTree/Statement.cc (modified) (10 diffs)
• SynTree/SynTree.h (modified) (3 diffs)
• SynTree/TypeSubstitution.cc (modified) (3 diffs)
• SynTree/TypeSubstitution.h (modified) (8 diffs)
• SynTree/Visitor.cc (modified) (3 diffs)
• SynTree/Visitor.h (modified) (4 diffs)
• examples/array.c (modified) (3 diffs)
• examples/array.h (modified) (3 diffs)
• examples/rational.c (modified) (5 diffs)
• examples/vector_int.c (modified) (3 diffs)
• examples/vector_int.h (modified) (3 diffs)
• examples/vector_test.c (modified) (3 diffs)
• initialization.txt (modified) (1 diff)
• libcfa/Makefile.am (modified) (3 diffs)
• libcfa/Makefile.in (modified) (3 diffs)
• libcfa/fstream.c (modified) (4 diffs)
• libcfa/iostream.c (modified) (8 diffs)
• libcfa/prelude.cf (modified) (3 diffs)
• libcfa/rational (modified) (2 diffs)
• libcfa/rational.c (modified) (4 diffs)
• main.cc (modified) (13 diffs)

src/CodeGen/CodeGenerator.cc

@@ -10 +10 @@
 // Created On       : Mon May 18 07:44:20 2015
 // Last Modified By : Rob Schluntz
-// Last Modified On : Fri May 06 16:01:00 2016
-// Update Count     : 255
+// Last Modified On : Fri May 06 15:40:35 2016
+// Update Count     : 243
 //
 
@@ -67 +67 @@
         string mangleName( DeclarationWithType *decl ) {
                 if ( decl->get_mangleName() != "" ) {
-                        // need to incorporate scope level in order to differentiate names for destructors
-                        return decl->get_scopedMangleName();
+                        return decl->get_mangleName();
                 } else {
                         return decl->get_name();
@@ -234 +233 @@
                 printDesignators( init->get_designators() );
                 output << "{ ";
-                if ( init->begin_initializers() == init->end_initializers() ) {
-                        // illegal to leave initializer list empty for scalar initializers,
-                        // but always legal to have 0
-                        output << "0";
-                } else {
-                        genCommaList( init->begin_initializers(), init->end_initializers() );
-                }
+                genCommaList( init->begin_initializers(), init->end_initializers() );
                 output << " }";
         }
@@ -258 +251 @@
                                   case OT_POSTFIXASSIGN:
                                   case OT_INFIXASSIGN:
-                                  case OT_CTOR:
-                                  case OT_DTOR:
                                         {
                                                 assert( arg != applicationExpr->get_args().end() );
                                                 if ( AddressExpr *addrExpr = dynamic_cast< AddressExpr * >( *arg ) ) {
-                                                        // remove & from first assignment/ctor argument
+
                                                         *arg = addrExpr->get_arg();
                                                 } else {
-                                                        // no address-of operator, so must be a pointer - add dereference
                                                         UntypedExpr *newExpr = new UntypedExpr( new NameExpr( "*?" ) );
                                                         newExpr->get_args().push_back( *arg );
@@ -293 +283 @@
                                         break;
 
-                                  case OT_CTOR:
-                                  case OT_DTOR:
-                                        if ( applicationExpr->get_args().size() == 1 ) {
-                                                // the expression fed into a single parameter constructor or destructor
-                                                // may contain side effects - output as a void expression
-                                                output << "((void)(";
-                                                (*arg++)->accept( *this );
-                                                output << ")) /* " << opInfo.inputName << " */";
-                                        } else if ( applicationExpr->get_args().size() == 2 ) {
-                                                // intrinsic two parameter constructors are essentially bitwise assignment
-                                                output << "(";
-                                                (*arg++)->accept( *this );
-                                                output << opInfo.symbol;
-                                                (*arg)->accept( *this );
-                                                output << ") /* " << opInfo.inputName << " */";
-                                        } else {
-                                                // no constructors with 0 or more than 2 parameters
-                                                assert( false );
-                                        }
-                                        break;
-
                                   case OT_PREFIX:
                                   case OT_PREFIXASSIGN:
@@ -329 +298 @@
                                         output << opInfo.symbol;
                                         break;
-
 
                                   case OT_INFIX:
@@ -376 +344 @@
                                   case OT_CALL:
                                         assert( false );
-
-
-                                  case OT_CTOR:
-                                  case OT_DTOR:
-                                        if ( untypedExpr->get_args().size() == 1 ) {
-                                                // the expression fed into a single parameter constructor or destructor
-                                                // may contain side effects - output as a void expression
-                                                output << "((void)(";
-                                                (*arg++)->accept( *this );
-                                                output << ")) /* " << opInfo.inputName << " */";
-                                        } else if ( untypedExpr->get_args().size() == 2 ) {
-                                                // intrinsic two parameter constructors are essentially bitwise assignment
-                                                output << "(";
-                                                (*arg++)->accept( *this );
-                                                output << opInfo.symbol;
-                                                (*arg)->accept( *this );
-                                                output << ") /* " << opInfo.inputName << " */";
-                                        } else {
-                                                // no constructors with 0 or more than 2 parameters
-                                                assert( false );
-                                        }
                                         break;
 

src/CodeGen/FixNames.cc

@@ -5 +5 @@
 // file "LICENCE" distributed with Cforall.
 //
-// FixNames.cc --
+// FixNames.cc -- 
 //
 // Author           : Richard C. Bilson
 // Created On       : Mon May 18 07:44:20 2015
-// Last Modified By : Rob Schluntz
-// Last Modified On : Mon Apr 11 15:38:10 2016
+// Last Modified By : Peter A. Buhr
+// Last Modified On : Mon May 18 23:36:42 2015
 // Update Count     : 1
 //
@@ -26 +26 @@
                 virtual void visit( ObjectDecl *objectDecl );
                 virtual void visit( FunctionDecl *functionDecl );
-
-                virtual void visit( CompoundStmt *compoundStmt );
-
-          private:
-                int scopeLevel = 1;
-
-                void fixDWT( DeclarationWithType *dwt );
         };
 
@@ -40 +33 @@
         }
 
-        void FixNames::fixDWT( DeclarationWithType *dwt ) {
+        void fixDWT( DeclarationWithType *dwt ) {
                 if ( dwt->get_name() != "" ) {
                         if ( LinkageSpec::isDecoratable( dwt->get_linkage() ) ) {
                                 dwt->set_mangleName( SymTab::Mangler::mangle( dwt ) );
-                                dwt->set_scopeLevel( scopeLevel );
                         } // if
                 } // if
@@ -58 +50 @@
                 fixDWT( functionDecl );
         }
-
-        void FixNames::visit( CompoundStmt *compoundStmt ) {
-                scopeLevel++;
-                Visitor::visit( compoundStmt );
-                scopeLevel--;
-        }
 } // namespace CodeGen
 

src/CodeGen/OperatorTable.cc

@@ -5 +5 @@
 // file "LICENCE" distributed with Cforall.
 //
-// OperatorTable.cc --
+// OperatorTable.cc -- 
 //
 // Author           : Richard C. Bilson
 // Created On       : Mon May 18 07:44:20 2015
-// Last Modified By : Rob Schluntz
-// Last Modified On : Thu Apr 14 16:48:27 2016
-// Update Count     : 9
+// Last Modified By : Peter A. Buhr
+// Last Modified On : Tue Jun 23 17:41:14 2015
+// Update Count     : 5
 //
 
@@ -21 +21 @@
                 const OperatorInfo tableValues[] = {
                         {       "?[?]",         "",             "_operator_index",                              OT_INDEX                        },
-                        {       "?{}",          "=",            "_constructor",                                 OT_CTOR                         },
-                        {       "^?{}",         "",             "_destructor",                                  OT_DTOR                         },
                         {       "?()",          "",             "_operator_call",                               OT_CALL                         },
                         {       "?++",          "++",   "_operator_postincr",                   OT_POSTFIXASSIGN        },

src/CodeGen/OperatorTable.h

@@ -9 +9 @@
 // Author           : Richard C. Bilson
 // Created On       : Mon May 18 07:44:20 2015
-// Last Modified By : Rob Schluntz
-// Last Modified On : Wed Jun 24 16:17:57 2015
-// Update Count     : 5
+// Last Modified By : Peter A. Buhr
+// Last Modified On : Tue Jun 23 16:09:27 2015
+// Update Count     : 3
 //
 
@@ -22 +22 @@
         enum OperatorType {
                 OT_INDEX,
-                OT_CTOR,
-                OT_DTOR,
                 OT_CALL,
                 OT_PREFIX,

src/Common/utility.h

@@ -5 +5 @@
 // file "LICENCE" distributed with Cforall.
 //
-// utility.h --
+// utility.h -- 
 //
 // Author           : Richard C. Bilson
 // Created On       : Mon May 18 07:44:20 2015
-// Last Modified By : Rob Schluntz
-// Last Modified On : Thu Apr 28 13:18:24 2016
+// Last Modified By : Peter A. Buhr
+// Last Modified On : Thu Jul  2 18:04:41 2015
 // Update Count     : 16
 //
@@ -62 +62 @@
                         os << std::string( indent,  ' ' );
                         (*i)->print( os, indent + 2 );
-                        // need an endl after each element because it's not easy to know when each individual item should end
                         os << std::endl;
                 } // if
@@ -129 +128 @@
 }
 
-template < typename T >
+template < typename T > 
 std::string toString ( T value ) {
         std::ostringstream os;

src/GenPoly/Box.cc

@@ -9 +9 @@
 // Author           : Richard C. Bilson
 // Created On       : Mon May 18 07:44:20 2015
-// Last Modified By : Rob Schluntz
-// Last Modified On : Tue May 03 16:44:47 2016
-// Update Count     : 295
+// Last Modified By : Peter A. Buhr
+// Last Modified On : Fri Feb  5 16:45:07 2016
+// Update Count     : 286
 //
 
@@ -133 +133 @@
                         Value *lookup( Key *key, const std::list< TypeExpr* >& params ) const {
                                 TypeList typeList( params );
-
+                                
                                 // scan scopes for matches to the key
                                 for ( typename InnerMap::const_iterator insts = instantiations.find( key ); insts != instantiations.end(); insts = instantiations.findNext( insts, key ) ) {
@@ -160 +160 @@
                         virtual Declaration *mutate( UnionDecl *unionDecl );
                 };
-
+                
                 /// Replaces polymorphic return types with out-parameters, replaces calls to polymorphic functions with adapter calls as needed, and adds appropriate type variables to the function call
                 class Pass1 : public PolyMutator {
@@ -208 +208 @@
                         ResolvExpr::TypeMap< DeclarationWithType > scopedAssignOps;  ///< Currently known assignment operators
                         ScopedMap< std::string, DeclarationWithType* > adapters;     ///< Set of adapter functions in the current scope
-
+                        
                         DeclarationWithType *retval;
                         bool useRetval;
@@ -226 +226 @@
                         virtual Type *mutate( PointerType *pointerType );
                         virtual Type *mutate( FunctionType *funcType );
-
+                        
                   private:
                         void addAdapters( FunctionType *functionType );
@@ -297 +297 @@
                         /// Exits the type-variable scope
                         void endTypeScope();
-
+                        
                         ScopedSet< std::string > knownLayouts;          ///< Set of generic type layouts known in the current scope, indexed by sizeofName
                         ScopedSet< std::string > knownOffsets;          ///< Set of non-generic types for which the offset array exists in the current scope, indexed by offsetofName
@@ -351 +351 @@
                 PolyGenericCalculator polyCalculator;
                 Pass3 pass3;
-
+                
                 layoutBuilder.mutateDeclarationList( translationUnit );
                 mutateTranslationUnit/*All*/( translationUnit, pass1 );
@@ -370 +370 @@
                 return functionDecl;
         }
-
+        
         /// Get a list of type declarations that will affect a layout function
         std::list< TypeDecl* > takeOtypeOnly( std::list< TypeDecl* > &decls ) {
@@ -380 +380 @@
                         }
                 }
-
+                
                 return otypeDecls;
         }
@@ -387 +387 @@
         void addOtypeParams( FunctionType *layoutFnType, std::list< TypeDecl* > &otypeParams ) {
                 BasicType sizeAlignType( Type::Qualifiers(), BasicType::LongUnsignedInt );
-
+                
                 for ( std::list< TypeDecl* >::const_iterator param = otypeParams.begin(); param != otypeParams.end(); ++param ) {
                         TypeInstType paramType( Type::Qualifiers(), (*param)->get_name(), *param );
@@ -444 +444 @@
                 return makeCond( ifCond, ifExpr );
         }
-
+        
         /// adds an expression to a compound statement
         void addExpr( CompoundStmt *stmts, Expression *expr ) {
@@ -454 +454 @@
                 stmts->get_kids().push_back( stmt );
         }
-
+        
         Declaration *LayoutFunctionBuilder::mutate( StructDecl *structDecl ) {
                 // do not generate layout function for "empty" tag structs
@@ -467 +467 @@
                 BasicType *sizeAlignType = new BasicType( Type::Qualifiers(), BasicType::LongUnsignedInt );
                 PointerType *sizeAlignOutType = new PointerType( Type::Qualifiers(), sizeAlignType );
-
+                
                 ObjectDecl *sizeParam = new ObjectDecl( sizeofName( structDecl->get_name() ), DeclarationNode::NoStorageClass, LinkageSpec::Cforall, 0, sizeAlignOutType, 0 );
                 layoutFnType->get_parameters().push_back( sizeParam );
@@ -497 +497 @@
                                 addStmt( layoutDecl->get_statements(), makeAlignTo( derefVar( sizeParam ), new AlignofExpr( memberType->clone() ) ) );
                         }
-
+                        
                         // place current size in the current offset index
                         addExpr( layoutDecl->get_statements(), makeOp( "?=?", makeOp( "?[?]", new VariableExpr( offsetParam ), new ConstantExpr( Constant::from( n_members ) ) ),
@@ -505 +505 @@
                         // add member size to current size
                         addExpr( layoutDecl->get_statements(), makeOp( "?+=?", derefVar( sizeParam ), new SizeofExpr( memberType->clone() ) ) );
-
+                        
                         // take max of member alignment and global alignment
                         addStmt( layoutDecl->get_statements(), makeAssignMax( derefVar( alignParam ), new AlignofExpr( memberType->clone() ) ) );
@@ -515 +515 @@
                 return structDecl;
         }
-
+        
         Declaration *LayoutFunctionBuilder::mutate( UnionDecl *unionDecl ) {
                 // do not generate layout function for "empty" tag unions
                 if ( unionDecl->get_members().empty() ) return unionDecl;
-
+                
                 // get parameters that can change layout, exiting early if none
                 std::list< TypeDecl* > otypeParams = takeOtypeOnly( unionDecl->get_parameters() );
@@ -528 +528 @@
                 BasicType *sizeAlignType = new BasicType( Type::Qualifiers(), BasicType::LongUnsignedInt );
                 PointerType *sizeAlignOutType = new PointerType( Type::Qualifiers(), sizeAlignType );
-
+                
                 ObjectDecl *sizeParam = new ObjectDecl( sizeofName( unionDecl->get_name() ), DeclarationNode::NoStorageClass, LinkageSpec::Cforall, 0, sizeAlignOutType, 0 );
                 layoutFnType->get_parameters().push_back( sizeParam );
@@ -545 +545 @@
                         assert( dwt );
                         Type *memberType = dwt->get_type();
-
+                        
                         // take max member size and global size
                         addStmt( layoutDecl->get_statements(), makeAssignMax( derefVar( sizeParam ), new SizeofExpr( memberType->clone() ) ) );
-
+                        
                         // take max of member alignment and global alignment
                         addStmt( layoutDecl->get_statements(), makeAssignMax( derefVar( alignParam ), new AlignofExpr( memberType->clone() ) ) );
@@ -558 +558 @@
                 return unionDecl;
         }
-
+        
         ////////////////////////////////////////// Pass1 ////////////////////////////////////////////////////
 
@@ -619 +619 @@
                         return 0;
                 }
-
+                
                 /// returns T if the given declaration is: (*?=?)(T *, T) for some type T (return not checked, but maybe should be), NULL otherwise
                 /// Only picks assignments where neither parameter is cv-qualified
@@ -631 +631 @@
                                                 Type *paramType2 = funType->get_parameters().back()->get_type();
                                                 if ( paramType2->get_qualifiers() != defaultQualifiers ) return 0;
-
+                                                
                                                 if ( PointerType *pointerType = dynamic_cast< PointerType* >( paramType1 ) ) {
                                                         Type *baseType1 = pointerType->get_base();
@@ -784 +784 @@
                                                 arg++;
                                         } else {
-                                                /// xxx - should this be an assertion?
-                                                throw SemanticError( "unbound type variable: " + tyParm->first + " in application ", appExpr );
+                                                throw SemanticError( "unbound type variable in application ", appExpr );
                                         } // if
                                 } // if
@@ -804 +803 @@
                                 passArgTypeVars( appExpr, polyRetType, concRetType, arg, exprTyVars, seenTypes );
                         }
-
+                        
                         // add type information args for presently unseen types in parameter list
                         for ( ; fnParm != funcType->get_parameters().end() && fnArg != appExpr->get_args().end(); ++fnParm, ++fnArg ) {
@@ -883 +882 @@
                         assert( env );
                         Type *concrete = replaceWithConcrete( appExpr, polyType );
-                        // add out-parameter for return value
+                        // add out-parameter for return value   
                         return addRetParam( appExpr, function, concrete, arg );
                 }
@@ -911 +910 @@
                                 } else if ( arg->get_results().front()->get_isLvalue() ) {
                                         // VariableExpr and MemberExpr are lvalues; need to check this isn't coming from the second arg of a comma expression though (not an lvalue)
-                                        // xxx - need to test that this code is still reachable
                                         if ( CommaExpr *commaArg = dynamic_cast< CommaExpr* >( arg ) ) {
                                                 commaArg->set_arg2( new AddressExpr( commaArg->get_arg2() ) );
@@ -1293 +1291 @@
                         } else if ( needsAdapter( function, scopeTyVars ) ) {
                                 // std::cerr << "needs adapter: ";
-                                // printTyVarMap( std::cerr, scopeTyVars );
-                                // std::cerr << *env << std::endl;
+                                // for ( TyVarMap::iterator i = scopeTyVars.begin(); i != scopeTyVars.end(); ++i ) {
+                                //      std::cerr << i->first << " ";
+                                // }
+                                // std::cerr << "\n";
                                 // change the application so it calls the adapter rather than the passed function
                                 ret = applyAdapter( appExpr, function, arg, scopeTyVars );
@@ -1345 +1345 @@
                                 } // if
                         } // if
-                        // isPolyType check needs to happen before mutating addrExpr arg, so pull it forward
-                        // out of the if condition.
-                        bool polytype = isPolyType( addrExpr->get_arg()->get_results().front(), scopeTyVars, env );
                         addrExpr->set_arg( mutateExpression( addrExpr->get_arg() ) );
-                        if ( polytype || needs ) {
+                        if ( isPolyType( addrExpr->get_arg()->get_results().front(), scopeTyVars, env ) || needs ) {
                                 Expression *ret = addrExpr->get_arg();
                                 delete ret->get_results().front();
@@ -1369 +1366 @@
                         return new VariableExpr( functionObj );
                 }
-
+                
                 Statement * Pass1::mutate( ReturnStmt *returnStmt ) {
                         if ( retval && returnStmt->get_expr() ) {
@@ -1889 +1886 @@
                                 }
                         }
-
+                        
                         Type *ret = Mutator::mutate( funcType );
 
@@ -1908 +1905 @@
 
                                         std::list<Expression*> designators;
-                                        objectDecl->set_init( new SingleInit( alloc, designators, false ) ); // not constructed
+                                        objectDecl->set_init( new SingleInit( alloc, designators ) );
                                 }
                         }
@@ -1949 +1946 @@
                         return derefdVar;
                 }
-
+                
                 Expression *PolyGenericCalculator::mutate( MemberExpr *memberExpr ) {
                         // mutate, exiting early if no longer MemberExpr
@@ -2147 +2144 @@
                         Type *ty = offsetofExpr->get_type();
                         if ( ! findGeneric( ty ) ) return offsetofExpr;
-
+                        
                         if ( StructInstType *structType = dynamic_cast< StructInstType* >( ty ) ) {
                                 // replace offsetof expression by index into offset array

src/GenPoly/CopyParams.cc

@@ -5 +5 @@
 // file "LICENCE" distributed with Cforall.
 //
-// CopyParams.cc --
+// CopyParams.cc -- 
 //
 // Author           : Richard C. Bilson
 // Created On       : Mon May 18 07:44:20 2015
-// Last Modified By : Rob Schluntz
+// Last Modified By : Peter A. Buhr
 // Last Modified On : Tue May 19 07:33:31 2015
 // Update Count     : 1
@@ -29 +29 @@
           public:
                 CopyParams();
-
+  
                 virtual void visit( FunctionDecl *funcDecl );
                 virtual void visit( AddressExpr *addrExpr );
@@ -50 +50 @@
                 if ( funcDecl->get_statements() ) {
                         funcDecl->get_statements()->accept( *this );
-
+        
                         if ( ! modVars.empty() ) {
                                 std::map< std::string, DeclarationWithType* > assignOps;
@@ -57 +57 @@
                                         if ( (*tyVar)->get_kind() == TypeDecl::Any ) {
                                                 assert( !(*tyVar)->get_assertions().empty() );
-                                                assert( (*tyVar)->get_assertions().front()->get_name() == "?=?" );
                                                 assignOps[ (*tyVar)->get_name() ] = (*tyVar)->get_assertions().front();
                                         } // if

src/GenPoly/GenPoly.cc

@@ -5 +5 @@
 // file "LICENCE" distributed with Cforall.
 //
-// GenPoly.cc --
+// GenPoly.cc -- 
 //
 // Author           : Richard C. Bilson
 // Created On       : Mon May 18 07:44:20 2015
-// Last Modified By : Rob Schluntz
-// Last Modified On : Mon May 02 14:53:33 2016
+// Last Modified By : Peter A. Buhr
+// Last Modified On : Tue Dec 15 16:11:18 2015
 // Update Count     : 13
 //
@@ -81 +81 @@
                 return 0;
         }
-
+        
         Type *isPolyType( Type *type, const TyVarMap &tyVars, const TypeSubstitution *env ) {
                 if ( TypeInstType *typeInst = dynamic_cast< TypeInstType * >( type ) ) {
@@ -112 +112 @@
                 return 0;
         }
-
+        
         Type *isPolyPtr( Type *type, const TyVarMap &tyVars, const TypeSubstitution *env ) {
                 if ( PointerType *ptr = dynamic_cast< PointerType *>( type ) ) {
@@ -146 +146 @@
                 return isPolyType( type, env );
         }
-
+        
         Type * hasPolyBase( Type *type, const TyVarMap &tyVars, int *levels, const TypeSubstitution *env ) {
                 int dummy;
@@ -192 +192 @@
                                 if ( ! fn || fn->get_name() != std::string("*?") ) return 0;
                                 expr = *untypedExpr->begin_args();
-                        } else if ( CommaExpr *commaExpr = dynamic_cast< CommaExpr* >( expr ) ) {
-                                // copy constructors insert comma exprs, look at second argument which contains the variable
-                                expr = commaExpr->get_arg2();
-                                continue;
                         } else break;
 
@@ -213 +209 @@
                 }
         }
-
+        
         void printTyVarMap( std::ostream &os, const TyVarMap &tyVarMap ) {
                 for ( TyVarMap::const_iterator i = tyVarMap.begin(); i != tyVarMap.end(); ++i ) {

src/GenPoly/PolyMutator.cc

@@ -5 +5 @@
 // file "LICENCE" distributed with Cforall.
 //
-// PolyMutator.cc --
+// PolyMutator.cc -- 
 //
 // Author           : Richard C. Bilson
 // Created On       : Mon May 18 07:44:20 2015
 // Last Modified By : Rob Schluntz
-// Last Modified On : Mon May 02 14:50:58 2016
+// Last Modified On : Fri Aug 14 15:28:50 2015
 // Update Count     : 11
 //
@@ -63 +63 @@
                                 env = expr->get_env();
                         }
-                        // xxx - should env be cloned (or moved) onto the result of the mutate?
                         return expr->acceptMutator( *this );
                 } else {
@@ -145 +144 @@
                 return untypedExpr;
         }
-
-
+ 
+ 
         Initializer *PolyMutator::mutate( SingleInit *singleInit ) {
                 singleInit->set_value( mutateExpression( singleInit->get_value() ) );

src/GenPoly/Specialize.cc

@@ -10 +10 @@
 // Created On       : Mon May 18 07:44:20 2015
 // Last Modified By : Rob Schluntz
-// Last Modified On : Thu Apr 28 15:17:45 2016
-// Update Count     : 24
+// Last Modified On : Wed Jan 20 12:40:33 2016
+// Update Count     : 18
 //
 
@@ -41 +41 @@
                 virtual Expression * mutate( AddressExpr *castExpr );
                 virtual Expression * mutate( CastExpr *castExpr );
-                // virtual Expression * mutate( LogicalExpr *logicalExpr );
-                // virtual Expression * mutate( ConditionalExpr *conditionalExpr );
-                // virtual Expression * mutate( CommaExpr *commaExpr );
+                virtual Expression * mutate( LogicalExpr *logicalExpr );
+                virtual Expression * mutate( ConditionalExpr *conditionalExpr );
+                virtual Expression * mutate( CommaExpr *commaExpr );
 
           private:
@@ -142 +142 @@
 
         Expression * Specialize::doSpecialization( Type *formalType, Expression *actual, InferredParams *inferParams ) {
-                assert( ! actual->get_results().empty() ); // using front, should have this assert
+                assert( ! actual->get_results().empty() );
                 if ( needsSpecialization( formalType, actual->get_results().front(), env ) ) {
                         FunctionType *funType;
@@ -212 +212 @@
         }
 
-        // Removing these for now. Richard put these in for some reason, but it's not clear why.
-        // In particular, copy constructors produce a comma expression, and with this code the parts
-        // of that comma expression are not specialized, which causes problems.
-
-        // Expression * Specialize::mutate( LogicalExpr *logicalExpr ) {
-        //      return logicalExpr;
-        // }
-
-        // Expression * Specialize::mutate( ConditionalExpr *condExpr ) {
-        //      return condExpr;
-        // }
-
-        // Expression * Specialize::mutate( CommaExpr *commaExpr ) {
-        //      return commaExpr;
-        // }
+        Expression * Specialize::mutate( LogicalExpr *logicalExpr ) {
+                return logicalExpr;
+        }
+
+        Expression * Specialize::mutate( ConditionalExpr *condExpr ) {
+                return condExpr;
+        }
+
+        Expression * Specialize::mutate( CommaExpr *commaExpr ) {
+                return commaExpr;
+        }
 } // namespace GenPoly
 

src/InitTweak/FixGlobalInit.cc

@@ -10 +10 @@
 // Created On       : Mon May 04 15:14:56 2016
 // Last Modified By : Rob Schluntz
-// Last Modified On : Fri May 06 16:14:13 2016
+// Last Modified On : Fri May 06 15:40:48 2016
 // Update Count     : 2
 //
 
 #include "FixGlobalInit.h"
-#include "GenInit.h"
 #include "SynTree/Declaration.h"
 #include "SynTree/Type.h"
@@ -43 +42 @@
                 UniqueName tempNamer;
                 FunctionDecl * initFunction;
-                FunctionDecl * destroyFunction;
         };
 
@@ -93 +91 @@
                 acceptAll( translationUnit, fixer );
                 translationUnit.push_back( fixer.initFunction );
-                translationUnit.push_back( fixer.destroyFunction );
         }
 
-  std::string globalFunctionName( const std::string & name ) {
+  std::string initName( const std::string & name ) {
         // get basename
         std::string ret = name.substr( 0, name.find( '.' ) );
@@ -102 +99 @@
                 static std::string invalid = "/-";
         replace_if( ret.begin(), ret.end(), []( char c ) { return invalid.find(c) != std::string::npos; }, '_' );
-        return ret;
+        return "_init_" + ret;
   }
 
         GlobalFixer::GlobalFixer( const std::string & name, bool inLibrary ) : tempNamer( "_global_init" ) {
-                std::string fixedName = globalFunctionName( name );
-                initFunction = new FunctionDecl( "_init_" + fixedName, DeclarationNode::Static, LinkageSpec::C, new FunctionType( Type::Qualifiers(), false ), new CompoundStmt( noLabels ), false, false, FunctionDecl::Attribute( FunctionDecl::Attribute::Constructor, inLibrary ? FunctionDecl::Attribute::High : FunctionDecl::Attribute::Default ) );
-
-                destroyFunction = new FunctionDecl( "_destroy_" + fixedName, DeclarationNode::Static, LinkageSpec::C, new FunctionType( Type::Qualifiers(), false ), new CompoundStmt( noLabels ), false, false, FunctionDecl::Attribute( FunctionDecl::Attribute::Destructor, inLibrary ? FunctionDecl::Attribute::High : FunctionDecl::Attribute::Default ) );
+                initFunction = new FunctionDecl( initName( name ), DeclarationNode::Static, LinkageSpec::C, new FunctionType( Type::Qualifiers(), false ), new CompoundStmt( noLabels ), false, false, FunctionDecl::Attribute( FunctionDecl::Attribute::Constructor, inLibrary ? FunctionDecl::Attribute::High : FunctionDecl::Attribute::Default ) );
         }
 
         void GlobalFixer::visit( ObjectDecl *objDecl ) {
-                std::list< Statement * > & initStatements = initFunction->get_statements()->get_kids();
-                std::list< Statement * > & destroyStatements = destroyFunction->get_statements()->get_kids();
+                std::list< Statement * > & statements = initFunction->get_statements()->get_kids();
 
                 if ( objDecl->get_init() == NULL ) return;
-                if ( ! tryConstruct( objDecl ) ) return; // don't construct @= or designated objects
                 if ( objDecl->get_type()->get_isConst() ) return; // temporary: can't assign to a const variable
                 // C allows you to initialize objects with constant expressions
@@ -127 +119 @@
                 ObjectDecl *newObj = new ObjectDecl( tempNamer.newName(), DeclarationNode::NoStorageClass, LinkageSpec::C, 0, objDecl->get_type()->clone(), objDecl->get_init() );
                 objDecl->set_init( NULL );
-                initStatements.push_back( new DeclStmt( noLabels, newObj ) );
+                statements.push_back( new DeclStmt( noLabels, newObj ) );
 
-                // copy construct objDecl using temporary
-                UntypedExpr * init = new UntypedExpr( new NameExpr( "?{}" ) );
+                // assign (later: copy construct) objDecl using temporary
+                UntypedExpr * init = new UntypedExpr( new NameExpr( "?=?" ) );
                 init->get_args().push_back( new AddressExpr( new VariableExpr( objDecl ) ) );
                 init->get_args().push_back( new VariableExpr( newObj ) );
-                initStatements.push_back( new ExprStmt( noLabels, init ) );
+                statements.push_back( new ExprStmt( noLabels, init ) );
 
-                // add destructor calls to global destroy function
-                UntypedExpr * destroy = new UntypedExpr( new NameExpr( "^?{}" ) );
-                destroy->get_args().push_back( new AddressExpr( new VariableExpr( objDecl ) ) );
-                destroyStatements.push_front( new ExprStmt( noLabels, destroy ) );
+                // xxx- need to destruct objDecl atexit
         }
 

src/InitTweak/FixGlobalInit.h

@@ -10 +10 @@
 // Created On       : Mon May 04 15:14:56 2016
 // Last Modified By : Rob Schluntz
-// Last Modified On : Fri May 06 16:07:47 2016
+// Last Modified On : Fri May 06 15:29:13 2016
 // Update Count     : 2
 //
@@ -31 +31 @@
   /// Apply transformations to a file name to get a valid C identifier which will be used as
   /// the name of the generated initializer function.
-  std::string globalFunctionName( const std::string & name );
+  std::string initName( const std::string & name );
 } // namespace
 

src/InitTweak/InitModel.cc

@@ -5 +5 @@
 // file "LICENCE" distributed with Cforall.
 //
-// InitModel.cc --
+// InitModel.cc -- 
 //
 // Author           : Rodolfo G. Esteves
 // Created On       : Mon May 18 07:44:20 2015
-// Last Modified By : Rob Schluntz
-// Last Modified On : Thu Jan 07 13:38:46 2016
-// Update Count     : 5
+// Last Modified By : Peter A. Buhr
+// Last Modified On : Tue May 19 16:37:08 2015
+// Update Count     : 1
 //
 
@@ -198 +198 @@
                 assert(init == 0 && single != 0);
                 std::list< Expression * > empty;
-                init = new SingleInit( single->get_expr(), empty, false ); // cannot be constructed
+                init = new SingleInit( single->get_expr(), empty );
                 return;
         }
@@ -214 +214 @@
                         } // if
 
-                std::list< Expression * > desig;
-                init = new ListInit( contents, desig, false ); // cannot be constructed
+                init = new ListInit( contents );
                 return;
         }

src/InitTweak/module.mk

@@ -11 +11 @@
 ## Created On       : Mon Jun  1 17:49:17 2015
 ## Last Modified By : Rob Schluntz
-## Last Modified On : Fri May 06 15:59:27 2016
-## Update Count     : 3
+## Last Modified On : Wed May 04 16:03:49 2016
+## Update Count     : 2
 ###############################################################################
 
-SRC += InitTweak/GenInit.cc \
-        InitTweak/FixInit.cc \
+SRC += InitTweak/RemoveInit.cc \
         InitTweak/FixGlobalInit.cc
 

src/MakeLibCfa.cc

@@ -5 +5 @@
 // file "LICENCE" distributed with Cforall.
 //
-// MakeLibCfa.cc --
+// MakeLibCfa.cc -- 
 //
 // Author           : Richard C. Bilson
 // Created On       : Sat May 16 10:33:33 2015
-// Last Modified By : Rob Schluntz
-// Last Modified On : Fri Apr 22 13:54:15 2016
-// Update Count     : 40
-//
+// Last Modified By : Peter A. Buhr
+// Last Modified On : Fri Jun 26 16:52:59 2015
+// Update Count     : 14
+// 
 
 #include "MakeLibCfa.h"
@@ -29 +29 @@
                 void visit( FunctionDecl* funcDecl );
                 void visit( ObjectDecl* objDecl );
-
+  
                 std::list< Declaration* > &get_newDecls() { return newDecls; }
           private:
@@ -43 +43 @@
         void MakeLibCfa::visit( FunctionDecl* origFuncDecl ) {
                 if ( origFuncDecl->get_linkage() != LinkageSpec::Intrinsic ) return;
-                if ( origFuncDecl->get_statements() ) return;
-
+  
                 FunctionDecl *funcDecl = origFuncDecl->clone();
                 CodeGen::OperatorInfo opInfo;
@@ -55 +54 @@
                 assert( param != funcDecl->get_functionType()->get_parameters().end() );
 
-                for ( ; param != funcDecl->get_functionType()->get_parameters().end(); ++param ) {
-                        if ( (*param)->get_name() == "" ) {
-                                (*param)->set_name( paramNamer.newName() );
-                                (*param)->set_linkage( LinkageSpec::C );
-                        }
-                        newExpr->get_args().push_back( new VariableExpr( *param ) );
-                } // for
-
-                funcDecl->set_statements( new CompoundStmt( std::list< Label >() ) );
-                newDecls.push_back( funcDecl );
+                if ( (*param)->get_name() == "" ) {
+                        (*param)->set_name( paramNamer.newName() );
+                        (*param)->set_linkage( LinkageSpec::C );
+                } // if
 
                 switch ( opInfo.type ) {
@@ -72 +65 @@
                   case CodeGen::OT_POSTFIX:
                   case CodeGen::OT_INFIX:
+                        newExpr->get_args().push_back( new VariableExpr( *param ) );
+                        break;
                   case CodeGen::OT_PREFIXASSIGN:
                   case CodeGen::OT_POSTFIXASSIGN:
                   case CodeGen::OT_INFIXASSIGN:
-                                funcDecl->get_statements()->get_kids().push_back( new ReturnStmt( std::list< Label >(), newExpr ) );
+                        {
+                                newExpr->get_args().push_back( new VariableExpr( *param ) );
+                                // UntypedExpr *deref = new UntypedExpr( new NameExpr( "*?" ) );
+                                // deref->get_args().push_back( new VariableExpr( *param ) );
+                                // newExpr->get_args().push_back( deref );
                                 break;
-                  case CodeGen::OT_CTOR:
-                        // ctors don't return a value
-                        if ( funcDecl->get_functionType()->get_parameters().size() == 1 ) {
-                                // intrinsic default constructors should do nothing
-                                // delete newExpr;
-                                break;
-                        } else {
-                                assert( funcDecl->get_functionType()->get_parameters().size() == 2 );
-                                // anything else is a single parameter constructor that is effectively a C-style assignment
-                                // delete newExpr->get_function();
-                                assert(newExpr->get_args().size()==2);
-                                newExpr->set_function( new NameExpr( "?=?" ) );
-                                funcDecl->get_statements()->get_kids().push_back( new ExprStmt( std::list< Label >(), newExpr ) );
-                        }
-                        break;
-                  case CodeGen::OT_DTOR:
-                        // intrinsic destructors should do nothing
-                        // delete newExpr;
-                        break;
+                        }
                   case CodeGen::OT_CONSTANT:
                   case CodeGen::OT_LABELADDRESS:
@@ -101 +82 @@
                         assert( false );
                 } // switch
+
+                for ( param++; param != funcDecl->get_functionType()->get_parameters().end(); ++param ) {
+                        if ( (*param)->get_name() == "" ) {
+                                (*param)->set_name( paramNamer.newName() );
+                                (*param)->set_linkage( LinkageSpec::C );
+                        }
+                        newExpr->get_args().push_back( new VariableExpr( *param ) );
+                } // for
+                funcDecl->set_statements( new CompoundStmt( std::list< Label >() ) );
+                funcDecl->get_statements()->get_kids().push_back( new ReturnStmt( std::list< Label >(), newExpr ) );
+                newDecls.push_back( funcDecl );
         }
 
         void MakeLibCfa::visit( ObjectDecl* origObjDecl ) {
                 if ( origObjDecl->get_linkage() != LinkageSpec::Intrinsic ) return;
-
+  
                 ObjectDecl *objDecl = origObjDecl->clone();
                 assert( ! objDecl->get_init() );
                 std::list< Expression* > noDesignators;
-                objDecl->set_init( new SingleInit( new NameExpr( objDecl->get_name() ), noDesignators, false ) ); // cannot be constructed
+                objDecl->set_init( new SingleInit( new NameExpr( objDecl->get_name() ), noDesignators ) );
                 newDecls.push_back( objDecl );
         }
 } // namespace LibCfa
+
+// Local Variables: //
+// tab-width: 4 //
+// mode: c++ //
+// compile-command: "make install" //
+// End: //

src/Makefile.in

@@ -123 +123 @@
         GenPoly/driver_cfa_cpp-FindFunction.$(OBJEXT) \
         GenPoly/driver_cfa_cpp-DeclMutator.$(OBJEXT) \
-        InitTweak/driver_cfa_cpp-GenInit.$(OBJEXT) \
-        InitTweak/driver_cfa_cpp-FixInit.$(OBJEXT) \
+        InitTweak/driver_cfa_cpp-RemoveInit.$(OBJEXT) \
         InitTweak/driver_cfa_cpp-FixGlobalInit.$(OBJEXT) \
         Parser/driver_cfa_cpp-parser.$(OBJEXT) \
@@ -161 +160 @@
         SymTab/driver_cfa_cpp-ImplementationType.$(OBJEXT) \
         SymTab/driver_cfa_cpp-TypeEquality.$(OBJEXT) \
-        SymTab/driver_cfa_cpp-Autogen.$(OBJEXT) \
         SynTree/driver_cfa_cpp-Type.$(OBJEXT) \
         SynTree/driver_cfa_cpp-VoidType.$(OBJEXT) \
@@ -348 +346 @@
         GenPoly/ScrubTyVars.cc GenPoly/Lvalue.cc GenPoly/Specialize.cc \
         GenPoly/CopyParams.cc GenPoly/FindFunction.cc \
-        GenPoly/DeclMutator.cc InitTweak/GenInit.cc \
-        InitTweak/FixInit.cc InitTweak/FixGlobalInit.cc \
-        Parser/parser.yy Parser/lex.ll Parser/TypedefTable.cc \
-        Parser/ParseNode.cc Parser/DeclarationNode.cc \
-        Parser/ExpressionNode.cc Parser/StatementNode.cc \
-        Parser/InitializerNode.cc Parser/TypeData.cc \
-        Parser/LinkageSpec.cc Parser/parseutility.cc Parser/Parser.cc \
+        GenPoly/DeclMutator.cc InitTweak/RemoveInit.cc \
+        InitTweak/FixGlobalInit.cc Parser/parser.yy Parser/lex.ll \
+        Parser/TypedefTable.cc Parser/ParseNode.cc \
+        Parser/DeclarationNode.cc Parser/ExpressionNode.cc \
+        Parser/StatementNode.cc Parser/InitializerNode.cc \
+        Parser/TypeData.cc Parser/LinkageSpec.cc \
+        Parser/parseutility.cc Parser/Parser.cc \
         ResolvExpr/AlternativeFinder.cc ResolvExpr/Alternative.cc \
         ResolvExpr/Unify.cc ResolvExpr/PtrsAssignable.cc \
@@ -366 +364 @@
         SymTab/Mangler.cc SymTab/Validate.cc SymTab/FixFunction.cc \
         SymTab/ImplementationType.cc SymTab/TypeEquality.cc \
-        SymTab/Autogen.cc SynTree/Type.cc SynTree/VoidType.cc \
-        SynTree/BasicType.cc SynTree/PointerType.cc \
-        SynTree/ArrayType.cc SynTree/FunctionType.cc \
-        SynTree/ReferenceToType.cc SynTree/TupleType.cc \
-        SynTree/TypeofType.cc SynTree/AttrType.cc \
+        SynTree/Type.cc SynTree/VoidType.cc SynTree/BasicType.cc \
+        SynTree/PointerType.cc SynTree/ArrayType.cc \
+        SynTree/FunctionType.cc SynTree/ReferenceToType.cc \
+        SynTree/TupleType.cc SynTree/TypeofType.cc SynTree/AttrType.cc \
         SynTree/VarArgsType.cc SynTree/Constant.cc \
         SynTree/Expression.cc SynTree/TupleExpr.cc \
@@ -566 +563 @@
         @$(MKDIR_P) InitTweak/$(DEPDIR)
         @: > InitTweak/$(DEPDIR)/$(am__dirstamp)
-InitTweak/driver_cfa_cpp-GenInit.$(OBJEXT): InitTweak/$(am__dirstamp) \
-        InitTweak/$(DEPDIR)/$(am__dirstamp)
-InitTweak/driver_cfa_cpp-FixInit.$(OBJEXT): InitTweak/$(am__dirstamp) \
-        InitTweak/$(DEPDIR)/$(am__dirstamp)
+InitTweak/driver_cfa_cpp-RemoveInit.$(OBJEXT):  \
+        InitTweak/$(am__dirstamp) InitTweak/$(DEPDIR)/$(am__dirstamp)
 InitTweak/driver_cfa_cpp-FixGlobalInit.$(OBJEXT):  \
         InitTweak/$(am__dirstamp) InitTweak/$(DEPDIR)/$(am__dirstamp)
@@ -679 +674 @@
 SymTab/driver_cfa_cpp-TypeEquality.$(OBJEXT): SymTab/$(am__dirstamp) \
         SymTab/$(DEPDIR)/$(am__dirstamp)
-SymTab/driver_cfa_cpp-Autogen.$(OBJEXT): SymTab/$(am__dirstamp) \
-        SymTab/$(DEPDIR)/$(am__dirstamp)
 SynTree/$(am__dirstamp):
         @$(MKDIR_P) SynTree
@@ -804 +797 @@
         -rm -f GenPoly/driver_cfa_cpp-Specialize.$(OBJEXT)
         -rm -f InitTweak/driver_cfa_cpp-FixGlobalInit.$(OBJEXT)
-        -rm -f InitTweak/driver_cfa_cpp-FixInit.$(OBJEXT)
-        -rm -f InitTweak/driver_cfa_cpp-GenInit.$(OBJEXT)
+        -rm -f InitTweak/driver_cfa_cpp-RemoveInit.$(OBJEXT)
         -rm -f Parser/driver_cfa_cpp-DeclarationNode.$(OBJEXT)
         -rm -f Parser/driver_cfa_cpp-ExpressionNode.$(OBJEXT)
@@ -835 +827 @@
         -rm -f ResolvExpr/driver_cfa_cpp-TypeEnvironment.$(OBJEXT)
         -rm -f ResolvExpr/driver_cfa_cpp-Unify.$(OBJEXT)
-        -rm -f SymTab/driver_cfa_cpp-Autogen.$(OBJEXT)
         -rm -f SymTab/driver_cfa_cpp-FixFunction.$(OBJEXT)
         -rm -f SymTab/driver_cfa_cpp-ImplementationType.$(OBJEXT)
@@ -912 +903 @@
 @AMDEP_TRUE@@am__include@ @am__quote@GenPoly/$(DEPDIR)/driver_cfa_cpp-Specialize.Po@am__quote@
 @AMDEP_TRUE@@am__include@ @am__quote@InitTweak/$(DEPDIR)/driver_cfa_cpp-FixGlobalInit.Po@am__quote@
-@AMDEP_TRUE@@am__include@ @am__quote@InitTweak/$(DEPDIR)/driver_cfa_cpp-FixInit.Po@am__quote@
-@AMDEP_TRUE@@am__include@ @am__quote@InitTweak/$(DEPDIR)/driver_cfa_cpp-GenInit.Po@am__quote@
+@AMDEP_TRUE@@am__include@ @am__quote@InitTweak/$(DEPDIR)/driver_cfa_cpp-RemoveInit.Po@am__quote@
 @AMDEP_TRUE@@am__include@ @am__quote@Parser/$(DEPDIR)/driver_cfa_cpp-DeclarationNode.Po@am__quote@
 @AMDEP_TRUE@@am__include@ @am__quote@Parser/$(DEPDIR)/driver_cfa_cpp-ExpressionNode.Po@am__quote@
@@ -943 +933 @@
 @AMDEP_TRUE@@am__include@ @am__quote@ResolvExpr/$(DEPDIR)/driver_cfa_cpp-TypeEnvironment.Po@am__quote@
 @AMDEP_TRUE@@am__include@ @am__quote@ResolvExpr/$(DEPDIR)/driver_cfa_cpp-Unify.Po@am__quote@
-@AMDEP_TRUE@@am__include@ @am__quote@SymTab/$(DEPDIR)/driver_cfa_cpp-Autogen.Po@am__quote@
 @AMDEP_TRUE@@am__include@ @am__quote@SymTab/$(DEPDIR)/driver_cfa_cpp-FixFunction.Po@am__quote@
 @AMDEP_TRUE@@am__include@ @am__quote@SymTab/$(DEPDIR)/driver_cfa_cpp-ImplementationType.Po@am__quote@
@@ -1383 +1372 @@
 @am__fastdepCXX_FALSE@  $(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(driver_cfa_cpp_CXXFLAGS) $(CXXFLAGS) -c -o GenPoly/driver_cfa_cpp-DeclMutator.obj `if test -f 'GenPoly/DeclMutator.cc'; then $(CYGPATH_W) 'GenPoly/DeclMutator.cc'; else $(CYGPATH_W) '$(srcdir)/GenPoly/DeclMutator.cc'; fi`
 
-InitTweak/driver_cfa_cpp-GenInit.o: InitTweak/GenInit.cc
-@am__fastdepCXX_TRUE@   $(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(driver_cfa_cpp_CXXFLAGS) $(CXXFLAGS) -MT InitTweak/driver_cfa_cpp-GenInit.o -MD -MP -MF InitTweak/$(DEPDIR)/driver_cfa_cpp-GenInit.Tpo -c -o InitTweak/driver_cfa_cpp-GenInit.o `test -f 'InitTweak/GenInit.cc' || echo '$(srcdir)/'`InitTweak/GenInit.cc
-@am__fastdepCXX_TRUE@   $(am__mv) InitTweak/$(DEPDIR)/driver_cfa_cpp-GenInit.Tpo InitTweak/$(DEPDIR)/driver_cfa_cpp-GenInit.Po
-@AMDEP_TRUE@@am__fastdepCXX_FALSE@      source='InitTweak/GenInit.cc' object='InitTweak/driver_cfa_cpp-GenInit.o' libtool=no @AMDEPBACKSLASH@
-@AMDEP_TRUE@@am__fastdepCXX_FALSE@      DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
-@am__fastdepCXX_FALSE@  $(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(driver_cfa_cpp_CXXFLAGS) $(CXXFLAGS) -c -o InitTweak/driver_cfa_cpp-GenInit.o `test -f 'InitTweak/GenInit.cc' || echo '$(srcdir)/'`InitTweak/GenInit.cc
-
-InitTweak/driver_cfa_cpp-GenInit.obj: InitTweak/GenInit.cc
-@am__fastdepCXX_TRUE@   $(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(driver_cfa_cpp_CXXFLAGS) $(CXXFLAGS) -MT InitTweak/driver_cfa_cpp-GenInit.obj -MD -MP -MF InitTweak/$(DEPDIR)/driver_cfa_cpp-GenInit.Tpo -c -o InitTweak/driver_cfa_cpp-GenInit.obj `if test -f 'InitTweak/GenInit.cc'; then $(CYGPATH_W) 'InitTweak/GenInit.cc'; else $(CYGPATH_W) '$(srcdir)/InitTweak/GenInit.cc'; fi`
-@am__fastdepCXX_TRUE@   $(am__mv) InitTweak/$(DEPDIR)/driver_cfa_cpp-GenInit.Tpo InitTweak/$(DEPDIR)/driver_cfa_cpp-GenInit.Po
-@AMDEP_TRUE@@am__fastdepCXX_FALSE@      source='InitTweak/GenInit.cc' object='InitTweak/driver_cfa_cpp-GenInit.obj' libtool=no @AMDEPBACKSLASH@
-@AMDEP_TRUE@@am__fastdepCXX_FALSE@      DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
-@am__fastdepCXX_FALSE@  $(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(driver_cfa_cpp_CXXFLAGS) $(CXXFLAGS) -c -o InitTweak/driver_cfa_cpp-GenInit.obj `if test -f 'InitTweak/GenInit.cc'; then $(CYGPATH_W) 'InitTweak/GenInit.cc'; else $(CYGPATH_W) '$(srcdir)/InitTweak/GenInit.cc'; fi`
-
-InitTweak/driver_cfa_cpp-FixInit.o: InitTweak/FixInit.cc
-@am__fastdepCXX_TRUE@   $(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(driver_cfa_cpp_CXXFLAGS) $(CXXFLAGS) -MT InitTweak/driver_cfa_cpp-FixInit.o -MD -MP -MF InitTweak/$(DEPDIR)/driver_cfa_cpp-FixInit.Tpo -c -o InitTweak/driver_cfa_cpp-FixInit.o `test -f 'InitTweak/FixInit.cc' || echo '$(srcdir)/'`InitTweak/FixInit.cc
-@am__fastdepCXX_TRUE@   $(am__mv) InitTweak/$(DEPDIR)/driver_cfa_cpp-FixInit.Tpo InitTweak/$(DEPDIR)/driver_cfa_cpp-FixInit.Po
-@AMDEP_TRUE@@am__fastdepCXX_FALSE@      source='InitTweak/FixInit.cc' object='InitTweak/driver_cfa_cpp-FixInit.o' libtool=no @AMDEPBACKSLASH@
-@AMDEP_TRUE@@am__fastdepCXX_FALSE@      DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
-@am__fastdepCXX_FALSE@  $(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(driver_cfa_cpp_CXXFLAGS) $(CXXFLAGS) -c -o InitTweak/driver_cfa_cpp-FixInit.o `test -f 'InitTweak/FixInit.cc' || echo '$(srcdir)/'`InitTweak/FixInit.cc
-
-InitTweak/driver_cfa_cpp-FixInit.obj: InitTweak/FixInit.cc
-@am__fastdepCXX_TRUE@   $(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(driver_cfa_cpp_CXXFLAGS) $(CXXFLAGS) -MT InitTweak/driver_cfa_cpp-FixInit.obj -MD -MP -MF InitTweak/$(DEPDIR)/driver_cfa_cpp-FixInit.Tpo -c -o InitTweak/driver_cfa_cpp-FixInit.obj `if test -f 'InitTweak/FixInit.cc'; then $(CYGPATH_W) 'InitTweak/FixInit.cc'; else $(CYGPATH_W) '$(srcdir)/InitTweak/FixInit.cc'; fi`
-@am__fastdepCXX_TRUE@   $(am__mv) InitTweak/$(DEPDIR)/driver_cfa_cpp-FixInit.Tpo InitTweak/$(DEPDIR)/driver_cfa_cpp-FixInit.Po
-@AMDEP_TRUE@@am__fastdepCXX_FALSE@      source='InitTweak/FixInit.cc' object='InitTweak/driver_cfa_cpp-FixInit.obj' libtool=no @AMDEPBACKSLASH@
-@AMDEP_TRUE@@am__fastdepCXX_FALSE@      DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
-@am__fastdepCXX_FALSE@  $(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(driver_cfa_cpp_CXXFLAGS) $(CXXFLAGS) -c -o InitTweak/driver_cfa_cpp-FixInit.obj `if test -f 'InitTweak/FixInit.cc'; then $(CYGPATH_W) 'InitTweak/FixInit.cc'; else $(CYGPATH_W) '$(srcdir)/InitTweak/FixInit.cc'; fi`
+InitTweak/driver_cfa_cpp-RemoveInit.o: InitTweak/RemoveInit.cc
+@am__fastdepCXX_TRUE@   $(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(driver_cfa_cpp_CXXFLAGS) $(CXXFLAGS) -MT InitTweak/driver_cfa_cpp-RemoveInit.o -MD -MP -MF InitTweak/$(DEPDIR)/driver_cfa_cpp-RemoveInit.Tpo -c -o InitTweak/driver_cfa_cpp-RemoveInit.o `test -f 'InitTweak/RemoveInit.cc' || echo '$(srcdir)/'`InitTweak/RemoveInit.cc
+@am__fastdepCXX_TRUE@   $(am__mv) InitTweak/$(DEPDIR)/driver_cfa_cpp-RemoveInit.Tpo InitTweak/$(DEPDIR)/driver_cfa_cpp-RemoveInit.Po
+@AMDEP_TRUE@@am__fastdepCXX_FALSE@      source='InitTweak/RemoveInit.cc' object='InitTweak/driver_cfa_cpp-RemoveInit.o' libtool=no @AMDEPBACKSLASH@
+@AMDEP_TRUE@@am__fastdepCXX_FALSE@      DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
+@am__fastdepCXX_FALSE@  $(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(driver_cfa_cpp_CXXFLAGS) $(CXXFLAGS) -c -o InitTweak/driver_cfa_cpp-RemoveInit.o `test -f 'InitTweak/RemoveInit.cc' || echo '$(srcdir)/'`InitTweak/RemoveInit.cc
+
+InitTweak/driver_cfa_cpp-RemoveInit.obj: InitTweak/RemoveInit.cc
+@am__fastdepCXX_TRUE@   $(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(driver_cfa_cpp_CXXFLAGS) $(CXXFLAGS) -MT InitTweak/driver_cfa_cpp-RemoveInit.obj -MD -MP -MF InitTweak/$(DEPDIR)/driver_cfa_cpp-RemoveInit.Tpo -c -o InitTweak/driver_cfa_cpp-RemoveInit.obj `if test -f 'InitTweak/RemoveInit.cc'; then $(CYGPATH_W) 'InitTweak/RemoveInit.cc'; else $(CYGPATH_W) '$(srcdir)/InitTweak/RemoveInit.cc'; fi`
+@am__fastdepCXX_TRUE@   $(am__mv) InitTweak/$(DEPDIR)/driver_cfa_cpp-RemoveInit.Tpo InitTweak/$(DEPDIR)/driver_cfa_cpp-RemoveInit.Po
+@AMDEP_TRUE@@am__fastdepCXX_FALSE@      source='InitTweak/RemoveInit.cc' object='InitTweak/driver_cfa_cpp-RemoveInit.obj' libtool=no @AMDEPBACKSLASH@
+@AMDEP_TRUE@@am__fastdepCXX_FALSE@      DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
+@am__fastdepCXX_FALSE@  $(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(driver_cfa_cpp_CXXFLAGS) $(CXXFLAGS) -c -o InitTweak/driver_cfa_cpp-RemoveInit.obj `if test -f 'InitTweak/RemoveInit.cc'; then $(CYGPATH_W) 'InitTweak/RemoveInit.cc'; else $(CYGPATH_W) '$(srcdir)/InitTweak/RemoveInit.cc'; fi`
 
 InitTweak/driver_cfa_cpp-FixGlobalInit.o: InitTweak/FixGlobalInit.cc
@@ -1914 +1889 @@
 @AMDEP_TRUE@@am__fastdepCXX_FALSE@      DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
 @am__fastdepCXX_FALSE@  $(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(driver_cfa_cpp_CXXFLAGS) $(CXXFLAGS) -c -o SymTab/driver_cfa_cpp-TypeEquality.obj `if test -f 'SymTab/TypeEquality.cc'; then $(CYGPATH_W) 'SymTab/TypeEquality.cc'; else $(CYGPATH_W) '$(srcdir)/SymTab/TypeEquality.cc'; fi`
-
-SymTab/driver_cfa_cpp-Autogen.o: SymTab/Autogen.cc
-@am__fastdepCXX_TRUE@   $(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(driver_cfa_cpp_CXXFLAGS) $(CXXFLAGS) -MT SymTab/driver_cfa_cpp-Autogen.o -MD -MP -MF SymTab/$(DEPDIR)/driver_cfa_cpp-Autogen.Tpo -c -o SymTab/driver_cfa_cpp-Autogen.o `test -f 'SymTab/Autogen.cc' || echo '$(srcdir)/'`SymTab/Autogen.cc
-@am__fastdepCXX_TRUE@   $(am__mv) SymTab/$(DEPDIR)/driver_cfa_cpp-Autogen.Tpo SymTab/$(DEPDIR)/driver_cfa_cpp-Autogen.Po
-@AMDEP_TRUE@@am__fastdepCXX_FALSE@      source='SymTab/Autogen.cc' object='SymTab/driver_cfa_cpp-Autogen.o' libtool=no @AMDEPBACKSLASH@
-@AMDEP_TRUE@@am__fastdepCXX_FALSE@      DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
-@am__fastdepCXX_FALSE@  $(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(driver_cfa_cpp_CXXFLAGS) $(CXXFLAGS) -c -o SymTab/driver_cfa_cpp-Autogen.o `test -f 'SymTab/Autogen.cc' || echo '$(srcdir)/'`SymTab/Autogen.cc
-
-SymTab/driver_cfa_cpp-Autogen.obj: SymTab/Autogen.cc
-@am__fastdepCXX_TRUE@   $(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(driver_cfa_cpp_CXXFLAGS) $(CXXFLAGS) -MT SymTab/driver_cfa_cpp-Autogen.obj -MD -MP -MF SymTab/$(DEPDIR)/driver_cfa_cpp-Autogen.Tpo -c -o SymTab/driver_cfa_cpp-Autogen.obj `if test -f 'SymTab/Autogen.cc'; then $(CYGPATH_W) 'SymTab/Autogen.cc'; else $(CYGPATH_W) '$(srcdir)/SymTab/Autogen.cc'; fi`
-@am__fastdepCXX_TRUE@   $(am__mv) SymTab/$(DEPDIR)/driver_cfa_cpp-Autogen.Tpo SymTab/$(DEPDIR)/driver_cfa_cpp-Autogen.Po
-@AMDEP_TRUE@@am__fastdepCXX_FALSE@      source='SymTab/Autogen.cc' object='SymTab/driver_cfa_cpp-Autogen.obj' libtool=no @AMDEPBACKSLASH@
-@AMDEP_TRUE@@am__fastdepCXX_FALSE@      DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
-@am__fastdepCXX_FALSE@  $(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(driver_cfa_cpp_CXXFLAGS) $(CXXFLAGS) -c -o SymTab/driver_cfa_cpp-Autogen.obj `if test -f 'SymTab/Autogen.cc'; then $(CYGPATH_W) 'SymTab/Autogen.cc'; else $(CYGPATH_W) '$(srcdir)/SymTab/Autogen.cc'; fi`
 
 SynTree/driver_cfa_cpp-Type.o: SynTree/Type.cc

src/Parser/DeclarationNode.cc

@@ -5 +5 @@
 // file "LICENCE" distributed with Cforall.
 //
-// DeclarationNode.cc --
+// DeclarationNode.cc -- 
 //
 // Author           : Rodolfo G. Esteves
 // Created On       : Sat May 16 12:34:05 2015
-// Last Modified By : Rob Schluntz
-// Last Modified On : Thu Apr 14 15:38:09 2016
+// Last Modified By : Peter A. Buhr
+// Last Modified On : Wed Apr 13 16:53:17 2016
 // Update Count     : 161
 //
@@ -97 +97 @@
                 os << endl << string( indent + 2, ' ' ) << "with initializer ";
                 initializer->printOneLine( os );
-                os << " maybe constructed? " << initializer->get_maybeConstructed();
-
         } // if
 
@@ -355 +353 @@
         } // if
 }
-
+          
 DeclarationNode *DeclarationNode::addQualifiers( DeclarationNode *q ) {
         if ( q ) {
@@ -506 +504 @@
                 assert( false );
         } // switch
-
+        
         return this;
 }
@@ -617 +615 @@
                 assert( a->type->kind == TypeData::Array );
                 TypeData *lastArray = findLast( a->type );
-                if ( type ) {
+                if ( type ) {  
                         switch ( type->kind ) {
                           case TypeData::Aggregate:
@@ -661 +659 @@
         } // if
 }
-
+        
 DeclarationNode *DeclarationNode::addIdList( DeclarationNode *ids ) {
         type = addIdListToType( type, ids );
@@ -866 +864 @@
 Type *DeclarationNode::buildType() const {
         assert( type );
-
+  
         switch ( type->kind ) {
           case TypeData::Enum:

src/Parser/InitializerNode.cc

@@ -5 +5 @@
 // file "LICENCE" distributed with Cforall.
 //
-// InitializerNode.cc --
-//
+// InitializerNode.cc -- 
+// 
 // Author           : Rodolfo G. Esteves
 // Created On       : Sat May 16 13:20:24 2015
-// Last Modified By : Rob Schluntz
-// Last Modified On : Thu Jan 07 13:32:57 2016
-// Update Count     : 13
-//
+// Last Modified By : Peter A. Buhr
+// Last Modified On : Thu Oct  8 17:18:55 2015
+// Update Count     : 4
+// 
 
 #include <cassert>
@@ -23 +23 @@
 
 InitializerNode::InitializerNode( ExpressionNode *_expr, bool aggrp, ExpressionNode *des )
-        : expr( _expr ), aggregate( aggrp ), designator( des ), kids( 0 ), maybeConstructed( true ) {
+        : expr( _expr ), aggregate( aggrp ), designator( des ), kids( 0 ) {
         if ( aggrp )
                 kids = dynamic_cast< InitializerNode *>( get_link() );
@@ -32 +32 @@
 
 InitializerNode::InitializerNode( InitializerNode *init, bool aggrp, ExpressionNode *des )
-        : expr( 0 ), aggregate( aggrp ), designator( des ), kids( 0 ), maybeConstructed( true ) {
+        : expr( 0 ), aggregate( aggrp ), designator( des ), kids( 0 ) {
         if ( init != 0 )
                 set_link(init);
@@ -91 +91 @@
                 } // if
 
-                return new ListInit( initlist, designlist, maybeConstructed );
+                return new ListInit( initlist, designlist );
         } else {
                 std::list< Expression *> designators;
@@ -99 +99 @@
 
                 if ( get_expression() != 0)
-                        return new SingleInit( get_expression()->build(), designators, maybeConstructed );
+                        return new SingleInit( get_expression()->build(), designators );
         } // if
 

src/Parser/ParseNode.h

@@ -10 +10 @@
 // Created On       : Sat May 16 13:28:16 2015
 // Last Modified By : Rob Schluntz
-// Last Modified On : Thu Apr 14 15:37:52 2016
+// Last Modified On : Mon Apr 11 11:50:52 2016
 // Update Count     : 205
 //
@@ -185 +185 @@
                                 // monadic
                                 UnPlus, UnMinus, AddressOf, PointTo, Neg, BitNeg, Incr, IncrPost, Decr, DecrPost, LabelAddress,
-                                Ctor, Dtor,
         };
 
@@ -526 +525 @@
         ExpressionNode *get_designators() const { return designator; }
 
-        InitializerNode *set_maybeConstructed( bool value ) { maybeConstructed = value; return this; }
-        bool get_maybeConstructed() const { return maybeConstructed; }
-
         InitializerNode *next_init() const { return kids; }
 
@@ -540 +536 @@
         ExpressionNode *designator; // may be list
         InitializerNode *kids;
-        bool maybeConstructed;
 };
 

src/Parser/TypeData.cc

@@ -5 +5 @@
 // file "LICENCE" distributed with Cforall.
 //
-// TypeData.cc --
+// TypeData.cc -- 
 //
 // Author           : Rodolfo G. Esteves
 // Created On       : Sat May 16 15:12:51 2015
-// Last Modified By : Rob Schluntz
-// Last Modified On : Wed Apr 06 16:57:53 2016
+// Last Modified By : Peter A. Buhr
+// Last Modified On : Wed Mar  2 17:26:45 2016
 // Update Count     : 49
 //
@@ -449 +449 @@
         for ( std::list< TypeDecl* >::iterator i = outputList.begin(); i != outputList.end(); ++i ) {
                 if ( (*i)->get_kind() == TypeDecl::Any ) {
-                        // add assertion parameters to `type' tyvars in reverse order
-                        // add dtor:  void ^?{}(T *)
-                        FunctionType *dtorType = new FunctionType( Type::Qualifiers(), false );
-                        dtorType->get_parameters().push_back( new ObjectDecl( "", DeclarationNode::NoStorageClass, LinkageSpec::Cforall, 0, new PointerType( Type::Qualifiers(), new TypeInstType( Type::Qualifiers(), (*i)->get_name(), *i ) ), 0 ) );
-                        (*i)->get_assertions().push_front( new FunctionDecl( "^?{}", DeclarationNode::NoStorageClass, LinkageSpec::Cforall, dtorType, 0, false, false ) );
-
-                        // add copy ctor:  void ?{}(T *, T)
-                        FunctionType *copyCtorType = new FunctionType( Type::Qualifiers(), false );
-                        copyCtorType->get_parameters().push_back( new ObjectDecl( "", DeclarationNode::NoStorageClass, LinkageSpec::Cforall, 0, new PointerType( Type::Qualifiers(), new TypeInstType( Type::Qualifiers(), (*i)->get_name(), *i ) ), 0 ) );
-                        copyCtorType->get_parameters().push_back( new ObjectDecl( "", DeclarationNode::NoStorageClass, LinkageSpec::Cforall, 0, new TypeInstType( Type::Qualifiers(), (*i)->get_name(), *i ), 0 ) );
-                        (*i)->get_assertions().push_front( new FunctionDecl( "?{}", DeclarationNode::NoStorageClass, LinkageSpec::Cforall, copyCtorType, 0, false, false ) );
-
-                        // add default ctor:  void ?{}(T *)
-                        FunctionType *ctorType = new FunctionType( Type::Qualifiers(), false );
-                        ctorType->get_parameters().push_back( new ObjectDecl( "", DeclarationNode::NoStorageClass, LinkageSpec::Cforall, 0, new PointerType( Type::Qualifiers(), new TypeInstType( Type::Qualifiers(), (*i)->get_name(), *i ) ), 0 ) );
-                        (*i)->get_assertions().push_front( new FunctionDecl( "?{}", DeclarationNode::NoStorageClass, LinkageSpec::Cforall, ctorType, 0, false, false ) );
-
-                        // add assignment operator:  T * ?=?(T *, T)
                         FunctionType *assignType = new FunctionType( Type::Qualifiers(), false );
                         assignType->get_parameters().push_back( new ObjectDecl( "", DeclarationNode::NoStorageClass, LinkageSpec::Cforall, 0, new PointerType( Type::Qualifiers(), new TypeInstType( Type::Qualifiers(), (*i)->get_name(), *i ) ), 0 ) );
@@ -920 +902 @@
                 if ( cur->get_enumeratorValue() != NULL ) {
                         ObjectDecl *member = dynamic_cast<ObjectDecl *>(*members);
-                        member->set_init( new SingleInit( maybeBuild< Expression >( cur->get_enumeratorValue() ), std::list< Expression * >() ) );
+                        member->set_init( new SingleInit( maybeBuild< Expression >( cur->get_enumeratorValue() ) ) );
                 } // if
         } // for

src/Parser/parser.cc

@@ -7468 +7468 @@
 /* Line 1806 of yacc.c  */
 #line 1704 "parser.yy"
-    { (yyval.in) = (yyvsp[(2) - (2)].in)->set_maybeConstructed( false ); }
+    { (yyval.in) = (yyvsp[(2) - (2)].in); }
     break;
 

src/Parser/parser.yy

@@ -5 +5 @@
 // file "LICENCE" distributed with Cforall.
 //
-// cfa.y --
-//
+// cfa.y -- 
+// 
 // Author           : Peter A. Buhr
 // Created On       : Sat Sep  1 20:22:55 2001
@@ -12 +12 @@
 // Last Modified On : Wed Apr 13 16:58:43 2016
 // Update Count     : 1519
-//
+// 
 
 // This grammar is based on the ANSI99/11 C grammar, specifically parts of EXPRESSION and STATEMENTS, and on the C
@@ -1702 +1702 @@
                 { $$ = $2; }
         | ATassign initializer
-                { $$ = $2->set_maybeConstructed( false ); }
+                { $$ = $2; }
         ;
 

src/ResolvExpr/AlternativeFinder.cc

@@ -10 +10 @@
 // Created On       : Sat May 16 23:52:08 2015
 // Last Modified By : Rob Schluntz
-// Last Modified On : Wed Apr 20 14:24:03 2016
+// Last Modified On : Wed Feb 10 17:00:04 2016
 // Update Count     : 24
 //
@@ -982 +982 @@
                 } // for
         }
-
-        void AlternativeFinder::visit( ImplicitCopyCtorExpr * impCpCtorExpr ) {
-                alternatives.push_back( Alternative( impCpCtorExpr->clone(), env, Cost::zero ) );
-        }
 } // namespace ResolvExpr
 

src/ResolvExpr/AlternativeFinder.h

@@ -5 +5 @@
 // file "LICENCE" distributed with Cforall.
 //
-// AlternativeFinder.h --
+// AlternativeFinder.h -- 
 //
 // Author           : Richard C. Bilson
 // Created On       : Sat May 16 23:56:12 2015
-// Last Modified By : Rob Schluntz
-// Last Modified On : Tue Apr 19 11:44:53 2016
+// Last Modified By : Peter A. Buhr
+// Last Modified On : Sat May 16 23:58:43 2015
 // Update Count     : 2
-//
+// 
 
 #ifndef ALTERNATIVEFINDER_H
@@ -54 +54 @@
                 virtual void visit( NameExpr *variableExpr );
                 virtual void visit( VariableExpr *variableExpr );
-                virtual void visit( ConstantExpr *constantExpr );
+                virtual void visit( ConstantExpr *constantExpr ); 
                 virtual void visit( SizeofExpr *sizeofExpr );
                 virtual void visit( AlignofExpr *alignofExpr );
@@ -65 +65 @@
                 virtual void visit( CommaExpr *commaExpr );
                 virtual void visit( TupleExpr *tupleExpr );
-                virtual void visit( ImplicitCopyCtorExpr * impCpCtorExpr );
           public:  // xxx - temporary hack - should make Tuples::TupleAssignment a friend
                 template< typename InputIterator, typename OutputIterator >

src/ResolvExpr/Resolver.cc

@@ -5 +5 @@
 // file "LICENCE" distributed with Cforall.
 //
-// Resolver.cc --
+// Resolver.cc -- 
 //
 // Author           : Richard C. Bilson
 // Created On       : Sun May 17 12:17:01 2015
-// Last Modified By : Rob Schluntz
-// Last Modified On : Tue Apr 26 16:08:21 2016
-// Update Count     : 203
+// Last Modified By : Peter A. Buhr
+// Last Modified On : Thu Mar 24 16:43:11 2016
+// Update Count     : 181
 //
 
@@ -33 +33 @@
           public:
                 Resolver() : SymTab::Indexer( false ), switchType( 0 ) {}
-
+  
                 virtual void visit( FunctionDecl *functionDecl );
                 virtual void visit( ObjectDecl *functionDecl );
@@ -54 +54 @@
                 virtual void visit( SingleInit *singleInit );
                 virtual void visit( ListInit *listInit );
-                virtual void visit( ConstructorInit *ctorInit );
           private:
         typedef std::list< Initializer * >::iterator InitIterator;
@@ -60 +59 @@
           void resolveAggrInit( AggregateDecl *, InitIterator &, InitIterator & );
           void resolveSingleAggrInit( Declaration *, InitIterator &, InitIterator & );
-          void fallbackInit( ConstructorInit * ctorInit );
+
                 std::list< Type * > functionReturn;
                 Type *initContext;
@@ -83 +82 @@
         }
 
-
         namespace {
                 void finishExpr( Expression *expr, const TypeEnvironment &env ) {
@@ -89 +87 @@
                         env.makeSubstitution( *expr->get_env() );
                 }
-        } // namespace
-
-        Expression *findVoidExpression( Expression *untyped, const SymTab::Indexer &indexer ) {
-                global_renamer.reset();
-                TypeEnvironment env;
-                Expression *newExpr = resolveInVoidContext( untyped, indexer, env );
-                finishExpr( newExpr, env );
-                return newExpr;
-        }
-
-        namespace {
+
+                Expression *findVoidExpression( Expression *untyped, const SymTab::Indexer &indexer ) {
+                        global_renamer.reset();
+                        TypeEnvironment env;
+                        Expression *newExpr = resolveInVoidContext( untyped, indexer, env );
+                        finishExpr( newExpr, env );
+                        return newExpr;
+                }
+  
                 Expression *findSingleExpression( Expression *untyped, const SymTab::Indexer &indexer ) {
                         TypeEnvironment env;
@@ -130 +126 @@
                         } // if
                 }
-
+  
                 Expression *findIntegralExpression( Expression *untyped, const SymTab::Indexer &indexer ) {
                         TypeEnvironment env;
@@ -163 +159 @@
                         return newExpr;
                 }
-
-        }
-
+  
+        }
+  
         void Resolver::visit( ObjectDecl *objectDecl ) {
                 Type *new_type = resolveTypeof( objectDecl->get_type(), *this );
@@ -262 +258 @@
                         forStmt->set_condition( newExpr );
                 } // if
-
+                
                 if ( forStmt->get_increment() ) {
                         Expression * newExpr = findVoidExpression( forStmt->get_increment(), *this );
@@ -276 +272 @@
                 delete switchStmt->get_condition();
                 switchStmt->set_condition( newExpr );
-
+  
                 visitor.Visitor::visit( switchStmt );
         }
@@ -318 +314 @@
         bool isCharType( T t ) {
                 if ( BasicType * bt = dynamic_cast< BasicType * >( t ) ) {
-                        return bt->get_kind() == BasicType::Char || bt->get_kind() == BasicType::SignedChar ||
+                        return bt->get_kind() == BasicType::Char || bt->get_kind() == BasicType::SignedChar || 
                                 bt->get_kind() == BasicType::UnsignedChar;
                 }
@@ -330 +326 @@
                                 string n = ne->get_name();
                                 if (n == "0") {
-                                        initContext = new BasicType(Type::Qualifiers(),
+                                        initContext = new BasicType(Type::Qualifiers(), 
                                                                                                 BasicType::SignedInt);
                                 } else {
@@ -336 +332 @@
                                         initContext = decl->get_type();
                                 }
-                        } else if (ConstantExpr * e =
+                        } else if (ConstantExpr * e = 
                                            dynamic_cast<ConstantExpr*>(singleInit->get_value())) {
                                 Constant *c = e->get_constant();
@@ -359 +355 @@
                                                         singleInit->set_value( ce->get_arg() );
                                                         ce->set_arg( NULL );
-                                                        delete ce;
+                                                        delete ce;                                                                      
                                                 }
                                         }
@@ -475 +471 @@
 #endif
         }
-
-        // ConstructorInit - fall back on C-style initializer
-        void Resolver::fallbackInit( ConstructorInit * ctorInit ) {
-                // could not find valid constructor, or found an intrinsic constructor
-                // fall back on C-style initializer
-                delete ctorInit->get_ctor();
-                ctorInit->set_ctor( NULL );
-                maybeAccept( ctorInit->get_init(), *this );
-        }
-
-        void Resolver::visit( ConstructorInit *ctorInit ) {
-                try {
-                        maybeAccept( ctorInit->get_ctor(), *this );
-                        maybeAccept( ctorInit->get_dtor(), *this );
-                } catch ( SemanticError ) {
-                        // no alternatives for the constructor initializer - fallback on C-style initializer
-                        // xxx- not sure if this makes a ton of sense - should maybe never be able to have this situation?
-                        fallbackInit( ctorInit );
-                        return;
-                }
-
-                // found a constructor - can get rid of C-style initializer
-                delete ctorInit->get_init();
-                ctorInit->set_init( NULL );
-        }
 } // namespace ResolvExpr
 

src/ResolvExpr/Resolver.h

@@ -5 +5 @@
 // file "LICENCE" distributed with Cforall.
 //
-// Resolver.h --
+// Resolver.h -- 
 //
 // Author           : Richard C. Bilson
 // Created On       : Sun May 17 12:18:34 2015
-// Last Modified By : Rob Schluntz
-// Last Modified On : Thu Apr 14 15:06:53 2016
+// Last Modified By : Peter A. Buhr
+// Last Modified On : Sun May 17 12:19:32 2015
 // Update Count     : 2
 //
@@ -24 +24 @@
         void resolve( std::list< Declaration * > translationUnit );
         Expression *resolveInVoidContext( Expression *expr, const SymTab::Indexer &indexer );
-        Expression *findVoidExpression( Expression *untyped, const SymTab::Indexer &indexer );
 } // namespace ResolvExpr
 

src/SymTab/AddVisit.h

@@ -5 +5 @@
 // file "LICENCE" distributed with Cforall.
 //
-// AddVisit.h --
+// AddVisit.h -- 
 //
 // Author           : Richard C. Bilson
 // Created On       : Sun May 17 16:14:32 2015
-// Last Modified By : Rob Schluntz
-// Last Modified On : Thu Apr 14 15:52:42 2016
+// Last Modified By : Peter A. Buhr
+// Last Modified On : Thu Apr  7 14:42:21 2016
 // Update Count     : 5
 //
@@ -48 +48 @@
         //      maybeAccept( caseStmt->get_condition(), visitor );
         // }
-
-        template< typename Visitor >
-        void acceptAndAdd( std::list< Declaration * > &translationUnit, Visitor &visitor, bool addBefore ) {
-                std::list< Declaration * >::iterator i = translationUnit.begin();
-                while ( i != translationUnit.end() ) {
-                        (*i)->accept( visitor );
-                        std::list< Declaration * >::iterator next = i;
-                        next++;
-                        if ( ! visitor.get_declsToAdd().empty() ) {
-                                translationUnit.splice( addBefore ? i : next, visitor.get_declsToAdd() );
-                        } // if
-                        i = next;
-                } // while
-        }
-
 } // namespace SymTab
 

src/SymTab/Validate.cc

@@ -9 +9 @@
 // Author           : Richard C. Bilson
 // Created On       : Sun May 17 21:50:04 2015
-// Last Modified By : Rob Schluntz
-// Last Modified On : Thu Apr 14 15:37:23 2016
-// Update Count     : 297
+// Last Modified By : Peter A. Buhr
+// Last Modified On : Wed Apr 13 16:39:30 2016
+// Update Count     : 251
 //
 
@@ -56 +56 @@
 #include "MakeLibCfa.h"
 #include "TypeEquality.h"
-#include "Autogen.h"
 #include "ResolvExpr/typeops.h"
 
@@ -123 +122 @@
 
                 const Indexer *indexer;
+        };
+
+        class AutogenerateRoutines : public Visitor {
+          public:
+                /// Generates assignment operators for aggregate types as required
+                static void autogenerateRoutines( std::list< Declaration * > &translationUnit );
+
+                std::list< Declaration * > &get_declsToAdd() { return declsToAdd; }
+
+                virtual void visit( EnumDecl *enumDecl );
+                virtual void visit( StructDecl *structDecl );
+                virtual void visit( UnionDecl *structDecl );
+                virtual void visit( TypeDecl *typeDecl );
+                virtual void visit( TraitDecl *ctxDecl );
+                virtual void visit( FunctionDecl *functionDecl );
+
+                virtual void visit( FunctionType *ftype );
+                virtual void visit( PointerType *ftype );
+
+                virtual void visit( CompoundStmt *compoundStmt );
+                virtual void visit( SwitchStmt *switchStmt );
+                virtual void visit( ChooseStmt *chooseStmt );
+                // virtual void visit( CaseStmt *caseStmt );
+
+                AutogenerateRoutines() : functionNesting( 0 ) {}
+          private:
+                template< typename StmtClass > void visitStatement( StmtClass *stmt );
+
+                std::list< Declaration * > declsToAdd;
+                std::set< std::string > structsDone;
+                unsigned int functionNesting;                   // current level of nested functions
         };
 
@@ -162 +192 @@
                 template<typename AggDecl>
                 void addImplicitTypedef( AggDecl * aggDecl );
-
+                
                 typedef std::map< std::string, std::pair< TypedefDecl *, int > > TypedefMap;
                 TypedefMap typedefNames;
                 int scopeLevel;
         };
-
-        class VerifyCtorDtor : public Visitor {
-        public:
-                /// ensure that constructors and destructors have at least one
-                /// parameter, the first of which must be a pointer, and no
-                /// return values.
-                static void verify( std::list< Declaration * > &translationUnit );
-
-                virtual void visit( FunctionDecl *funcDecl );
-};
 
         class CompoundLiteral : public GenPoly::DeclMutator {
@@ -197 +217 @@
                 ReturnChecker::checkFunctionReturns( translationUnit );
                 mutateAll( translationUnit, compoundliteral );
-                autogenerateRoutines( translationUnit );
+                AutogenerateRoutines::autogenerateRoutines( translationUnit );
                 acceptAll( translationUnit, pass3 );
-                VerifyCtorDtor::verify( translationUnit );
         }
 
@@ -209 +228 @@
                 type->accept( pass2 );
                 type->accept( pass3 );
+        }
+
+        template< typename Visitor >
+        void acceptAndAdd( std::list< Declaration * > &translationUnit, Visitor &visitor, bool addBefore ) {
+                std::list< Declaration * >::iterator i = translationUnit.begin();
+                while ( i != translationUnit.end() ) {
+                        (*i)->accept( visitor );
+                        std::list< Declaration * >::iterator next = i;
+                        next++;
+                        if ( ! visitor.get_declsToAdd().empty() ) {
+                                translationUnit.splice( addBefore ? i : next, visitor.get_declsToAdd() );
+                        } // if
+                        i = next;
+                } // while
         }
 
@@ -470 +503 @@
         }
 
+        static const std::list< std::string > noLabels;
+
+        void AutogenerateRoutines::autogenerateRoutines( std::list< Declaration * > &translationUnit ) {
+                AutogenerateRoutines visitor;
+                acceptAndAdd( translationUnit, visitor, false );
+        }
+
+        template< typename OutputIterator >
+        void makeScalarAssignment( ObjectDecl *srcParam, ObjectDecl *dstParam, DeclarationWithType *member, OutputIterator out ) {
+                ObjectDecl *obj = dynamic_cast<ObjectDecl *>( member );
+                // unnamed bit fields are not copied as they cannot be accessed
+                if ( obj != NULL && obj->get_name() == "" && obj->get_bitfieldWidth() != NULL ) return;
+
+                UntypedExpr *assignExpr = new UntypedExpr( new NameExpr( "?=?" ) );
+
+                UntypedExpr *derefExpr = new UntypedExpr( new NameExpr( "*?" ) );
+                derefExpr->get_args().push_back( new VariableExpr( dstParam ) );
+
+                // do something special for unnamed members
+                Expression *dstselect = new AddressExpr( new MemberExpr( member, derefExpr ) );
+                assignExpr->get_args().push_back( dstselect );
+
+                Expression *srcselect = new MemberExpr( member, new VariableExpr( srcParam ) );
+                assignExpr->get_args().push_back( srcselect );
+
+                *out++ = new ExprStmt( noLabels, assignExpr );
+        }
+
+        template< typename OutputIterator >
+        void makeArrayAssignment( ObjectDecl *srcParam, ObjectDecl *dstParam, DeclarationWithType *member, ArrayType *array, OutputIterator out ) {
+                static UniqueName indexName( "_index" );
+
+                // for a flexible array member nothing is done -- user must define own assignment
+                if ( ! array->get_dimension() ) return;
+
+                ObjectDecl *index = new ObjectDecl( indexName.newName(), DeclarationNode::NoStorageClass, LinkageSpec::C, 0, new BasicType( Type::Qualifiers(), BasicType::SignedInt ), 0 );
+                *out++ = new DeclStmt( noLabels, index );
+
+                UntypedExpr *init = new UntypedExpr( new NameExpr( "?=?" ) );
+                init->get_args().push_back( new AddressExpr( new VariableExpr( index ) ) );
+                init->get_args().push_back( new NameExpr( "0" ) );
+                Statement *initStmt = new ExprStmt( noLabels, init );
+                std::list<Statement *> initList;
+                initList.push_back( initStmt );
+
+                UntypedExpr *cond = new UntypedExpr( new NameExpr( "?<?" ) );
+                cond->get_args().push_back( new VariableExpr( index ) );
+                cond->get_args().push_back( array->get_dimension()->clone() );
+
+                UntypedExpr *inc = new UntypedExpr( new NameExpr( "++?" ) );
+                inc->get_args().push_back( new AddressExpr( new VariableExpr( index ) ) );
+
+                UntypedExpr *assignExpr = new UntypedExpr( new NameExpr( "?=?" ) );
+
+                UntypedExpr *derefExpr = new UntypedExpr( new NameExpr( "*?" ) );
+                derefExpr->get_args().push_back( new VariableExpr( dstParam ) );
+
+                Expression *dstselect = new MemberExpr( member, derefExpr );
+                UntypedExpr *dstIndex = new UntypedExpr( new NameExpr( "?+?" ) );
+                dstIndex->get_args().push_back( dstselect );
+                dstIndex->get_args().push_back( new VariableExpr( index ) );
+                assignExpr->get_args().push_back( dstIndex );
+
+                Expression *srcselect = new MemberExpr( member, new VariableExpr( srcParam ) );
+                UntypedExpr *srcIndex = new UntypedExpr( new NameExpr( "?[?]" ) );
+                srcIndex->get_args().push_back( srcselect );
+                srcIndex->get_args().push_back( new VariableExpr( index ) );
+                assignExpr->get_args().push_back( srcIndex );
+
+                *out++ = new ForStmt( noLabels, initList, cond, inc, new ExprStmt( noLabels, assignExpr ) );
+        }
+
+        template< typename OutputIterator >
+        void makeUnionFieldsAssignment( ObjectDecl *srcParam, ObjectDecl *dstParam, UnionInstType *unionType, OutputIterator out ) {
+                UntypedExpr *copy = new UntypedExpr( new NameExpr( "__builtin_memcpy" ) );
+                copy->get_args().push_back( new VariableExpr( dstParam ) );
+                copy->get_args().push_back( new AddressExpr( new VariableExpr( srcParam ) ) );
+                copy->get_args().push_back( new SizeofExpr( unionType ) );
+
+                *out++ = new ExprStmt( noLabels, copy );
+        }
+
+        //E ?=?(E volatile*, int),
+        //  ?=?(E _Atomic volatile*, int);
+        void makeEnumAssignment( EnumDecl *enumDecl, EnumInstType *refType, unsigned int functionNesting, std::list< Declaration * > &declsToAdd ) {
+                FunctionType *assignType = new FunctionType( Type::Qualifiers(), false );
+
+                ObjectDecl *returnVal = new ObjectDecl( "", DeclarationNode::NoStorageClass, LinkageSpec::Cforall, 0, refType->clone(), 0 );
+                assignType->get_returnVals().push_back( returnVal );
+
+                // need two assignment operators with different types
+                FunctionType * assignType2 = assignType->clone();
+
+                // E ?=?(E volatile *, E)
+                Type *etype = refType->clone();
+                // etype->get_qualifiers() += Type::Qualifiers(false, true, false, false, false, false);
+
+                ObjectDecl *dstParam = new ObjectDecl( "_dst", DeclarationNode::NoStorageClass, LinkageSpec::Cforall, 0, new PointerType( Type::Qualifiers(), etype ), 0 );
+                assignType->get_parameters().push_back( dstParam );
+
+                ObjectDecl *srcParam = new ObjectDecl( "_src", DeclarationNode::NoStorageClass, LinkageSpec::Cforall, 0, etype->clone(), 0 );
+                assignType->get_parameters().push_back( srcParam );
+
+                // E ?=?(E volatile *, int)
+                assignType2->get_parameters().push_back( dstParam->clone() );
+                BasicType * paramType = new BasicType(Type::Qualifiers(), BasicType::SignedInt);
+                ObjectDecl *srcParam2 = new ObjectDecl( "_src", DeclarationNode::NoStorageClass, LinkageSpec::Cforall, 0, paramType, 0 );
+                assignType2->get_parameters().push_back( srcParam2 );
+
+                // Routines at global scope marked "static" to prevent multiple definitions is separate translation units
+                // because each unit generates copies of the default routines for each aggregate.
+
+                // since there is no definition, these should not be inline
+                // make these intrinsic so that the code generator does not make use of them
+                FunctionDecl *assignDecl = new FunctionDecl( "?=?", functionNesting > 0 ? DeclarationNode::NoStorageClass : DeclarationNode::Static, LinkageSpec::Intrinsic, assignType, 0, false, false );
+                assignDecl->fixUniqueId();
+                FunctionDecl *assignDecl2 = new FunctionDecl( "?=?", functionNesting > 0 ? DeclarationNode::NoStorageClass : DeclarationNode::Static, LinkageSpec::Intrinsic, assignType2, 0, false, false );
+                assignDecl2->fixUniqueId();
+
+                // these should be built in the same way that the prelude
+                // functions are, so build a list containing the prototypes
+                // and allow MakeLibCfa to autogenerate the bodies.
+                std::list< Declaration * > assigns;
+                assigns.push_back( assignDecl );
+                assigns.push_back( assignDecl2 );
+
+                LibCfa::makeLibCfa( assigns );
+
+                // need to remove the prototypes, since this may be nested in a routine
+                for (int start = 0, end = assigns.size()/2; start < end; start++) {
+                        delete assigns.front();
+                        assigns.pop_front();
+                } // for
+
+                declsToAdd.insert( declsToAdd.begin(), assigns.begin(), assigns.end() );
+        }
+
+        /// Clones a reference type, replacing any parameters it may have with a clone of the provided list
+        template< typename GenericInstType >
+        GenericInstType *cloneWithParams( GenericInstType *refType, const std::list< Expression* >& params ) {
+                GenericInstType *clone = refType->clone();
+                clone->get_parameters().clear();
+                cloneAll( params, clone->get_parameters() );
+                return clone;
+        }
+
+        /// Creates a new type decl that's the same as src, but renamed and with only the ?=? assertion (for complete types only)
+        TypeDecl *cloneAndRename( TypeDecl *src, const std::string &name ) {
+                TypeDecl *dst = new TypeDecl( name, src->get_storageClass(), 0, src->get_kind() );
+
+                if ( src->get_kind() == TypeDecl::Any ) {
+                        // just include assignment operator assertion
+                        TypeInstType *assignParamType = new TypeInstType( Type::Qualifiers(), name, dst );
+                        FunctionType *assignFunctionType = new FunctionType( Type::Qualifiers(), false );
+                        assignFunctionType->get_returnVals().push_back(
+                                new ObjectDecl( "", DeclarationNode::NoStorageClass, LinkageSpec::Cforall, 0, assignParamType->clone(), 0 ) );
+                        assignFunctionType->get_parameters().push_back(
+                                new ObjectDecl( "", DeclarationNode::NoStorageClass, LinkageSpec::Cforall, 0, new PointerType( Type::Qualifiers(), assignParamType->clone() ), 0 ) );
+                        assignFunctionType->get_parameters().push_back(
+                                new ObjectDecl( "", DeclarationNode::NoStorageClass, LinkageSpec::Cforall, 0, assignParamType, 0 ) );
+                        FunctionDecl *assignAssert = new FunctionDecl( "?=?", DeclarationNode::NoStorageClass, LinkageSpec::Cforall, assignFunctionType, 0, false, false );
+                        dst->get_assertions().push_back( assignAssert );
+                }
+
+                return dst;
+        }
+
+        Declaration *makeStructAssignment( StructDecl *aggregateDecl, StructInstType *refType, unsigned int functionNesting ) {
+                FunctionType *assignType = new FunctionType( Type::Qualifiers(), false );
+
+                // Make function polymorphic in same parameters as generic struct, if applicable
+                bool isGeneric = false;  // NOTE this flag is an incredibly ugly kludge; we should fix the assignment signature instead (ditto for union)
+                std::list< TypeDecl* >& genericParams = aggregateDecl->get_parameters();
+                std::list< Expression* > structParams;  // List of matching parameters to put on types
+                TypeSubstitution genericSubs; // Substitutions to make to member types of struct
+                for ( std::list< TypeDecl* >::const_iterator param = genericParams.begin(); param != genericParams.end(); ++param ) {
+                        isGeneric = true;
+                        TypeDecl *typeParam = cloneAndRename( *param, "_autoassign_" + aggregateDecl->get_name() + "_" + (*param)->get_name() );
+                        assignType->get_forall().push_back( typeParam );
+                        TypeInstType *newParamType = new TypeInstType( Type::Qualifiers(), typeParam->get_name(), typeParam );
+                        genericSubs.add( (*param)->get_name(), newParamType );
+                        structParams.push_back( new TypeExpr( newParamType ) );
+                }
+
+                ObjectDecl *returnVal = new ObjectDecl( "_ret", DeclarationNode::NoStorageClass, LinkageSpec::Cforall, 0, cloneWithParams( refType, structParams ), 0 );
+                assignType->get_returnVals().push_back( returnVal );
+
+                ObjectDecl *dstParam = new ObjectDecl( "_dst", DeclarationNode::NoStorageClass, LinkageSpec::Cforall, 0, new PointerType( Type::Qualifiers(), cloneWithParams( refType, structParams ) ), 0 );
+                assignType->get_parameters().push_back( dstParam );
+
+                ObjectDecl *srcParam = new ObjectDecl( "_src", DeclarationNode::NoStorageClass, LinkageSpec::Cforall, 0, cloneWithParams( refType, structParams ), 0 );
+                assignType->get_parameters().push_back( srcParam );
+
+                // Routines at global scope marked "static" to prevent multiple definitions is separate translation units
+                // because each unit generates copies of the default routines for each aggregate.
+                FunctionDecl *assignDecl = new FunctionDecl( "?=?", functionNesting > 0 ? DeclarationNode::NoStorageClass : DeclarationNode::Static, LinkageSpec::AutoGen, assignType, new CompoundStmt( noLabels ), true, false );
+                assignDecl->fixUniqueId();
+
+                for ( std::list< Declaration * >::const_iterator member = aggregateDecl->get_members().begin(); member != aggregateDecl->get_members().end(); ++member ) {
+                        if ( DeclarationWithType *dwt = dynamic_cast< DeclarationWithType * >( *member ) ) {
+                                // query the type qualifiers of this field and skip assigning it if it is marked const.
+                                // If it is an array type, we need to strip off the array layers to find its qualifiers.
+                                Type * type = dwt->get_type();
+                                while ( ArrayType * at = dynamic_cast< ArrayType * >( type ) ) {
+                                        type = at->get_base();
+                                }
+
+                                if ( type->get_qualifiers().isConst ) {
+                                        // don't assign const members
+                                        continue;
+                                }
+
+                                if ( isGeneric ) {
+                                        // rewrite member type in terms of the type variables on this operator
+                                        DeclarationWithType *fixedMember = dwt->clone();
+                                        genericSubs.apply( fixedMember );
+
+                                        // assign to both destination and return value
+                                        if ( ArrayType *array = dynamic_cast< ArrayType * >( fixedMember->get_type() ) ) {
+                                                makeArrayAssignment( srcParam, dstParam, fixedMember, array, back_inserter( assignDecl->get_statements()->get_kids() ) );
+                                                makeArrayAssignment( srcParam, returnVal, fixedMember, array, back_inserter( assignDecl->get_statements()->get_kids() ) );
+                                        } else {
+                                                makeScalarAssignment( srcParam, dstParam, fixedMember, back_inserter( assignDecl->get_statements()->get_kids() ) );
+                                                makeScalarAssignment( srcParam, returnVal, fixedMember, back_inserter( assignDecl->get_statements()->get_kids() ) );
+                                        } // if
+                                } else {
+                                        // assign to destination
+                                        if ( ArrayType *array = dynamic_cast< ArrayType * >( dwt->get_type() ) ) {
+                                                makeArrayAssignment( srcParam, dstParam, dwt, array, back_inserter( assignDecl->get_statements()->get_kids() ) );
+                                        } else {
+                                                makeScalarAssignment( srcParam, dstParam, dwt, back_inserter( assignDecl->get_statements()->get_kids() ) );
+                                        } // if
+                                } // if
+                        } // if
+                } // for
+                if ( ! isGeneric ) assignDecl->get_statements()->get_kids().push_back( new ReturnStmt( noLabels, new VariableExpr( srcParam ) ) );
+
+                return assignDecl;
+        }
+
+        Declaration *makeUnionAssignment( UnionDecl *aggregateDecl, UnionInstType *refType, unsigned int functionNesting ) {
+                FunctionType *assignType = new FunctionType( Type::Qualifiers(), false );
+
+                // Make function polymorphic in same parameters as generic union, if applicable
+                bool isGeneric = false;  // NOTE this flag is an incredibly ugly kludge; we should fix the assignment signature instead (ditto for struct)
+                std::list< TypeDecl* >& genericParams = aggregateDecl->get_parameters();
+                std::list< Expression* > unionParams;  // List of matching parameters to put on types
+                for ( std::list< TypeDecl* >::const_iterator param = genericParams.begin(); param != genericParams.end(); ++param ) {
+                        isGeneric = true;
+                        TypeDecl *typeParam = cloneAndRename( *param, "_autoassign_" + aggregateDecl->get_name() + "_" + (*param)->get_name() );
+                        assignType->get_forall().push_back( typeParam );
+                        unionParams.push_back( new TypeExpr( new TypeInstType( Type::Qualifiers(), typeParam->get_name(), typeParam ) ) );
+                }
+
+                ObjectDecl *returnVal = new ObjectDecl( "_ret", DeclarationNode::NoStorageClass, LinkageSpec::Cforall, 0, cloneWithParams( refType, unionParams ), 0 );
+                assignType->get_returnVals().push_back( returnVal );
+
+                ObjectDecl *dstParam = new ObjectDecl( "_dst", DeclarationNode::NoStorageClass, LinkageSpec::Cforall, 0, new PointerType( Type::Qualifiers(), cloneWithParams( refType, unionParams ) ), 0 );
+                assignType->get_parameters().push_back( dstParam );
+
+                ObjectDecl *srcParam = new ObjectDecl( "_src", DeclarationNode::NoStorageClass, LinkageSpec::Cforall, 0, cloneWithParams( refType, unionParams ), 0 );
+                assignType->get_parameters().push_back( srcParam );
+
+                // Routines at global scope marked "static" to prevent multiple definitions is separate translation units
+                // because each unit generates copies of the default routines for each aggregate.
+                FunctionDecl *assignDecl = new FunctionDecl( "?=?",  functionNesting > 0 ? DeclarationNode::NoStorageClass : DeclarationNode::Static, LinkageSpec::AutoGen, assignType, new CompoundStmt( noLabels ), true, false );
+                assignDecl->fixUniqueId();
+
+                makeUnionFieldsAssignment( srcParam, dstParam, cloneWithParams( refType, unionParams ), back_inserter( assignDecl->get_statements()->get_kids() ) );
+                if ( isGeneric ) makeUnionFieldsAssignment( srcParam, returnVal, cloneWithParams( refType, unionParams ), back_inserter( assignDecl->get_statements()->get_kids() ) );
+                
+                if ( ! isGeneric ) assignDecl->get_statements()->get_kids().push_back( new ReturnStmt( noLabels, new VariableExpr( srcParam ) ) );
+
+                return assignDecl;
+        }
+
+        void AutogenerateRoutines::visit( EnumDecl *enumDecl ) {
+                if ( ! enumDecl->get_members().empty() ) {
+                        EnumInstType *enumInst = new EnumInstType( Type::Qualifiers(), enumDecl->get_name() );
+                        // enumInst->set_baseEnum( enumDecl );
+                        // declsToAdd.push_back(
+                        makeEnumAssignment( enumDecl, enumInst, functionNesting, declsToAdd );
+                }
+        }
+
+        void AutogenerateRoutines::visit( StructDecl *structDecl ) {
+                if ( ! structDecl->get_members().empty() && structsDone.find( structDecl->get_name() ) == structsDone.end() ) {
+                        StructInstType structInst( Type::Qualifiers(), structDecl->get_name() );
+                        structInst.set_baseStruct( structDecl );
+                        declsToAdd.push_back( makeStructAssignment( structDecl, &structInst, functionNesting ) );
+                        structsDone.insert( structDecl->get_name() );
+                } // if
+        }
+
+        void AutogenerateRoutines::visit( UnionDecl *unionDecl ) {
+                if ( ! unionDecl->get_members().empty() ) {
+                        UnionInstType unionInst( Type::Qualifiers(), unionDecl->get_name() );
+                        unionInst.set_baseUnion( unionDecl );
+                        declsToAdd.push_back( makeUnionAssignment( unionDecl, &unionInst, functionNesting ) );
+                } // if
+        }
+
+        void AutogenerateRoutines::visit( TypeDecl *typeDecl ) {
+                CompoundStmt *stmts = 0;
+                TypeInstType *typeInst = new TypeInstType( Type::Qualifiers(), typeDecl->get_name(), false );
+                typeInst->set_baseType( typeDecl );
+                ObjectDecl *src = new ObjectDecl( "_src", DeclarationNode::NoStorageClass, LinkageSpec::Cforall, 0, typeInst->clone(), 0 );
+                ObjectDecl *dst = new ObjectDecl( "_dst", DeclarationNode::NoStorageClass, LinkageSpec::Cforall, 0, new PointerType( Type::Qualifiers(), typeInst->clone() ), 0 );
+                if ( typeDecl->get_base() ) {
+                        stmts = new CompoundStmt( std::list< Label >() );
+                        UntypedExpr *assign = new UntypedExpr( new NameExpr( "?=?" ) );
+                        assign->get_args().push_back( new CastExpr( new VariableExpr( dst ), new PointerType( Type::Qualifiers(), typeDecl->get_base()->clone() ) ) );
+                        assign->get_args().push_back( new CastExpr( new VariableExpr( src ), typeDecl->get_base()->clone() ) );
+                        stmts->get_kids().push_back( new ReturnStmt( std::list< Label >(), assign ) );
+                } // if
+                FunctionType *type = new FunctionType( Type::Qualifiers(), false );
+                type->get_returnVals().push_back( new ObjectDecl( "", DeclarationNode::NoStorageClass, LinkageSpec::Cforall, 0, typeInst, 0 ) );
+                type->get_parameters().push_back( dst );
+                type->get_parameters().push_back( src );
+                FunctionDecl *func = new FunctionDecl( "?=?", DeclarationNode::NoStorageClass, LinkageSpec::AutoGen, type, stmts, false, false );
+                declsToAdd.push_back( func );
+        }
+
+        void addDecls( std::list< Declaration * > &declsToAdd, std::list< Statement * > &statements, std::list< Statement * >::iterator i ) {
+                for ( std::list< Declaration * >::iterator decl = declsToAdd.begin(); decl != declsToAdd.end(); ++decl ) {
+                        statements.insert( i, new DeclStmt( noLabels, *decl ) );
+                } // for
+                declsToAdd.clear();
+        }
+
+        void AutogenerateRoutines::visit( FunctionType *) {
+                // ensure that we don't add assignment ops for types defined as part of the function
+        }
+
+        void AutogenerateRoutines::visit( PointerType *) {
+                // ensure that we don't add assignment ops for types defined as part of the pointer
+        }
+
+        void AutogenerateRoutines::visit( TraitDecl *) {
+                // ensure that we don't add assignment ops for types defined as part of the context
+        }
+
+        template< typename StmtClass >
+        inline void AutogenerateRoutines::visitStatement( StmtClass *stmt ) {
+                std::set< std::string > oldStructs = structsDone;
+                addVisit( stmt, *this );
+                structsDone = oldStructs;
+        }
+
+        void AutogenerateRoutines::visit( FunctionDecl *functionDecl ) {
+                maybeAccept( functionDecl->get_functionType(), *this );
+                acceptAll( functionDecl->get_oldDecls(), *this );
+                functionNesting += 1;
+                maybeAccept( functionDecl->get_statements(), *this );
+                functionNesting -= 1;
+        }
+
+        void AutogenerateRoutines::visit( CompoundStmt *compoundStmt ) {
+                visitStatement( compoundStmt );
+        }
+
+        void AutogenerateRoutines::visit( SwitchStmt *switchStmt ) {
+                visitStatement( switchStmt );
+        }
+
+        void AutogenerateRoutines::visit( ChooseStmt *switchStmt ) {
+                visitStatement( switchStmt );
+        }
+
+        // void AutogenerateRoutines::visit( CaseStmt *caseStmt ) {
+        //      visitStatement( caseStmt );
+        // }
+
         void ReturnChecker::checkFunctionReturns( std::list< Declaration * > & translationUnit ) {
                 ReturnChecker checker;
@@ -627 +1033 @@
                 return aggDecl;
         }
-
+        
         template<typename AggDecl>
         void EliminateTypedef::addImplicitTypedef( AggDecl * aggDecl ) {
@@ -666 +1072 @@
         }
 
-        void VerifyCtorDtor::verify( std::list< Declaration * > & translationUnit ) {
-                VerifyCtorDtor verifier;
-                acceptAll( translationUnit, verifier );
-        }
-
-        void VerifyCtorDtor::visit( FunctionDecl * funcDecl ) {
-                FunctionType * funcType = funcDecl->get_functionType();
-                std::list< DeclarationWithType * > &returnVals = funcType->get_returnVals();
-                std::list< DeclarationWithType * > &params = funcType->get_parameters();
-
-                if ( funcDecl->get_name() == "?{}" || funcDecl->get_name() == "^?{}" ) {
-                        if ( params.size() == 0 ) {
-                                throw SemanticError( "Constructors and destructors require at least one parameter ", funcDecl );
-                        }
-                        if ( ! dynamic_cast< PointerType * >( params.front()->get_type() ) ) {
-                                throw SemanticError( "First parameter of a constructor or destructor must be a pointer ", funcDecl );
-                        }
-                        if ( returnVals.size() != 0 ) {
-                                throw SemanticError( "Constructors and destructors cannot have explicit return values ", funcDecl );
-                        }
-                }
-
-                Visitor::visit( funcDecl );
-                // original idea: modify signature of ctor/dtors and insert appropriate return statements
-                // to cause desired behaviour
-                // new idea: add comma exprs to every ctor call to produce first parameter.
-                // this requires some memoization of the first parameter, because it can be a
-                // complicated expression with side effects (see: malloc). idea: add temporary variable
-                // that is assigned address of constructed object in ctor argument position and
-                // return the temporary. It should also be done after all implicit ctors are
-                // added, so not in this pass!
-        }
-
         DeclarationWithType * CompoundLiteral::mutate( ObjectDecl *objectDecl ) {
                 storageclass = objectDecl->get_storageClass();

src/SymTab/module.mk

@@ -6 +6 @@
 ## file "LICENCE" distributed with Cforall.
 ##
-## module.mk --
+## module.mk -- 
 ##
 ## Author           : Richard C. Bilson
@@ -20 +20 @@
        SymTab/FixFunction.cc \
        SymTab/ImplementationType.cc \
-       SymTab/TypeEquality.cc \
-       SymTab/Autogen.cc
+       SymTab/TypeEquality.cc

src/SynTree/AddressExpr.cc

@@ -5 +5 @@
 // file "LICENCE" distributed with Cforall.
 //
-// AddressExpr.cc --
+// AddressExpr.cc -- 
 //
 // Author           : Richard C. Bilson
 // Created On       : Sun May 17 23:54:44 2015
-// Last Modified By : Rob Schluntz
-// Last Modified On : Tue Apr 26 12:35:13 2016
+// Last Modified By : Peter A. Buhr
+// Last Modified On : Tue May 19 16:52:51 2015
 // Update Count     : 6
 //
@@ -32 +32 @@
 
 void AddressExpr::print( std::ostream &os, int indent ) const {
-        os << "Address of:" << std::endl;
+        os << std::string( indent, ' ' ) << "Address of:" << std::endl;
         if ( arg ) {
-                os << std::string( indent+2, ' ' );
-    arg->print( os, indent+2 );
+                arg->print( os, indent+2 );
         } // if
 }

src/SynTree/ApplicationExpr.cc

@@ -5 +5 @@
 // file "LICENCE" distributed with Cforall.
 //
-// ApplicationExpr.cc.cc --
+// ApplicationExpr.cc.cc -- 
 //
 // Author           : Richard C. Bilson
 // Created On       : Mon May 18 07:44:20 2015
-// Last Modified By : Rob Schluntz
-// Last Modified On : Tue Apr 26 12:41:06 2016
+// Last Modified By : Peter A. Buhr
+// Last Modified On : Mon May 18 07:54:17 2015
 // Update Count     : 4
 //
@@ -47 +47 @@
         FunctionType *function = dynamic_cast< FunctionType* >( pointer->get_base() );
         assert( function );
-
+        
         for ( std::list< DeclarationWithType* >::const_iterator i = function->get_returnVals().begin(); i != function->get_returnVals().end(); ++i ) {
                 get_results().push_back( (*i)->get_type()->clone() );
@@ -64 +64 @@
 
 void ApplicationExpr::print( std::ostream &os, int indent ) const {
-        os << "Application of" << std::endl << std::string(indent, ' ');
+        os << std::string( indent, ' ' ) << "Application of" << std::endl;
         function->print( os, indent+2 );
         if ( ! args.empty() ) {

src/SynTree/CommaExpr.cc

@@ -5 +5 @@
 // file "LICENCE" distributed with Cforall.
 //
-// CommaExpr.cc --
+// CommaExpr.cc -- 
 //
 // Author           : Richard C. Bilson
 // Created On       : Mon May 18 07:44:20 2015
-// Last Modified By : Rob Schluntz
-// Last Modified On : Mon May 02 15:19:44 2016
+// Last Modified By : Peter A. Buhr
+// Last Modified On : Mon May 18 08:09:58 2015
 // Update Count     : 1
 //
@@ -20 +20 @@
 CommaExpr::CommaExpr( Expression *arg1, Expression *arg2, Expression *_aname )
                 : Expression( _aname ), arg1( arg1 ), arg2( arg2 ) {
-        // xxx - result of a comma expression is never an lvalue, so should set lvalue
-        // to false on all result types. Actually doing this causes some strange things
-        // to happen in later passes (particularly, Specialize, Lvalue, and Box). This needs to be looked into.
         cloneAll( arg2->get_results(), get_results() );
-        // for ( Type *& type : get_results() ) {
-        //      type->set_isLvalue( false );
-        // }
 }
 
@@ -39 +33 @@
 
 void CommaExpr::print( std::ostream &os, int indent ) const {
-        os << "Comma Expression:" << std::endl;
-        os << std::string( indent+2, ' ' );
+        os << std::string( indent, ' ' ) << "Comma Expression:" << std::endl;
         arg1->print( os, indent+2 );
         os << std::endl;
-        os << std::string( indent+2, ' ' );
         arg2->print( os, indent+2 );
         Expression::print( os, indent );

src/SynTree/CompoundStmt.cc

@@ -5 +5 @@
 // file "LICENCE" distributed with Cforall.
 //
-// XXX.cc --
+// XXX.cc -- 
 //
 // Author           : Richard C. Bilson
 // Created On       : Mon May 18 07:44:20 2015
-// Last Modified By : Rob Schluntz
-// Last Modified On : Mon May 02 15:19:17 2016
+// Last Modified By : Peter A. Buhr
+// Last Modified On : Tue Jun 23 11:37:49 2015
 // Update Count     : 3
 //
@@ -18 +18 @@
 #include <algorithm>
 #include <functional>
-#include "Expression.h"
-#include "Declaration.h"
 
 using std::string;
 using std::endl;
-
-class VarExprReplacer : public Visitor {
-public:
-  typedef std::map< DeclarationWithType *, DeclarationWithType * > DeclMap;
-private:
-  const DeclMap & declMap;
-public:
-  VarExprReplacer( const DeclMap & declMap ) : declMap( declMap ) {}
-
-  // replace variable with new node from decl map
-  virtual void visit( VariableExpr * varExpr ) {
-    if ( declMap.count( varExpr->get_var() ) ) {
-      varExpr->set_var( declMap.at( varExpr->get_var() ) );
-    }
-  }
-};
-
 
 CompoundStmt::CompoundStmt( std::list<Label> labels ) : Statement( labels ) {
@@ -46 +27 @@
 CompoundStmt::CompoundStmt( const CompoundStmt &other ) : Statement( other ) {
         cloneAll( other.kids, kids );
-
-  // when cloning a compound statement, we may end up cloning declarations which
-  // are referred to by VariableExprs throughout the block. Cloning a VariableExpr
-  // does a shallow copy, so the VariableExpr will end up pointing to the original
-  // declaration. If the original declaration is deleted, e.g. because the original
-  // CompoundStmt is deleted, then we have a dangling pointer. To avoid this case,
-  // find all DeclarationWithType nodes (since a VariableExpr must point to a
-  // DeclarationWithType) in the original CompoundStmt and map them to the cloned
-  // node in the new CompoundStmt ('this'), then replace the Declarations referred to
-  // by each VariableExpr according to the constructed map. Note that only the declarations
-  // in the current level are collected into the map, because child CompoundStmts will
-  // recursively execute this routine. There may be more efficient ways of doing
-  // this.
-  VarExprReplacer::DeclMap declMap;
-  std::list< Statement * >::const_iterator origit = other.kids.begin();
-  for ( Statement * s : kids ) {
-    assert( origit != other.kids.end() );
-    if ( DeclStmt * declStmt = dynamic_cast< DeclStmt * >( s ) ) {
-      DeclStmt * origDeclStmt = dynamic_cast< DeclStmt * >( *origit );
-      assert( origDeclStmt );
-      if ( DeclarationWithType * dwt = dynamic_cast< DeclarationWithType * > ( declStmt->get_decl() ) ) {
-        DeclarationWithType * origdwt = dynamic_cast< DeclarationWithType * > ( origDeclStmt->get_decl() );
-        assert( origdwt );
-        declMap[ origdwt ] = dwt;
-      }
-    }
-  }
-  if ( ! declMap.empty() ) {
-    VarExprReplacer replacer( declMap );
-    accept( replacer );
-  }
 }
 
@@ -84 +34 @@
 
 void CompoundStmt::print( std::ostream &os, int indent ) const {
-        os << "CompoundStmt" << endl ;
+        os << string( indent, ' ' ) << "CompoundStmt" << endl ;
         printAll( kids, os, indent + 2 );
 }

src/SynTree/Declaration.h

@@ -10 +10 @@
 // Created On       : Mon May 18 07:44:20 2015
 // Last Modified By : Rob Schluntz
-// Last Modified On : Fri May 06 16:26:12 2016
+// Last Modified On : Fri May 06 15:39:02 2016
 // Update Count     : 33
 //
@@ -22 +22 @@
 #include "Parser/LinkageSpec.h"
 #include "Parser/ParseNode.h"
-#include <string>
 
 class Declaration {
@@ -68 +67 @@
         void set_mangleName( std::string newValue ) { mangleName = newValue; }
 
-        std::string get_scopedMangleName() const { return mangleName + "_" + std::to_string(scopeLevel); }
-
-        int get_scopeLevel() const { return scopeLevel; }
-        void set_scopeLevel( int newValue ) { scopeLevel = newValue; }
-
         virtual DeclarationWithType *clone() const = 0;
         virtual DeclarationWithType *acceptMutator( Mutator &m ) = 0;
@@ -81 +75 @@
         // this represents the type with all types and typedefs expanded it is generated by SymTab::Validate::Pass2
         std::string mangleName;
-        // need to remember the scope level at which the variable was declared, so that
-        // shadowed identifiers can be accessed
-        int scopeLevel = 0;
 };
 

src/SynTree/DeclarationWithType.cc

@@ -5 +5 @@
 // file "LICENCE" distributed with Cforall.
 //
-// DeclarationWithType.cc --
+// DeclarationWithType.cc -- 
 //
 // Author           : Richard C. Bilson
 // Created On       : Mon May 18 07:44:20 2015
-// Last Modified By : Rob Schluntz
-// Last Modified On : Mon Apr 11 15:35:27 2016
+// Last Modified By : Peter A. Buhr
+// Last Modified On : Sat Jun 13 08:08:07 2015
 // Update Count     : 3
 //
@@ -23 +23 @@
 
 DeclarationWithType::DeclarationWithType( const DeclarationWithType &other )
-                : Declaration( other ), mangleName( other.mangleName ), scopeLevel( other.scopeLevel ) {
+                : Declaration( other ), mangleName( other.mangleName ) {
 }
 

src/SynTree/Expression.cc

@@ -9 +9 @@
 // Author           : Richard C. Bilson
 // Created On       : Mon May 18 07:44:20 2015
-// Last Modified By : Rob Schluntz
-// Last Modified On : Wed May 04 12:17:51 2016
+// Last Modified By : Peter A. Buhr
+// Last Modified On : Fri Apr  8 17:16:23 2016
 // Update Count     : 40
 //
@@ -72 +72 @@
 
 void ConstantExpr::print( std::ostream &os, int indent ) const {
-        os << "constant expression " ;
+        os << std::string( indent, ' ' ) << "constant expression " ;
         constant.print( os );
         Expression::print( os, indent );
@@ -79 +79 @@
 
 VariableExpr::VariableExpr( DeclarationWithType *_var, Expression *_aname ) : Expression( _aname ), var( _var ) {
-        assert( var );
-        assert( var->get_type() );
         add_result( var->get_type()->clone() );
         for ( std::list< Type* >::iterator i = get_results().begin(); i != get_results().end(); ++i ) {
@@ -95 +93 @@
 
 void VariableExpr::print( std::ostream &os, int indent ) const {
-        os << "Variable Expression: ";
+        os << std::string( indent, ' ' ) << "Variable Expression: ";
 
         Declaration *decl = get_var();
@@ -124 +122 @@
 
 void SizeofExpr::print( std::ostream &os, int indent) const {
-        os << "Sizeof Expression on: ";
+        os << std::string( indent, ' ' ) << "Sizeof Expression on: ";
 
         if (isType)
@@ -297 +295 @@
 
 void CastExpr::print( std::ostream &os, int indent ) const {
-        os << "Cast of:" << std::endl << std::string( indent+2, ' ' );
+        os << std::string( indent, ' ' ) << "Cast of:" << std::endl;
         arg->print(os, indent+2);
         os << std::endl << std::string( indent, ' ' ) << "to:" << std::endl;
@@ -320 +318 @@
 
 void UntypedMemberExpr::print( std::ostream &os, int indent ) const {
-        os << "Untyped Member Expression, with field: " << get_member();
+        os << std::string( indent, ' ' ) << "Member Expression, with field: " << get_member();
 
         Expression *agg = get_aggregate();
-        os << ", from aggregate: ";
-        if (agg != 0) {
-                agg->print(os, indent + 2);
-        }
-        os << std::string( indent+2, ' ' );
+        os << std::string( indent, ' ' ) << "from aggregate: ";
+        if (agg != 0) agg->print(os, indent + 2);
         Expression::print( os, indent );
 }
@@ -350 +345 @@
 
 void MemberExpr::print( std::ostream &os, int indent ) const {
-        os << "Member Expression, with field: " << std::endl;
+        os << std::string( indent, ' ' ) << "Member Expression, with field: " << std::endl;
 
         assert( member );
@@ -359 +354 @@
         Expression *agg = get_aggregate();
         os << std::string( indent, ' ' ) << "from aggregate: " << std::endl;
-        if (agg != 0) {
-                agg->print(os, indent + 2);
-        }
-        os << std::string( indent+2, ' ' );
+        if (agg != 0) agg->print(os, indent + 2);
         Expression::print( os, indent );
 }
@@ -380 +372 @@
 
 void UntypedExpr::print( std::ostream &os, int indent ) const {
-        os << "Applying untyped: " << std::endl;
-        os << std::string( indent+4, ' ' );
+        os << std::string( indent, ' ' ) << "Applying untyped: " << std::endl;
         function->print(os, indent + 4);
         os << std::string( indent, ' ' ) << "...to: " << std::endl;
-        printAll(args, os, indent + 4);
+        printArgs(os, indent + 4);
         Expression::print( os, indent );
 }
@@ -390 +381 @@
 void UntypedExpr::printArgs( std::ostream &os, int indent ) const {
         std::list<Expression *>::const_iterator i;
-        for (i = args.begin(); i != args.end(); i++) {
-                os << std::string(indent, ' ' );
+        for (i = args.begin(); i != args.end(); i++)
                 (*i)->print(os, indent);
-        }
 }
 
@@ -404 +393 @@
 
 void NameExpr::print( std::ostream &os, int indent ) const {
-        os << "Name: " << get_name() << std::endl;
+        os << std::string( indent, ' ' ) << "Name: " << get_name() << std::endl;
         Expression::print( os, indent );
 }
@@ -465 +454 @@
 }
 
-
-ImplicitCopyCtorExpr::ImplicitCopyCtorExpr( ApplicationExpr * callExpr ) : callExpr( callExpr ) {
-        assert( callExpr );
-        cloneAll( callExpr->get_results(), results );
-}
-
-ImplicitCopyCtorExpr::ImplicitCopyCtorExpr( const ImplicitCopyCtorExpr & other ) : Expression( other ), callExpr( maybeClone( other.callExpr ) ) {
-        cloneAll( other.tempDecls, tempDecls );
-        cloneAll( other.returnDecls, returnDecls );
-        cloneAll( other.dtors, dtors );
-}
-
-ImplicitCopyCtorExpr::~ImplicitCopyCtorExpr() {
-        delete callExpr;
-        deleteAll( tempDecls );
-        deleteAll( returnDecls );
-        deleteAll( dtors );
-}
-
-void ImplicitCopyCtorExpr::print( std::ostream &os, int indent ) const {
-        os << std::string( indent, ' ' ) <<  "Implicit Copy Constructor Expression: " << std::endl;
-        assert( callExpr );
-        callExpr->print( os, indent + 2 );
-        os << std::endl << std::string( indent, ' ' ) << "with temporaries:" << std::endl;
-        printAll(tempDecls, os, indent+2);
-        os << std::endl << std::string( indent, ' ' ) << "with return temporaries:" << std::endl;
-        printAll(returnDecls, os, indent+2);
-        Expression::print( os, indent );
-}
-
 UntypedValofExpr::UntypedValofExpr( const UntypedValofExpr & other ) : Expression( other ), body ( maybeClone( other.body ) ) {}
 

src/SynTree/Expression.h

@@ -9 +9 @@
 // Author           : Richard C. Bilson
 // Created On       : Mon May 18 07:44:20 2015
-// Last Modified By : Rob Schluntz
-// Last Modified On : Wed Apr 27 17:06:49 2016
+// Last Modified By : Peter A. Buhr
+// Last Modified On : Fri Apr  8 17:18:06 2016
 // Update Count     : 21
 //
@@ -22 +22 @@
 #include "Mutator.h"
 #include "Constant.h"
-#include "Common/UniqueName.h"
 
 /// Expression is the root type for all expressions
@@ -560 +559 @@
 };
 
-/// ImplicitCopyCtorExpr represents the application of a function to a set of parameters,
-/// along with a set of copy constructor calls, one for each argument.
-class ImplicitCopyCtorExpr : public Expression {
-public:
-        ImplicitCopyCtorExpr( ApplicationExpr * callExpr );
-        ImplicitCopyCtorExpr( const ImplicitCopyCtorExpr & other );
-        virtual ~ImplicitCopyCtorExpr();
-
-        ApplicationExpr *get_callExpr() const { return callExpr; }
-        void set_callExpr( ApplicationExpr *newValue ) { callExpr = newValue; }
-
-        std::list< ObjectDecl * > & get_tempDecls() { return tempDecls; }
-        void set_tempDecls( std::list< ObjectDecl * > newValue ) { tempDecls = newValue; }
-
-        std::list< ObjectDecl * > & get_returnDecls() { return returnDecls; }
-        void set_returnDecls( std::list< ObjectDecl * > newValue ) { returnDecls = newValue; }
-
-        std::list< Expression * > & get_dtors() { return dtors; }
-        void set_dtors( std::list< Expression * > newValue ) { dtors = newValue; }
-
-        virtual ImplicitCopyCtorExpr *clone() const { return new ImplicitCopyCtorExpr( *this ); }
-        virtual void accept( Visitor &v ) { v.visit( this ); }
-        virtual Expression *acceptMutator( Mutator &m ) { return m.mutate( this ); }
-        virtual void print( std::ostream &os, int indent = 0 ) const;
-  private:
-        ApplicationExpr * callExpr;
-        std::list< ObjectDecl * > tempDecls;
-        std::list< ObjectDecl * > returnDecls;
-        std::list< Expression * > dtors;
-};
-
 /// ValofExpr represents a GCC 'lambda expression'
 class UntypedValofExpr : public Expression {

src/SynTree/FunctionDecl.cc

@@ -10 +10 @@
 // Created On       : Mon May 18 07:44:20 2015
 // Last Modified By : Rob Schluntz
-// Last Modified On : Fri May 06 15:59:48 2016
+// Last Modified On : Fri May 06 15:41:05 2016
 // Update Count     : 19
 //
@@ -100 +100 @@
         if ( statements ) {
                 os << string( indent + 2, ' ' ) << "with body " << endl;
-                os << string( indent + 4, ' ' );
                 statements->print( os, indent + 4 );
         } // if

src/SynTree/Initializer.cc

@@ -5 +5 @@
 // file "LICENCE" distributed with Cforall.
 //
-// Initializer.cc --
+// Initializer.cc -- 
 //
 // Author           : Richard C. Bilson
 // Created On       : Mon May 18 07:44:20 2015
 // Last Modified By : Rob Schluntz
-// Last Modified On : Tue Apr 26 15:51:35 2016
-// Update Count     : 28
+// Last Modified On : Wed Aug 12 14:05:25 2015
+// Update Count     : 14
 //
 
 #include "Initializer.h"
 #include "Expression.h"
-#include "Statement.h"
 #include "Common/utility.h"
 
-Initializer::Initializer( bool maybeConstructed ) : maybeConstructed( maybeConstructed ) {}
+Initializer::Initializer() {}
 
 Initializer::~Initializer() {}
@@ -32 +31 @@
 void Initializer::print( std::ostream &os, int indent ) {}
 
-SingleInit::SingleInit( Expression *v, const std::list< Expression *> &_designators, bool maybeConstructed ) : Initializer( maybeConstructed ), value ( v ), designators( _designators ) {
+SingleInit::SingleInit( Expression *v, std::list< Expression *> &_designators ) : value ( v ), designators( _designators ) { 
 }
 
-SingleInit::SingleInit( const SingleInit &other ) : Initializer(other), value ( maybeClone( other.value ) ) {
+SingleInit::SingleInit( const SingleInit &other ) : value ( other.value ) {
         cloneAll(other.designators, designators );
 }
@@ -45 +44 @@
 void SingleInit::print( std::ostream &os, int indent ) {
         os << std::endl << std::string(indent, ' ' ) << "Simple Initializer: " << std::endl;
-        os << std::string(indent+4, ' ' );
         value->print( os, indent+4 );
 
@@ -56 +54 @@
 }
 
-ListInit::ListInit( const std::list<Initializer*> &_initializers, const std::list<Expression *> &_designators, bool maybeConstructed )
-        : Initializer( maybeConstructed), initializers( _initializers ), designators( _designators ) {
+ListInit::ListInit( std::list<Initializer*> &_initializers, std::list<Expression *> &_designators )
+        : initializers( _initializers ), designators( _designators ) {
 }
 
@@ -67 +65 @@
 
 void ListInit::print( std::ostream &os, int indent ) {
-        os << std::endl << std::string(indent, ' ') << "Compound initializer:  ";
+        os << std::endl << std::string(indent, ' ') << "Compound initializer:  "; 
         if ( ! designators.empty() ) {
                 os << std::string(indent + 2, ' ' ) << "designated by: [";
                 for ( std::list < Expression * >::iterator i = designators.begin();
                           i != designators.end(); i++ ) {
-                        ( *i )->print(os, indent + 4 );
+                        ( *i )->print(os, indent + 4 ); 
                 } // for
-
+        
                 os << std::string(indent + 2, ' ' ) << "]";
         } // if
 
-        for ( std::list<Initializer *>::iterator i = initializers.begin(); i != initializers.end(); i++ )
+        for ( std::list<Initializer *>::iterator i = initializers.begin(); i != initializers.end(); i++ ) 
                 (*i)->print( os, indent + 2 );
 }
-
-
-ConstructorInit::ConstructorInit( Statement * ctor, Statement * dtor, Initializer * init ) : Initializer( true ), ctor( ctor ), dtor( dtor ), init( init ) {}
-ConstructorInit::~ConstructorInit() {
-        delete ctor;
-        delete init;
-}
-
-ConstructorInit *ConstructorInit::clone() const {
-        return new ConstructorInit( *this );
-}
-
-void ConstructorInit::print( std::ostream &os, int indent ) {
-        os << std::endl << std::string(indent, ' ') << "Constructor initializer: " << std::endl;
-        if ( ctor ) {
-                os << std::string(indent+2, ' ');
-                os << "initially constructed with ";
-                ctor->print( os, indent+4 );
-        } // if
-
-        if ( dtor ) {
-                os << std::string(indent+2, ' ');
-                os << "destructed with ";
-                dtor->print( os, indent+4 );
-        }
-
-        if ( init ) {
-                os << std::string(indent+2, ' ');
-                os << "with fallback C-style initializer: ";
-                init->print( os, indent+4 );
-        }
-}
-
-std::ostream & operator<<( std::ostream & out, Initializer * init ) {
-        init->print( out );
-        return out;
-}
-
 // Local Variables: //
 // tab-width: 4 //

src/SynTree/Initializer.h

@@ -5 +5 @@
 // file "LICENCE" distributed with Cforall.
 //
-// Initializer.h --
+// Initializer.h -- 
 //
 // Author           : Richard C. Bilson
 // Created On       : Mon May 18 07:44:20 2015
-// Last Modified By : Rob Schluntz
-// Last Modified On : Tue Apr 12 13:49:13 2016
-// Update Count     : 19
+// Last Modified By : Peter A. Buhr
+// Last Modified On : Mon May 18 09:03:48 2015
+// Update Count     : 1
 //
 
@@ -27 +27 @@
   public:
         //      Initializer( std::string _name = std::string(""), int _pos = 0 );
-        Initializer( bool maybeConstructed );
+        Initializer( );
         virtual ~Initializer();
 
@@ -43 +43 @@
         }
 
-        bool get_maybeConstructed() { return maybeConstructed; }
-
         virtual Initializer *clone() const = 0;
         virtual void accept( Visitor &v ) = 0;
@@ -52 +50 @@
         //      std::string name;
         //      int pos;
-        bool maybeConstructed;
 };
 
@@ -58 +55 @@
 class SingleInit : public Initializer {
   public:
-        SingleInit( Expression *value, const std::list< Expression *> &designators = std::list< Expression * >(), bool maybeConstructed = false );
+        SingleInit( Expression *value, std::list< Expression *> &designators = *(new std::list<Expression *>()) );
         SingleInit( const SingleInit &other );
         virtual ~SingleInit();
-
+        
         Expression *get_value() { return value; }
         void set_value( Expression *newValue ) { value = newValue; }
@@ -82 +79 @@
 class ListInit : public Initializer {
   public:
-        ListInit( const std::list<Initializer*> &initializers,
-                          const std::list<Expression *> &designators = std::list< Expression * >(), bool maybeConstructed = false );
+        ListInit( std::list<Initializer*> &, 
+                          std::list<Expression *> &designators = *(new std::list<Expression *>()) );
         virtual ~ListInit();
 
@@ -103 +100 @@
 };
 
-// ConstructorInit represents an initializer that is either a constructor expression or
-// a C-style initializer.
-class ConstructorInit : public Initializer {
-  public:
-        ConstructorInit( Statement * ctor, Statement * dtor, Initializer * init );
-        virtual ~ConstructorInit();
-
-        void set_ctor( Statement * newValue ) { ctor = newValue; }
-        Statement * get_ctor() const { return ctor; }
-        void set_dtor( Statement * newValue ) { dtor = newValue; }
-        Statement * get_dtor() const { return dtor; }
-        void set_init( Initializer * newValue ) { init = newValue; }
-        Initializer * get_init() const { return init; }
-
-        virtual ConstructorInit *clone() const;
-        virtual void accept( Visitor &v ) { v.visit( this ); }
-        virtual Initializer *acceptMutator( Mutator &m ) { return m.mutate( this ); }
-        virtual void print( std::ostream &os, int indent = 0 );
-
-  private:
-        Statement * ctor;
-        Statement * dtor;
-        // C-style initializer made up of SingleInit and ListInit nodes to use as a fallback
-        // if an appropriate constructor definition is not found by the resolver
-        Initializer * init;
-};
-
-std::ostream & operator<<( std::ostream & out, Initializer * init );
-
 #endif // INITIALIZER_H
 

src/SynTree/Mutator.cc

@@ -5 +5 @@
 // file "LICENCE" distributed with Cforall.
 //
-// Mutator.cc --
+// Mutator.cc -- 
 //
 // Author           : Richard C. Bilson
 // Created On       : Mon May 18 07:44:20 2015
-// Last Modified By : Rob Schluntz
-// Last Modified On : Wed Apr 27 17:07:29 2016
+// Last Modified By : Peter A. Buhr
+// Last Modified On : Fri Apr  1 18:05:16 2016
 // Update Count     : 16
 //
@@ -337 +337 @@
 }
 
-Expression* Mutator::mutate( ImplicitCopyCtorExpr *impCpCtorExpr ) {
-        impCpCtorExpr->set_callExpr( maybeMutate( impCpCtorExpr->get_callExpr(), *this ) );
-        mutateAll( impCpCtorExpr->get_tempDecls(), *this );
-        mutateAll( impCpCtorExpr->get_returnDecls(), *this );
-        return impCpCtorExpr;
-}
-
 Expression *Mutator::mutate( UntypedValofExpr *valofExpr ) {
         mutateAll( valofExpr->get_results(), *this );
@@ -457 +450 @@
 }
 
-Initializer *Mutator::mutate( ConstructorInit *ctorInit ) {
-        ctorInit->set_ctor( maybeMutate( ctorInit->get_ctor(), *this ) );
-        ctorInit->set_init( maybeMutate( ctorInit->get_init(), *this ) );
-        return ctorInit;
-}
-
 Subrange *Mutator::mutate( Subrange *subrange ) {
         return subrange;

src/SynTree/Mutator.h

@@ -5 +5 @@
 // file "LICENCE" distributed with Cforall.
 //
-// Mutator.h --
+// Mutator.h -- 
 //
 // Author           : Richard C. Bilson
 // Created On       : Mon May 18 07:44:20 2015
-// Last Modified By : Rob Schluntz
-// Last Modified On : Thu Apr 14 15:32:00 2016
+// Last Modified By : Peter A. Buhr
+// Last Modified On : Fri Apr  1 17:26:56 2016
 // Update Count     : 10
 //
@@ -62 +62 @@
         virtual Expression* mutate( MemberExpr *memberExpr );
         virtual Expression* mutate( VariableExpr *variableExpr );
-        virtual Expression* mutate( ConstantExpr *constantExpr );
+        virtual Expression* mutate( ConstantExpr *constantExpr ); 
         virtual Expression* mutate( SizeofExpr *sizeofExpr );
         virtual Expression* mutate( AlignofExpr *alignofExpr );
@@ -76 +76 @@
         virtual Expression* mutate( TypeExpr *typeExpr );
         virtual Expression* mutate( AsmExpr *asmExpr );
-        virtual Expression* mutate( ImplicitCopyCtorExpr *impCpCtorExpr );
         virtual Expression* mutate( UntypedValofExpr *valofExpr );
         virtual Expression* mutate( CompoundLiteralExpr *compLitExpr );
@@ -97 +96 @@
         virtual Initializer* mutate( SingleInit *singleInit );
         virtual Initializer* mutate( ListInit *listInit );
-        virtual Initializer* mutate( ConstructorInit *ctorInit );
 
         virtual Subrange *mutate( Subrange *subrange );

src/SynTree/ObjectDecl.cc

@@ -5 +5 @@
 // file "LICENCE" distributed with Cforall.
 //
-// ObjectDecl.cc --
+// ObjectDecl.cc -- 
 //
 // Author           : Richard C. Bilson
 // Created On       : Mon May 18 07:44:20 2015
 // Last Modified By : Rob Schluntz
-// Last Modified On : Wed May 04 12:18:28 2016
-// Update Count     : 30
+// Last Modified On : Tue Sep 29 14:13:01 2015
+// Update Count     : 18
 //
 
@@ -19 +19 @@
 #include "Expression.h"
 #include "Common/utility.h"
-#include "Statement.h"
 
 ObjectDecl::ObjectDecl( const std::string &name, DeclarationNode::StorageClass sc, LinkageSpec::Type linkage, Expression *bitfieldWidth, Type *type, Initializer *init, bool isInline, bool isNoreturn )
@@ -57 +56 @@
 
         if ( init ) {
-                os << std::string(indent, ' ');
                 os << " with initializer ";
                 init->print( os, indent );
-                os << std::string(indent, ' ') << "maybeConstructed? " << init->get_maybeConstructed();
         } // if
 
         if ( bitfieldWidth ) {
-                os << std::string(indent, ' ');
                 os << " with bitfield width ";
                 bitfieldWidth->print( os );
@@ -73 +69 @@
 #if 0
         if ( get_mangleName() != "") {
-                os << get_mangleName() << ": ";
-        } else
+                os << get_mangleName() << ": "; 
+        } else 
 #endif
         if ( get_name() != "" ) {

src/SynTree/Statement.cc

@@ -10 +10 @@
 // Created On       : Mon May 18 07:44:20 2015
 // Last Modified By : Rob Schluntz
-// Last Modified On : Thu Apr 28 13:34:32 2016
+// Last Modified On : Wed Dec 09 14:09:34 2015
 // Update Count     : 54
 //
@@ -43 +43 @@
 
 void ExprStmt::print( std::ostream &os, int indent ) const {
-        os << "Expression Statement:" << endl << std::string( indent, ' ' );
+        os << string( indent, ' ' ) << "Expression Statement:" << endl;
         expr->print( os, indent + 2 );
 }
@@ -110 +110 @@
 
 void ReturnStmt::print( std::ostream &os, int indent ) const {
-        os << string ( isThrow? "Throw":"Return" ) << " Statement, returning: ";
-        if ( expr != 0 ) {
-                os << endl << string( indent+2, ' ' );
-                expr->print( os, indent + 2 );
-        }
+        os << std::string( indent, ' ' ) << string ( isThrow? "Throw":"Return" ) << " Statement, returning: ";
+        if ( expr != 0 ) expr->print( os );
         os << endl;
 }
@@ -127 +124 @@
 
 void IfStmt::print( std::ostream &os, int indent ) const {
-        os << "If on condition: " << endl ;
-        os << string( indent+4, ' ' );
+        os << string( indent, ' ' ) << "If on condition: " << endl ;
         condition->print( os, indent + 4 );
 
-        os << string( indent+2, ' ' ) << "... then: " << endl;
-
-        os << string( indent+4, ' ' );
+        os << string( indent, ' ' ) << ".... and branches: " << endl;
+
         thenPart->print( os, indent + 4 );
 
         if ( elsePart != 0 ) {
-                os << string( indent+2, ' ' ) << "... else: " << endl;
-                os << string( indent+4, ' ' );
                 elsePart->print( os, indent + 4 );
         } // if
@@ -160 +153 @@
 
 void SwitchStmt::print( std::ostream &os, int indent ) const {
-        os << "Switch on condition: ";
+        os << string( indent, ' ' ) << "Switch on condition: ";
         condition->print( os );
         os << endl;
@@ -225 +218 @@
 
 void ChooseStmt::print( std::ostream &os, int indent ) const {
-        os << "Choose on condition: ";
+        os << string( indent, ' ' ) << "Choose on condition: ";
         condition->print( os );
         os << endl;
@@ -254 +247 @@
 
 void WhileStmt::print( std::ostream &os, int indent ) const {
-        os << "While on condition: " << endl ;
+        os << string( indent, ' ' ) << "While on condition: " << endl ;
         condition->print( os, indent + 4 );
 
@@ -280 +273 @@
 
 void ForStmt::print( std::ostream &os, int indent ) const {
-        os << "Labels: {";
+        os << string( indent, ' ' ) << "Labels: {";
         for ( std::list<Label>::const_iterator it = get_labels().begin(); it != get_labels().end(); ++it) {
                 os << *it << ",";
@@ -321 +314 @@
 
 void TryStmt::print( std::ostream &os, int indent ) const {
-        os << "Try Statement" << endl;
+        os << string( indent, ' ' ) << "Try Statement" << endl;
         os << string( indent + 2, ' ' ) << "with block: " << endl;
         block->print( os, indent + 4 );
@@ -385 +378 @@
 
 void NullStmt::print( std::ostream &os, int indent ) const {
-        os << "Null Statement" << endl ;
+        os << string( indent, ' ' ) << "Null Statement" << endl ;
 }
 

src/SynTree/SynTree.h

@@ -5 +5 @@
 // file "LICENCE" distributed with Cforall.
 //
-// SynTree.h --
+// SynTree.h -- 
 //
 // Author           : Richard C. Bilson
 // Created On       : Mon May 18 07:44:20 2015
-// Last Modified By : Rob Schluntz
-// Last Modified On : Thu Apr 14 15:31:36 2016
+// Last Modified By : Peter A. Buhr
+// Last Modified On : Fri Apr  1 16:47:44 2016
 // Update Count     : 5
 //
@@ -81 +81 @@
 class TypeExpr;
 class AsmExpr;
-class ImplicitCopyCtorExpr;
 class UntypedValofExpr;
 class CompoundLiteralExpr;
@@ -105 +104 @@
 class SingleInit;
 class ListInit;
-class ConstructorInit;
 
 class Subrange;

src/SynTree/TypeSubstitution.cc

@@ -5 +5 @@
 // file "LICENCE" distributed with Cforall.
 //
-// TypeSubstitution.cc --
+// TypeSubstitution.cc -- 
 //
 // Author           : Richard C. Bilson
 // Created On       : Mon May 18 07:44:20 2015
-// Last Modified By : Rob Schluntz
-// Last Modified On : Tue Apr 26 11:15:29 2016
+// Last Modified By : Peter A. Buhr
+// Last Modified On : Wed Mar  2 17:29:15 2016
 // Update Count     : 3
 //
@@ -96 +96 @@
         BoundVarsType::const_iterator bound = boundVars.find( inst->get_name() );
         if ( bound != boundVars.end() ) return inst;
-
+        
         TypeEnvType::const_iterator i = typeEnv.find( inst->get_name() );
         if ( i == typeEnv.end() ) {
@@ -217 +217 @@
 }
 
-std::ostream & operator<<( std::ostream & out, const TypeSubstitution & sub ) {
-        sub.print( out );
-        return out;
-}
-
-
 // Local Variables: //
 // tab-width: 4 //

src/SynTree/TypeSubstitution.h

@@ -5 +5 @@
 // file "LICENCE" distributed with Cforall.
 //
-// TypeSubstitution.h --
+// TypeSubstitution.h -- 
 //
 // Author           : Richard C. Bilson
 // Created On       : Mon May 18 07:44:20 2015
-// Last Modified By : Rob Schluntz
-// Last Modified On : Fri Apr 29 15:00:20 2016
+// Last Modified By : Peter A. Buhr
+// Last Modified On : Wed Mar  2 17:33:19 2016
 // Update Count     : 2
 //
@@ -33 +33 @@
         TypeSubstitution( const TypeSubstitution &other );
         virtual ~TypeSubstitution();
-
+        
         TypeSubstitution &operator=( const TypeSubstitution &other );
-
+        
         template< typename SynTreeClass > int apply( SynTreeClass *&input );
         template< typename SynTreeClass > int applyFree( SynTreeClass *&input );
-
+        
         void add( std::string formalType, Type *actualType );
         void add( const TypeSubstitution &other );
@@ -44 +44 @@
         Type *lookup( std::string formalType ) const;
         bool empty() const;
-
+        
         template< typename FormalIterator, typename ActualIterator >
         void add( FormalIterator formalBegin, FormalIterator formalEnd, ActualIterator actualBegin );
-
-        /// this function is unused...
+        
         template< typename TypeInstListIterator >
         void extract( TypeInstListIterator begin, TypeInstListIterator end, TypeSubstitution &result );
-
+        
         void normalize();
 
@@ -64 +63 @@
         /// Records type variable bindings from forall-statements and instantiations of generic types
         template< typename TypeClass > Type *handleAggregateType( TypeClass *type );
-
+        
         virtual Type* mutate(VoidType *basicType);
         virtual Type* mutate(BasicType *basicType);
@@ -76 +75 @@
         virtual Type* mutate(TupleType *tupleType);
         virtual Type* mutate(VarArgsType *varArgsType);
-
+        
         // TODO: worry about traversing into a forall-qualified function type or type decl with assertions
-
+        
         void initialize( const TypeSubstitution &src, TypeSubstitution &dest );
 
@@ -137 +136 @@
         return subCount;
 }
-
+        
 template< typename SynTreeClass >
 int TypeSubstitution::applyFree( SynTreeClass *&input ) {
@@ -150 +149 @@
         return subCount;
 }
-
+        
 template< typename TypeInstListIterator >
 void TypeSubstitution::extract( TypeInstListIterator begin, TypeInstListIterator end, TypeSubstitution &result ) {
-        // xxx - this function doesn't extract varEnv - is this intentional?
         while ( begin != end ) {
                 TypeEnvType::iterator cur = typeEnv.find( (*begin++)->get_name() );
@@ -175 +173 @@
 }
 
-std::ostream & operator<<( std::ostream & out, const TypeSubstitution & sub );
-
 #endif // TYPESUBSTITUTION_H
 

src/SynTree/Visitor.cc

@@ -5 +5 @@
 // file "LICENCE" distributed with Cforall.
 //
-// Visitor.cc --
+// Visitor.cc -- 
 //
 // Author           : Richard C. Bilson
 // Created On       : Mon May 18 07:44:20 2015
-// Last Modified By : Rob Schluntz
-// Last Modified On : Wed Apr 27 17:07:40 2016
+// Last Modified By : Peter A. Buhr
+// Last Modified On : Fri Apr  1 18:05:13 2016
 // Update Count     : 18
 //
@@ -284 +284 @@
 }
 
-void Visitor::visit( ImplicitCopyCtorExpr *impCpCtorExpr ) {
-        maybeAccept( impCpCtorExpr->get_callExpr(), *this );
-        acceptAll( impCpCtorExpr->get_tempDecls(), *this );
-        acceptAll( impCpCtorExpr->get_returnDecls(), *this );
-}
-
 void Visitor::visit( UntypedValofExpr *valofExpr ) {
         acceptAll( valofExpr->get_results(), *this );
@@ -385 +379 @@
 }
 
-void Visitor::visit( ConstructorInit *ctorInit ) {
-        maybeAccept( ctorInit->get_ctor(), *this );
-        maybeAccept( ctorInit->get_init(), *this );
-}
-
 void Visitor::visit( Subrange *subrange ) {}
 

src/SynTree/Visitor.h

@@ -5 +5 @@
 // file "LICENCE" distributed with Cforall.
 //
-// Visitor.h --
+// Visitor.h -- 
 //
 // Author           : Richard C. Bilson
 // Created On       : Mon May 18 07:44:20 2015
-// Last Modified By : Rob Schluntz
-// Last Modified On : Thu Apr 14 15:30:58 2016
+// Last Modified By : Peter A. Buhr
+// Last Modified On : Fri Apr  1 17:26:55 2016
 // Update Count     : 7
 //
@@ -62 +62 @@
         virtual void visit( MemberExpr *memberExpr );
         virtual void visit( VariableExpr *variableExpr );
-        virtual void visit( ConstantExpr *constantExpr );
+        virtual void visit( ConstantExpr *constantExpr ); 
         virtual void visit( SizeofExpr *sizeofExpr );
         virtual void visit( AlignofExpr *alignofExpr );
@@ -76 +76 @@
         virtual void visit( TypeExpr *typeExpr );
         virtual void visit( AsmExpr *asmExpr );
-        virtual void visit( ImplicitCopyCtorExpr *impCpCtorExpr );
         virtual void visit( UntypedValofExpr *valofExpr );
         virtual void visit( CompoundLiteralExpr *compLitExpr );
@@ -97 +96 @@
         virtual void visit( SingleInit *singleInit );
         virtual void visit( ListInit *listInit );
-        virtual void visit( ConstructorInit *ctorInit );
 
         virtual void visit( Subrange *subrange );

src/examples/array.c

@@ -5 +5 @@
 // file "LICENCE" distributed with Cforall.
 //
-// array.c --
+// array.c -- 
 //
 // Author           : Richard C. Bilson
 // Created On       : Wed May 27 17:56:53 2015
-// Last Modified By : Rob Schluntz
-// Last Modified On : Wed Apr 27 17:21:52 2016
+// Last Modified By : Peter A. Buhr
+// Last Modified On : Wed Mar  2 18:13:52 2016
 // Update Count     : 3
 //
@@ -26 +26 @@
 // The first element is always at index 0.
 forall( otype array_type, otype elt_type | bounded_array( array_type, elt_type ) )
-elt_type * begin( array_type * array ) {
+elt_type * begin( array_type array ) {
         return &array[ 0 ];
 }
@@ -32 +32 @@
 // The end iterator should point one past the last element.
 forall( otype array_type, otype elt_type | bounded_array( array_type, elt_type ) )
-elt_type * end( array_type * array ) {
+elt_type * end( array_type array ) {
         return &array[ last( array ) ] + 1;
 }

src/examples/array.h

@@ -5 +5 @@
 // file "LICENCE" distributed with Cforall.
 //
-// array.h --
+// array.h -- 
 //
 // Author           : Richard C. Bilson
 // Created On       : Wed May 27 17:56:53 2015
-// Last Modified By : Rob Schluntz
-// Last Modified On : Wed Apr 27 17:26:04 2016
+// Last Modified By : Peter A. Buhr
+// Last Modified On : Wed Mar  2 18:13:35 2016
 // Update Count     : 5
 //
@@ -26 +26 @@
 
 // A bounded array is an array that carries its maximum index with it.
-trait bounded_array( otype array_type, otype elt_type | array( array_type *, elt_type ) ) {
-        int last( array_type * );
+trait bounded_array( otype array_type, otype elt_type | array( array_type, elt_type ) ) {
+        int last( array_type );
 };
 
@@ -41 +41 @@
 // return iterators corresponding to the first element and the one-past-the-end element, STL-style.
 forall( otype array_type, otype elt_type | bounded_array( array_type, elt_type ) )
-elt_type * begin( array_type * array );
+elt_type *begin( array_type );
 
-// The end iterator should point one past the last element.
 forall( otype array_type, otype elt_type | bounded_array( array_type, elt_type ) )
-elt_type * end( array_type * array );
+elt_type *end( array_type );
 
 #endif // ARRAY_H

src/examples/rational.c

@@ -11 +11 @@
 // Created On       : Mon Mar 28 08:43:12 2016
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Wed May  4 14:19:36 2016
-// Update Count     : 24
+// Last Modified On : Fri Apr  8 11:27:48 2016
+// Update Count     : 21
 // 
 
@@ -20 +20 @@
 
 int main() {
+        Rational a, b, c;
         sout | "constructor" | endl;
-        Rational a = { 3 }, b = { 4 }, c;
+        a = rational( 3 );
+        b = rational( 4 );
+        c = rational();
         sout | a | b | c | endl;
-        a = (Rational){ 4, 8 };
-        b = (Rational){ 5, 7 };
+        a = rational( 4, 8 );
+        b = rational( 5, 7 );
         sout | a | b | endl;
-        a = (Rational){ -2, -3 };
-        b = (Rational){ 3, -2 };
+        a = rational( -2, -3 );
+        b = rational( 3, -2 );
         sout | a | b | endl;
-        a = (Rational){ -2, 3 };
-        b = (Rational){ 3, 2 };
+        a = rational( -2, 3 );
+        b = rational( 3, 2 );
         sout | a | b | endl;
 
         sout | "logical" | endl;
-        a = (Rational){ -2 };
-        b = (Rational){ -3, 2 };
+        a = rational( -2 );
+        b = rational( -3, 2 );
         sout | a | b | endl;
         sout | a == 1 | endl;
@@ -52 +55 @@
 
         sout | "conversion" | endl;
-        a = (Rational){ 3, 4 };
+        a = rational( 3, 4 );
         sout | widen( a ) | endl;
-        a = (Rational){ 1, 7 };
+        a = rational( 1, 7 );
         sout | widen( a ) | endl;
-        a = (Rational){ 355, 113 };
+        a = rational( 355, 113 );
         sout | widen( a ) | endl;
         sout | narrow( 0.75, 4 ) | endl;
@@ -62 +65 @@
         sout | narrow( 3.14159265358979, 256 ) | endl;
 
-        Rational x = { 1, 2 }, y = { 2 };
+        Rational x, y;
+        x = rational( 1, 2 );
+        y = rational( 2 );
         sout | x - y | endl;
         sout | x > y | endl;
@@ -68 +73 @@
         sout | y | denominator( y, -2 ) | y | endl;
 
-        Rational z = { 0, 5 };
+        Rational z;
+        z = rational( 0, 5 );
         sout | z | endl;
 
         sout | x | numerator( x, 0 ) | x | endl;
 
-        x = (Rational){ 1, MAX } + (Rational){ 1, MAX };
+        x = rational( 1, MAX ) + rational( 1, MAX );
         sout | x | endl;
-        x = (Rational){ 3, MAX } + (Rational){ 2, MAX };
+        x = rational( 3, MAX ) + rational( 2, MAX );
         sout | x | endl;
 

src/examples/vector_int.c

@@ -5 +5 @@
 // file "LICENCE" distributed with Cforall.
 //
-// vector_int.c --
+// vector_int.c -- 
 //
 // Author           : Richard C. Bilson
 // Created On       : Wed May 27 17:56:53 2015
-// Last Modified By : Rob Schluntz
-// Last Modified On : Wed Apr 27 17:27:12 2016
+// Last Modified By : Peter A. Buhr
+// Last Modified On : Wed May 27 18:38:05 2015
 // Update Count     : 3
 //
@@ -22 +22 @@
 #define DEFAULT_CAPACITY 20
 
-void ?{}( vector_int * vec ) {
-        vec { DEFAULT_CAPACITY };
+vector_int vector_int_allocate() {
+        return vector_int_allocate( DEFAULT_CAPACITY );
 }
 
-void ?{}( vector_int * vec, int reserve ) {
-        vec->last = -1;
-        vec->capacity = reserve;
-        vec->data = malloc( sizeof( int ) * reserve );
+vector_int vector_int_allocate( int reserve ) {
+        vector_int new_vector;
+        new_vector.last = -1;
+        new_vector.capacity = reserve;
+        new_vector.data = malloc( sizeof( int ) * reserve );
+        return new_vector;
 }
 
-void ?{}( vector_int * vec, vector_int other ) {
-        vec->last = other.last;
-        vec->capacity = other.capacity;
-        vec->data = malloc( sizeof( int ) * other.capacity );
-        for (int i = 0; i < vec->last; i++) {
-                vec->data[i] = other.data[i];
-        }
-}
-
-void ^?{}( vector_int * vec ) {
-        free( vec->data );
+void vector_int_deallocate( vector_int vec ) {
+        free( vec.data );
 }
 
@@ -63 +56 @@
 // implement bounded_array
 
-lvalue int ?[?]( vector_int * vec, int index ) {
-        return vec->data[ index ];
+lvalue int ?[?]( vector_int vec, int index ) {
+        return vec.data[ index ];
 }
 
-int last( vector_int * vec ) {
-        return vec->last;
+int last( vector_int vec ) {
+        return vec.last;
 }
 

src/examples/vector_int.h

@@ -5 +5 @@
 // file "LICENCE" distributed with Cforall.
 //
-// vector_int.h --
+// vector_int.h -- 
 //
 // Author           : Richard C. Bilson
 // Created On       : Wed May 27 17:56:53 2015
-// Last Modified By : Rob Schluntz
-// Last Modified On : Wed Apr 27 17:26:59 2016
+// Last Modified By : Peter A. Buhr
+// Last Modified On : Wed May 27 18:39:05 2015
 // Update Count     : 2
 //
@@ -25 +25 @@
 } vector_int;
 
-void ?{}( vector_int * );                                                               // allocate vector with default capacity
-void ?{}( vector_int *, int reserve );          // allocate vector with specified capacity
-void ?{}( vector_int * vec, vector_int other ); // copy constructor
-void ^?{}( vector_int * );                                                              // deallocate vector's storage
+vector_int vector_int_allocate();                                               // allocate vector with default capacity
+vector_int vector_int_allocate( int reserve );                  // allocate vector with specified capacity
+void vector_int_deallocate( vector_int );                               // deallocate vector's storage
 
 void reserve( vector_int *vec, int reserve );                   // reserve more capacity
@@ -35 +34 @@
 // implement bounded_array
 
-lvalue int ?[?]( vector_int * vec, int index );                 // access to arbitrary element (does not resize)
-int last( vector_int * vec );                                                           // return last element
+lvalue int ?[?]( vector_int vec, int index );                   // access to arbitrary element (does not resize)
+int last( vector_int vec );                                                             // return last element
 
 #endif // VECTOR_INT_H

src/examples/vector_test.c

@@ -5 +5 @@
 // file "LICENCE" distributed with Cforall.
 //
-// vector_test.c --
+// vector_test.c -- 
 //
 // Author           : Richard C. Bilson
 // Created On       : Wed May 27 17:56:53 2015
-// Last Modified By : Rob Schluntz
-// Last Modified On : Wed Apr 27 17:31:27 2016
+// Last Modified By : Peter A. Buhr
+// Last Modified On : Wed Feb 17 12:23:55 2016
 // Update Count     : 18
 //
@@ -20 +20 @@
 
 int main( void ) {
-        vector_int vec;
+        vector_int vec = vector_int_allocate();
 
         // read in numbers until EOF or error
@@ -34 +34 @@
 
         sout | "Array elements:" | endl;
-        write( begin( &vec ), end( &vec ), sout );
+        write( begin( vec ), end( vec ), sout );
         sout | endl;
 
         sout | "Array elements reversed:" | endl;
-        write_reverse( begin( &vec ), end( &vec ), sout );
+        write_reverse( begin( vec ), end( vec ), sout );
         sout | endl;
 }

src/initialization.txt

@@ -34 +34 @@
 sure that resolved initializers for all declarations are being
 generated.
-
-
-------
-
-More recent email: (I am quoted; Richard is the responder)
-> As far as I'm aware, the only way that I could currently get the correct
-> results from the unification engine is by feeding it an expression that
-> looks like "?=?( ((struct Y)x.y).a, 10 )", then picking out the pieces that
-> I need (namely the correct choice for a). Does this seem like a reasonable
-> approach to solve this problem?
-
-No, unfortunately. Initialization isn't being rewritten as assignment,
-so you shouldn't allow the particular selection of assignment
-operators that happen to be in scope (and which may include
-user-defined operators) to guide the type resolution.
-
-I don't think there is any way to rewrite an initializer as a single
-expression and have the resolver just do the right thing. I see the
-algorithm as:
-
-For each alternative interpretation of the designator:
-  Construct an expression that casts the initializer to the type of
-    the designator
-  Construct an AlternativeFinder and use it to find the lowest cost
-    interpretation of the expression
-  Add this interpretation to a list of possibilities
-Go through the list of possibilities and pick the lowest cost
-
-As with many things in the resolver, it's conceptually simple but the
-implementation may be a bit of a pain. It fits in with functions like
-findSingleExpression, findIntegralExpression in Resolver.cc, although
-it will be significantly more complicated than any of the existing
-ones.
-
-
-

src/libcfa/Makefile.am

@@ -6 +6 @@
 ## file "LICENCE" distributed with Cforall.
 ##
-## Makefile.am --
+## Makefile.am -- 
 ##
 ## Author           : Peter A. Buhr
@@ -51 +51 @@
 
 CFLAGS = -g -Wall -Wno-unused-function -B${abs_top_srcdir}/src/driver -XCFA -t  # TEMPORARY: does not build with -O2
-CC = ${abs_top_srcdir}/src/driver/cfa
+CC = ${abs_top_srcdir}/src/driver/cfa 
 
 # extension-less header files are overridden by default make rules => explicitly override rule
@@ -67 +67 @@
 include_HEADERS = ${cheaders:=.h} ${libs} ${cfaheaders}
 
-CLEANFILES = libcfa-prelude.c
 MAINTAINERCLEANFILES += ${includedir}/*

src/libcfa/Makefile.in

@@ -111 +111 @@
 AWK = @AWK@
 BACKEND_CC = @BACKEND_CC@
-CC = ${abs_top_srcdir}/src/driver/cfa
+CC = ${abs_top_srcdir}/src/driver/cfa 
 CCDEPMODE = @CCDEPMODE@
 CFA_BINDIR = @CFA_BINDIR@
@@ -219 +219 @@
 cfaheaders = # limits
 include_HEADERS = ${cheaders:=.h} ${libs} ${cfaheaders}
-CLEANFILES = libcfa-prelude.c
 all: all-am
 
@@ -458 +457 @@
 
 clean-generic:
-        -test -z "$(CLEANFILES)" || rm -f $(CLEANFILES)
 
 distclean-generic:

src/libcfa/fstream.c

@@ -5 +5 @@
 // file "LICENCE" distributed with Cforall.
 //
-// fstream.c --
+// fstream.c -- 
 //
 // Author           : Peter A. Buhr
 // Created On       : Wed May 27 17:56:53 2015
-// Last Modified By : Rob Schluntz
-// Last Modified On : Mon May 02 15:14:52 2016
+// Last Modified By : Peter A. Buhr
+// Last Modified On : Wed Apr 27 18:20:30 2016
 // Update Count     : 187
 //
@@ -75 +75 @@
         if ( fclose( (FILE *)(os->file) ) == EOF ) {
                 perror( IO_MSG "close output" );
-        } // if
+        } // if 
 } // close
 
@@ -140 +140 @@
         if ( fclose( (FILE *)(is->file) ) == EOF ) {
                 perror( IO_MSG "close input" );
-        } // if
+        } // if 
 } // close
 
@@ -155 +155 @@
         return is;
 } // read
-
+  
 ifstream *ungetc( ifstream * is, char c ) {
         if ( fail( is ) ) {

src/libcfa/iostream.c

@@ -5 +5 @@
 // file "LICENCE" distributed with Cforall.
 //
-// iostream.c --
+// iostream.c -- 
 //
 // Author           : Peter A. Buhr
 // Created On       : Wed May 27 17:56:53 2015
-// Last Modified By : Rob Schluntz
-// Last Modified On : Mon May 02 15:13:55 2016
+// Last Modified By : Peter A. Buhr
+// Last Modified On : Sat Apr 30 14:00:53 2016
 // Update Count     : 302
 //
@@ -184 +184 @@
 } // ?|?
 
-
-forall( dtype ostype | ostream( ostype ) )
+forall( dtype ostype | ostream( ostype ) ) 
 ostype * ?|?( ostype *os, ostype * (* manip)( ostype * ) ) {
         return manip( os );
 } // ?|?
 
-forall( dtype ostype | ostream( ostype ) )
+forall( dtype ostype | ostream( ostype ) ) 
 ostype * endl( ostype * os ) {
         os | '\n';
@@ -198 +197 @@
 } // endl
 
-forall( dtype ostype | ostream( ostype ) )
+forall( dtype ostype | ostream( ostype ) ) 
 ostype * sepOn( ostype * os ) {
         sepOn( os );
@@ -204 +203 @@
 } // sepOn
 
-forall( dtype ostype | ostream( ostype ) )
+forall( dtype ostype | ostream( ostype ) ) 
 ostype * sepOff( ostype * os ) {
         sepOff( os );
@@ -210 +209 @@
 } // sepOff
 
-forall( dtype ostype | ostream( ostype ) )
+forall( dtype ostype | ostream( ostype ) ) 
 ostype * sepEnable( ostype * os ) {
         sepEnable( os );
@@ -216 +215 @@
 } // sepEnable
 
-forall( dtype ostype | ostream( ostype ) )
+forall( dtype ostype | ostream( ostype ) ) 
 ostype * sepDisable( ostype * os ) {
         sepDisable( os );
@@ -336 +335 @@
 } // ?|?
 
-_Istream_cstrUC cstr( char * str ) { _Istream_cstrUC s = { str }; return s; }
+_Istream_cstrUC cstr( char * s ) { _Istream_cstrUC s = { s }; return s; }
 forall( dtype istype | istream( istype ) )
 istype * ?|?( istype * is, _Istream_cstrUC cstr ) {
@@ -343 +342 @@
 } // cstr
 
-_Istream_cstrC cstr( char * str, int size ) { _Istream_cstrC s = { str, size }; return s; }
+_Istream_cstrC cstr( char * s, int size ) { _Istream_cstrC s = { s, size }; return s; }
 forall( dtype istype | istream( istype ) )
 istype * ?|?( istype * is, _Istream_cstrC cstr ) {

src/libcfa/prelude.cf

@@ -1 +1 @@
 # 2 "prelude.cf"  // needed for error messages from this file
-//                               -*- Mode: C -*-
-//
+//                               -*- Mode: C -*- 
+// 
 // Copyright (C) Glen Ditchfield 1994, 1999
-//
+// 
 // prelude.cf -- Standard Cforall Preample for C99
-//
+// 
 // Author           : Glen Ditchfield
 // Created On       : Sat Nov 29 07:23:41 2014
@@ -117 +117 @@
 forall( ftype FT ) lvalue FT             *?( FT * );
 
-_Bool                   +?( _Bool ),                    -?( _Bool ),                    ~?( _Bool );
-signed int              +?( signed int ),               -?( signed int ),               ~?( signed int );
-unsigned int            +?( unsigned int ),             -?( unsigned int ),             ~?( unsigned int );
-signed long int         +?( signed long int ),          -?( signed long int ),          ~?( signed long int );
-unsigned long int       +?( unsigned long int ),        -?( unsigned long int ),        ~?( unsigned long int );
-signed long long int    +?( signed long long int ),     -?( signed long long int ),     ~?( signed long long int );
-unsigned long long int  +?( unsigned long long int ),   -?( unsigned long long int ),   ~?( unsigned long long int );
+_Bool                   +?( _Bool ),                    -?( _Bool ),                    ~?( _Bool );         
+signed int              +?( signed int ),               -?( signed int ),               ~?( signed int );            
+unsigned int            +?( unsigned int ),             -?( unsigned int ),             ~?( unsigned int );          
+signed long int         +?( signed long int ),          -?( signed long int ),          ~?( signed long int );       
+unsigned long int       +?( unsigned long int ),        -?( unsigned long int ),        ~?( unsigned long int );             
+signed long long int    +?( signed long long int ),     -?( signed long long int ),     ~?( signed long long int );    
+unsigned long long int  +?( unsigned long long int ),   -?( unsigned long long int ),   ~?( unsigned long long int );  
 float                   +?( float ),                    -?( float );
 double                  +?( double ),                   -?( double );
@@ -627 +627 @@
                         ?+=?( long double _Complex *, long double _Complex ), ?+=?( volatile long double _Complex *, long double _Complex ),
                         ?-=?( long double _Complex *, long double _Complex ), ?-=?( volatile long double _Complex *, long double _Complex );
-
-
-
-
-
-// ------------------------------------------------------------
-//
-// Section ??? Constructors and Destructors
-//
-// ------------------------------------------------------------
-
-// default ctor
-void    ?{}( _Bool * ),                         ?{}( volatile _Bool * );
-void    ?{}( char * ),  ?{}( volatile char * );
-void    ?{}( unsigned char * ), ?{}( volatile unsigned char * );
-void    ?{}( char signed * ),                   ?{}( volatile char signed * );
-void    ?{}( int short * ),                             ?{}( volatile int short * );
-void    ?{}( int short unsigned * ),    ?{}( volatile int short unsigned * );
-void    ?{}( signed int * ),                    ?{}( volatile signed int * );
-void    ?{}( unsigned int * ),                  ?{}( volatile unsigned int * );
-void    ?{}( signed long int * ),               ?{}( volatile signed long int * );
-void    ?{}( unsigned long int * ),             ?{}( volatile unsigned long int * );
-void    ?{}( signed long long int * ),          ?{}( volatile signed long long int * );
-void    ?{}( unsigned long long int * ),        ?{}( volatile unsigned long long int * );
-void    ?{}( float * ),                         ?{}( volatile float * );
-void    ?{}( double * ),                        ?{}( volatile double * );
-void    ?{}( long double * ),                   ?{}( volatile long double * );
-void    ?{}( float _Complex * ),                ?{}( volatile float _Complex * );
-void    ?{}( double _Complex * ),               ?{}( volatile double _Complex * );
-void    ?{}( long double _Complex * ),          ?{}( volatile long double _Complex * );
-
-// copy ctor
-void    ?{}( _Bool *, _Bool ),                                  ?{}( volatile _Bool *, _Bool );
-void    ?{}( char *, char ),    ?{}( volatile char *, char );
-void    ?{}( unsigned char *, unsigned char ),                  ?{}( volatile unsigned char *, unsigned char );
-void    ?{}( char signed *, char signed ),                      ?{}( volatile char signed *, char signed );
-void    ?{}( int short *, int short ),                          ?{}( volatile int short *, int short );
-void    ?{}( int short unsigned *, int short unsigned ),        ?{}( volatile int short unsigned *, int short unsigned );
-void    ?{}( signed int *, signed int),                         ?{}( volatile signed int *, signed int );
-void    ?{}( unsigned int *, unsigned int),                     ?{}( volatile unsigned int *, unsigned int );
-void    ?{}( signed long int *, signed long int),               ?{}( volatile signed long int *, signed long int );
-void    ?{}( unsigned long int *, unsigned long int),           ?{}( volatile unsigned long int *, unsigned long int );
-void    ?{}( signed long long int *, signed long long int),     ?{}( volatile signed long long int *, signed long long int );
-void    ?{}( unsigned long long int *, unsigned long long int), ?{}( volatile unsigned long long int *, unsigned long long int );
-void    ?{}( float *, float),                                   ?{}( volatile float *, float );
-void    ?{}( double *, double),                                 ?{}( volatile double *, double );
-void    ?{}( long double *, long double),                       ?{}( volatile long double *, long double );
-void    ?{}( float _Complex *, float _Complex),                 ?{}( volatile float _Complex *, float _Complex );
-void    ?{}( double _Complex *, double _Complex),               ?{}( volatile double _Complex *, double _Complex );
-void    ?{}( long double _Complex *, long double _Complex),     ?{}( volatile long double _Complex *, long double _Complex );
-
-// dtor
-void    ^?{}( _Bool * ),                        ^?{}( volatile _Bool * );
-void    ^?{}( char * ), ^?{}( volatile char * );
-void    ^?{}( char unsigned * ),                        ^?{}( volatile char unsigned * );
-void    ^?{}( char signed * ),                  ^?{}( volatile char signed * );
-void    ^?{}( int short * ),                            ^?{}( volatile int short * );
-void    ^?{}( int short unsigned * ),   ^?{}( volatile int short unsigned * );
-void    ^?{}( signed int * ),                   ^?{}( volatile signed int * );
-void    ^?{}( unsigned int * ),                 ^?{}( volatile unsigned int * );
-void    ^?{}( signed long int * ),              ^?{}( volatile signed long int * );
-void    ^?{}( unsigned long int * ),            ^?{}( volatile unsigned long int * );
-void    ^?{}( signed long long int * ),         ^?{}( volatile signed long long int * );
-void    ^?{}( unsigned long long int * ),       ^?{}( volatile unsigned long long int * );
-void    ^?{}( float * ),                        ^?{}( volatile float * );
-void    ^?{}( double * ),                       ^?{}( volatile double * );
-void    ^?{}( long double * ),                  ^?{}( volatile long double * );
-void    ^?{}( float _Complex * ),               ^?{}( volatile float _Complex * );
-void    ^?{}( double _Complex * ),              ^?{}( volatile double _Complex * );
-void    ^?{}( long double _Complex * ),         ^?{}( volatile long double _Complex * );
-
-// // default ctor
-// forall( dtype DT ) void       ?{}(                DT ** );
-// forall( dtype DT ) void       ?{}( const          DT ** );
-// forall( dtype DT ) void       ?{}(       volatile DT ** );
-// forall( dtype DT ) void       ?{}( const volatile DT ** );
-
-// // copy ctor
-// forall( dtype DT ) void       ?{}(                DT **, DT* );
-// forall( dtype DT ) void       ?{}( const          DT **, DT* );
-// forall( dtype DT ) void       ?{}(       volatile DT **, DT* );
-// forall( dtype DT ) void       ?{}( const volatile DT **, DT* );
-
-// // dtor
-// forall( dtype DT ) void      ^?{}(                DT ** );
-// forall( dtype DT ) void      ^?{}( const          DT ** );
-// forall( dtype DT ) void      ^?{}(       volatile DT ** );
-// forall( dtype DT ) void      ^?{}( const volatile DT ** );
-
-// copied from assignment section
-// copy constructors
-forall( ftype FT ) void ?{}( FT **, FT * );
-forall( ftype FT ) void ?{}( FT * volatile *, FT * );
-
-forall( dtype DT ) void ?{}(                 DT *          *,                   DT * );
-forall( dtype DT ) void ?{}(                 DT * volatile *,                   DT * );
-forall( dtype DT ) void ?{}( const           DT *          *,                   DT * );
-forall( dtype DT ) void ?{}( const           DT * volatile *,                   DT * );
-forall( dtype DT ) void ?{}( const           DT *          *, const             DT * );
-forall( dtype DT ) void ?{}( const           DT * volatile *, const             DT * );
-forall( dtype DT ) void ?{}(       volatile  DT *          *,                   DT * );
-forall( dtype DT ) void ?{}(       volatile  DT * volatile *,                   DT * );
-forall( dtype DT ) void ?{}(       volatile  DT *          *,       volatile    DT * );
-forall( dtype DT ) void ?{}(       volatile  DT * volatile *,       volatile    DT * );
-
-forall( dtype DT ) void ?{}( const volatile  DT *          *,                   DT * );
-forall( dtype DT ) void ?{}( const volatile  DT * volatile *,                   DT * );
-forall( dtype DT ) void ?{}( const volatile  DT *          *, const             DT * );
-forall( dtype DT ) void ?{}( const volatile  DT * volatile *, const             DT * );
-forall( dtype DT ) void ?{}( const volatile  DT *          *,       volatile    DT * );
-forall( dtype DT ) void ?{}( const volatile  DT * volatile *,       volatile    DT * );
-forall( dtype DT ) void ?{}( const volatile  DT *          *, const volatile    DT * );
-forall( dtype DT ) void ?{}( const volatile  DT * volatile *, const volatile    DT * );
-
-forall( dtype DT ) void ?{}(                 DT *          *,                   void * );
-forall( dtype DT ) void ?{}(                 DT * volatile *,                   void * );
-forall( dtype DT ) void ?{}( const           DT *          *,                   void * );
-forall( dtype DT ) void ?{}( const           DT * volatile *,                   void * );
-forall( dtype DT ) void ?{}( const           DT *          *, const             void * );
-forall( dtype DT ) void ?{}( const           DT * volatile *, const             void * );
-forall( dtype DT ) void ?{}(       volatile  DT *          *,                   void * );
-forall( dtype DT ) void ?{}(       volatile  DT * volatile *,                   void * );
-forall( dtype DT ) void ?{}(       volatile  DT *          *,       volatile    void * );
-forall( dtype DT ) void ?{}(       volatile  DT * volatile *,       volatile    void * );
-
-forall( dtype DT ) void ?{}( const volatile  DT *          *,                   void * );
-forall( dtype DT ) void ?{}( const volatile  DT * volatile *,                   void * );
-forall( dtype DT ) void ?{}( const volatile  DT *          *, const             void * );
-forall( dtype DT ) void ?{}( const volatile  DT * volatile *, const             void * );
-forall( dtype DT ) void ?{}( const volatile  DT *          *,       volatile    void * );
-forall( dtype DT ) void ?{}( const volatile  DT * volatile *,       volatile    void * );
-forall( dtype DT ) void ?{}( const volatile  DT *          *, const volatile    void * );
-forall( dtype DT ) void ?{}( const volatile  DT * volatile *, const volatile    void * );
-
-forall( dtype DT ) void ?{}(                 void *          *,                 DT * );
-forall( dtype DT ) void ?{}(                 void * volatile *,                 DT * );
-forall( dtype DT ) void ?{}( const           void *          *,                 DT * );
-forall( dtype DT ) void ?{}( const           void * volatile *,                 DT * );
-forall( dtype DT ) void ?{}( const           void *          *, const           DT * );
-forall( dtype DT ) void ?{}( const           void * volatile *, const           DT * );
-forall( dtype DT ) void ?{}(        volatile void *          *,                 DT * );
-forall( dtype DT ) void ?{}(        volatile void * volatile *,                 DT * );
-forall( dtype DT ) void ?{}(        volatile void *          *,       volatile  DT * );
-forall( dtype DT ) void ?{}(        volatile void * volatile *,       volatile  DT * );
-forall( dtype DT ) void ?{}( const volatile void *           *,                 DT * );
-forall( dtype DT ) void ?{}( const volatile void * volatile *,                  DT * );
-forall( dtype DT ) void ?{}( const volatile void *           *, const           DT * );
-forall( dtype DT ) void ?{}( const volatile void * volatile *, const            DT * );
-forall( dtype DT ) void ?{}( const volatile void *           *,       volatile  DT * );
-forall( dtype DT ) void ?{}( const volatile void * volatile *,        volatile  DT * );
-forall( dtype DT ) void ?{}( const volatile void *           *, const volatile  DT * );
-forall( dtype DT ) void ?{}( const volatile void * volatile *, const volatile   DT * );
-
-void    ?{}(                void *          *,                void * );
-void    ?{}(                void * volatile *,                void * );
-void    ?{}( const          void *          *,                void * );
-void    ?{}( const          void * volatile *,                void * );
-void    ?{}( const          void *          *, const          void * );
-void    ?{}( const          void * volatile *, const          void * );
-void    ?{}(       volatile void *          *,                void * );
-void    ?{}(       volatile void * volatile *,                void * );
-void    ?{}(       volatile void *          *,       volatile void * );
-void    ?{}(       volatile void * volatile *,       volatile void * );
-void    ?{}( const volatile void *          *,                void * );
-void    ?{}( const volatile void * volatile *,                void * );
-void    ?{}( const volatile void *          *, const          void * );
-void    ?{}( const volatile void * volatile *, const          void * );
-void    ?{}( const volatile void *          *,       volatile void * );
-void    ?{}( const volatile void * volatile *,       volatile void * );
-void    ?{}( const volatile void *          *, const volatile void * );
-void    ?{}( const volatile void * volatile *, const volatile void * );
-
-//forall( dtype DT ) void ?{}(              DT *          *, forall( dtype DT2 ) const DT2 * );
-//forall( dtype DT ) void ?{}(              DT * volatile *, forall( dtype DT2 ) const DT2 * );
-forall( dtype DT ) void ?{}( const          DT *          *, forall( dtype DT2 ) const DT2 * );
-forall( dtype DT ) void ?{}( const          DT * volatile *, forall( dtype DT2 ) const DT2 * );
-//forall( dtype DT ) void ?{}( volatile     DT *          *, forall( dtype DT2 ) const DT2 * );
-//forall( dtype DT ) void ?{}( volatile     DT * volatile *, forall( dtype DT2 ) const DT2 * );
-forall( dtype DT ) void ?{}( const volatile DT *          *, forall( dtype DT2 ) const DT2 * );
-forall( dtype DT ) void ?{}( const volatile DT * volatile *, forall( dtype DT2 ) const DT2 * );
-
-forall( ftype FT ) void ?{}( FT *          *, forall( ftype FT2 ) FT2 * );
-forall( ftype FT ) void ?{}( FT * volatile *, forall( ftype FT2 ) FT2 * );
-
-// default ctors
-forall( ftype FT ) void ?{}( FT *          * );
-forall( ftype FT ) void ?{}( FT * volatile * );
-
-forall( dtype DT ) void ?{}(                 DT *          *);
-forall( dtype DT ) void ?{}(                 DT * volatile *);
-forall( dtype DT ) void ?{}( const           DT *          *);
-forall( dtype DT ) void ?{}( const           DT * volatile *);
-forall( dtype DT ) void ?{}(       volatile  DT *          *);
-forall( dtype DT ) void ?{}(       volatile  DT * volatile *);
-forall( dtype DT ) void ?{}( const volatile  DT *          *);
-forall( dtype DT ) void ?{}( const volatile  DT * volatile *);
-
-void    ?{}(                void *          *);
-void    ?{}(                void * volatile *);
-void    ?{}( const          void *          *);
-void    ?{}( const          void * volatile *);
-void    ?{}(       volatile void *          *);
-void    ?{}(       volatile void * volatile *);
-void    ?{}( const volatile void *          *);
-void    ?{}( const volatile void * volatile *);
-
-// dtors
-forall( ftype FT ) void ^?{}( FT *         * );
-forall( ftype FT ) void ^?{}( FT * volatile * );
-
-forall( dtype DT ) void ^?{}(                DT *          *);
-forall( dtype DT ) void ^?{}(                DT * volatile *);
-forall( dtype DT ) void ^?{}( const          DT *          *);
-forall( dtype DT ) void ^?{}( const          DT * volatile *);
-forall( dtype DT ) void ^?{}(      volatile  DT *          *);
-forall( dtype DT ) void ^?{}(      volatile  DT * volatile *);
-forall( dtype DT ) void ^?{}( const volatile  DT *         *);
-forall( dtype DT ) void ^?{}( const volatile  DT * volatile *);
-
-void    ^?{}(               void *          *);
-void    ^?{}(               void * volatile *);
-void    ^?{}( const         void *          *);
-void    ^?{}( const         void * volatile *);
-void    ^?{}(      volatile void *          *);
-void    ^?{}(      volatile void * volatile *);
-void    ^?{}( const volatile void *         *);
-void    ^?{}( const volatile void * volatile *);

src/libcfa/rational

@@ -12 +12 @@
 // Created On       : Wed Apr  6 17:56:25 2016
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Wed May  4 14:11:45 2016
-// Update Count     : 16
+// Last Modified On : Fri Apr  8 11:38:27 2016
+// Update Count     : 15
 // 
 
@@ -28 +28 @@
 
 // constructors
-void ?{}( Rational * r );
-void ?{}( Rational * r, long int n );
-void ?{}( Rational * r, long int n, long int d );
+Rational rational();
+Rational rational( long int n );
+Rational rational( long int n, long int d );
 
 // getter/setter for numerator/denominator

src/libcfa/rational.c

@@ -11 +11 @@
 // Created On       : Wed Apr  6 17:54:28 2016
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Wed May  4 14:16:14 2016
-// Update Count     : 25
+// Last Modified On : Thu Apr 21 07:33:03 2016
+// Update Count     : 22
 // 
 
@@ -53 +53 @@
 // constructors
 
-void ?{}( Rational * r ) {
-    r{ 0, 1 };
+Rational rational() {
+    return (Rational){ 0, 1 };
 } // rational
 
-void ?{}( Rational * r, long int n ) {
-    r{ n, 1 };
+Rational rational( long int n ) {
+    return (Rational){ n, 1 };
 } // rational
 
-void ?{}( Rational * r, long int n, long int d ) {
+Rational rational( long int n, long int d ) {
     long int t = simplify( &n, &d );                                    // simplify
-    r->numerator = n / t;
-        r->denominator = d / t;
+    return (Rational){ n / t, d / t };
 } // rational
 
@@ -173 +172 @@
 Rational narrow( double f, long int md ) {
         if ( md <= 1 ) {                                                                        // maximum fractional digits too small?
-                return (Rational){ f, 1};                                               // truncate fraction
+                Rational t = rational( f, 1 );                                  // truncate fraction
+                return t;
         } // if
 
@@ -199 +199 @@
                 k[2] = x * k[1] + k[0]; k[0] = k[1]; k[1] = k[2];
         } // for
-        return (Rational){ neg ? -h[1] : h[1], k[1] };
+        Rational t = rational( neg ? -h[1] : h[1], k[1] );
+        return t;
 } // narrow
 

src/main.cc

@@ -10 +10 @@
 // Created On       : Fri May 15 23:12:02 2015
 // Last Modified By : Rob Schluntz
-// Last Modified On : Fri May 06 15:59:09 2016
+// Last Modified On : Fri May 06 15:29:42 2016
 // Update Count     : 203
 //
@@ -40 +40 @@
 #include "MakeLibCfa.h"
 #include "InitTweak/Mutate.h"
-#include "InitTweak/GenInit.h"
-#include "InitTweak/FixInit.h"
+#include "InitTweak/RemoveInit.h"
 #include "InitTweak/FixGlobalInit.h"
 //#include "Explain/GenProlog.h"
@@ -57 +56 @@
 
 static void parse( FILE * input, LinkageSpec::Type t, bool shouldExit = false );
-static void dump( std::list< Declaration * > & translationUnit, std::ostream & out = std::cout );
+static void dump( std::list< Declaration * > & translationUnit );
 
 bool
         astp = false,
         bresolvep = false,
-        bboxp = false,
-        ctorinitp = false,
         exprp = false,
         expraltp = false,
@@ -78 +75 @@
         codegenp = false;
 
-enum { Ast, Bbox, Bresolver, CtorInitFix, Expr, ExprAlt, Grammar, LibCFA, Nopreamble, Parse, Prototypes, Resolver, Symbol, Tree, Validate, };
+enum { Ast, Bresolver, Expr, ExprAlt, Grammar, LibCFA, Nopreamble, Parse, Prototypes, Resolver, Symbol, Tree, Validate, };
 
 static struct option long_opts[] = {
         { "ast", no_argument, 0, Ast },
-        { "before-box", no_argument, 0, Bbox },
         { "before-resolver", no_argument, 0, Bresolver },
-        { "ctorinitfix", no_argument, 0, CtorInitFix },
         { "expr", no_argument, 0, Expr },
         { "expralt", no_argument, 0, ExprAlt },
@@ -109 +104 @@
 
         int c;
-        while ( (c = getopt_long( argc, argv, "abBcefglnpqrstvyzD:F:", long_opts, &long_index )) != -1 ) {
+        while ( (c = getopt_long( argc, argv, "abefglnpqrstvyzD:F:", long_opts, &long_index )) != -1 ) {
                 switch ( c ) {
                   case Ast:
@@ -118 +113 @@
                   case 'b':                                                                             // print before resolver steps
                         bresolvep = true;
-                        break;
-                  case 'B':                                                                             // print before resolver steps
-                        bboxp = true;
-                        break;
-                  case CtorInitFix:
-                  case 'c':
-                        ctorinitp = true;
                         break;
                   case Expr:
@@ -274 +262 @@
                 OPTPRINT( "fixGlobalInit" );
                 InitTweak::fixGlobalInit( translationUnit, filename, libcfap || treep );
-                OPTPRINT( "tweakInit" )
-                InitTweak::genInit( translationUnit );
+                OPTPRINT( "tweak" )
+                InitTweak::tweak( translationUnit );
 
                 if ( libcfap ) {
@@ -291 +279 @@
                 if ( exprp ) {
                         dump( translationUnit );
-                        return 0;
-                }
-
-                OPTPRINT( "fixInit" )
-                // fix ObjectDecl - replaces ConstructorInit nodes
-                InitTweak::fix( translationUnit );
-                if ( ctorinitp ) {
-                        dump ( translationUnit );
-                        return 0;
                 }
 
@@ -308 +287 @@
                 OPTPRINT( "convertLvalue" )
                 GenPoly::convertLvalue( translationUnit );
-
-                if ( bboxp ) {
-                        dump( translationUnit );
-                        return 0;
-                }
                 OPTPRINT( "box" )
                 GenPoly::box( translationUnit );
@@ -329 +303 @@
         } catch ( SemanticError &e ) {
                 if ( errorp ) {
-                        std::cerr << "---AST at error:---" << std::endl;
-                        dump( translationUnit, std::cerr );
-                        std::cerr << std::endl << "---End of AST, begin error message:---\n" << std::endl;
+                        dump( translationUnit );
                 }
                 e.print( std::cerr );
@@ -353 +325 @@
         } // try
 
-        deleteAll( translationUnit );
         return 0;
 } // main
@@ -371 +342 @@
 }
 
-static void dump( std::list< Declaration * > & translationUnit, std::ostream & out ) {
+static void dump( std::list< Declaration * > & translationUnit ) {
         std::list< Declaration * > decls;
         if ( noprotop ) {
@@ -380 +351 @@
         }
 
-        printAll( decls, out );
+        printAll( decls, std::cout );
         deleteAll( translationUnit );
 }