Changes in src/SymTab/Validate.cc [f066321:37a3b8f9]

File:

• src/SymTab/Validate.cc (modified) (15 diffs)

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 Nov 19 10:44:55 2015
-// Update Count     : 199
+// Last Modified By : Peter A. Buhr
+// Last Modified On : Tue Aug 11 16:59:35 2015
+// Update Count     : 196
 //
 
@@ -54 +54 @@
 #include "MakeLibCfa.h"
 #include "TypeEquality.h"
-#include "ResolvExpr/typeops.h"
 
 #define debugPrint( x ) if ( doDebug ) { std::cout << x; }
@@ -126 +125 @@
         };
 
-        class AutogenerateRoutines : public Visitor {
+        class AddStructAssignment : public Visitor {
           public:
                 /// Generates assignment operators for aggregate types as required
-                static void autogenerateRoutines( std::list< Declaration * > &translationUnit );
+                static void addStructAssignment( std::list< Declaration * > &translationUnit );
 
                 std::list< Declaration * > &get_declsToAdd() { return declsToAdd; }
@@ -152 +151 @@
                 virtual void visit( CatchStmt *catchStmt );
 
-                AutogenerateRoutines() : functionNesting( 0 ) {}
+                AddStructAssignment() : functionNesting( 0 ) {}
           private:
                 template< typename StmtClass > void visitStatement( StmtClass *stmt );
@@ -196 +195 @@
                 acceptAll( translationUnit, pass1 );
                 acceptAll( translationUnit, pass2 );
-                AutogenerateRoutines::autogenerateRoutines( translationUnit );
+                // need to collect all of the assignment operators prior to
+                // this point and only generate assignment operators if one doesn't exist
+                AddStructAssignment::addStructAssignment( translationUnit );
                 acceptAll( translationUnit, pass3 );
         }
@@ -500 +501 @@
         static const std::list< std::string > noLabels;
 
-        void AutogenerateRoutines::autogenerateRoutines( std::list< Declaration * > &translationUnit ) {
-                AutogenerateRoutines visitor;
+        void AddStructAssignment::addStructAssignment( std::list< Declaration * > &translationUnit ) {
+                AddStructAssignment visitor;
                 acceptAndAdd( translationUnit, visitor, false );
         }
@@ -628 +629 @@
         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
+                std::list< TypeDecl* >& genericParams = aggregateDecl->get_parameters();
+                for ( std::list< TypeDecl* >::const_iterator param = genericParams.begin(); param != genericParams.end(); ++param ) {
+                        assignType->get_forall().push_back( (*param)->clone() );
+                }
   
                 ObjectDecl *returnVal = new ObjectDecl( "", DeclarationNode::NoStorageClass, LinkageSpec::Cforall, 0, refType->clone(), 0 );
@@ -697 +704 @@
         }
 
-        void AutogenerateRoutines::visit( EnumDecl *enumDecl ) {
+        void AddStructAssignment::visit( EnumDecl *enumDecl ) {
                 if ( ! enumDecl->get_members().empty() ) {
                         EnumInstType *enumInst = new EnumInstType( Type::Qualifiers(), enumDecl->get_name() );
@@ -706 +713 @@
         }
 
-        void AutogenerateRoutines::visit( StructDecl *structDecl ) {
+        void AddStructAssignment::visit( StructDecl *structDecl ) {
                 if ( ! structDecl->get_members().empty() && structsDone.find( structDecl->get_name() ) == structsDone.end() ) {
                         StructInstType *structInst = new StructInstType( Type::Qualifiers(), structDecl->get_name() );
@@ -715 +722 @@
         }
 
-        void AutogenerateRoutines::visit( UnionDecl *unionDecl ) {
+        void AddStructAssignment::visit( UnionDecl *unionDecl ) {
                 if ( ! unionDecl->get_members().empty() ) {
                         UnionInstType *unionInst = new UnionInstType( Type::Qualifiers(), unionDecl->get_name() );
@@ -723 +730 @@
         }
 
-        void AutogenerateRoutines::visit( TypeDecl *typeDecl ) {
+        void AddStructAssignment::visit( TypeDecl *typeDecl ) {
                 CompoundStmt *stmts = 0;
                 TypeInstType *typeInst = new TypeInstType( Type::Qualifiers(), typeDecl->get_name(), false );
@@ -751 +758 @@
         }
 
-        void AutogenerateRoutines::visit( FunctionType *) {
+        void AddStructAssignment::visit( FunctionType *) {
                 // ensure that we don't add assignment ops for types defined as part of the function
         }
 
-        void AutogenerateRoutines::visit( PointerType *) {
+        void AddStructAssignment::visit( PointerType *) {
                 // ensure that we don't add assignment ops for types defined as part of the pointer
         }
 
-        void AutogenerateRoutines::visit( ContextDecl *) {
+        void AddStructAssignment::visit( ContextDecl *) {
                 // 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 ) {
+        inline void AddStructAssignment::visitStatement( StmtClass *stmt ) {
                 std::set< std::string > oldStructs = structsDone;
                 addVisit( stmt, *this );
@@ -770 +777 @@
         }
 
-        void AutogenerateRoutines::visit( FunctionDecl *functionDecl ) {
+        void AddStructAssignment::visit( FunctionDecl *functionDecl ) {
                 maybeAccept( functionDecl->get_functionType(), *this );
                 acceptAll( functionDecl->get_oldDecls(), *this );
@@ -778 +785 @@
         }
 
-        void AutogenerateRoutines::visit( CompoundStmt *compoundStmt ) {
+        void AddStructAssignment::visit( CompoundStmt *compoundStmt ) {
                 visitStatement( compoundStmt );
         }
 
-        void AutogenerateRoutines::visit( IfStmt *ifStmt ) {
+        void AddStructAssignment::visit( IfStmt *ifStmt ) {
                 visitStatement( ifStmt );
         }
 
-        void AutogenerateRoutines::visit( WhileStmt *whileStmt ) {
+        void AddStructAssignment::visit( WhileStmt *whileStmt ) {
                 visitStatement( whileStmt );
         }
 
-        void AutogenerateRoutines::visit( ForStmt *forStmt ) {
+        void AddStructAssignment::visit( ForStmt *forStmt ) {
                 visitStatement( forStmt );
         }
 
-        void AutogenerateRoutines::visit( SwitchStmt *switchStmt ) {
+        void AddStructAssignment::visit( SwitchStmt *switchStmt ) {
                 visitStatement( switchStmt );
         }
 
-        void AutogenerateRoutines::visit( ChooseStmt *switchStmt ) {
+        void AddStructAssignment::visit( ChooseStmt *switchStmt ) {
                 visitStatement( switchStmt );
         }
 
-        void AutogenerateRoutines::visit( CaseStmt *caseStmt ) {
+        void AddStructAssignment::visit( CaseStmt *caseStmt ) {
                 visitStatement( caseStmt );
         }
 
-        void AutogenerateRoutines::visit( CatchStmt *cathStmt ) {
+        void AddStructAssignment::visit( CatchStmt *cathStmt ) {
                 visitStatement( cathStmt );
         }
@@ -850 +857 @@
                         Type * t1 = tyDecl->get_base();
                         Type * t2 = typedefNames[ tyDecl->get_name() ].first->get_base();
-                        if ( ! ResolvExpr::typesCompatible( t1, t2, Indexer() ) ) {
+                        if ( ! typeEquals( t1, t2, true ) ) {
                                 throw SemanticError( "cannot redefine typedef: " + tyDecl->get_name() );
                         }