Changes in src/SymTab/Validate.cc [bbf3fda:a16764a6]

File:

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

src/SymTab/Validate.cc

@@ -89 +89 @@
                 void previsit( StructDecl * aggregateDecl );
                 void previsit( UnionDecl * aggregateDecl );
-                void previsit( StaticAssertDecl * assertDecl );
 
           private:
@@ -148 +147 @@
                 void previsit( ObjectDecl * object );
                 void previsit( FunctionDecl * func );
-                void previsit( FunctionType * ftype );
                 void previsit( StructDecl * aggrDecl );
                 void previsit( UnionDecl * aggrDecl );
@@ -298 +296 @@
         }
 
-        bool shouldHoist( Declaration *decl ) {
-                return dynamic_cast< StructDecl * >( decl ) || dynamic_cast< UnionDecl * >( decl ) || dynamic_cast< StaticAssertDecl * >( decl );
+        bool isStructOrUnion( Declaration *decl ) {
+                return dynamic_cast< StructDecl * >( decl ) || dynamic_cast< UnionDecl * >( decl );
         }
 
@@ -312 +310 @@
                 } // if
                 // Always remove the hoisted aggregate from the inner structure.
-                GuardAction( [aggregateDecl]() { filter( aggregateDecl->members, shouldHoist, false ); } );
+                GuardAction( [aggregateDecl]() { filter( aggregateDecl->members, isStructOrUnion, false ); } );
         }
 
@@ -330 +328 @@
                 if ( inst->baseUnion ) {
                         declsToAddBefore.push_front( inst->baseUnion );
-                }
-        }
-
-        void HoistStruct::previsit( StaticAssertDecl * assertDecl ) {
-                if ( parentAggr ) {
-                        declsToAddBefore.push_back( assertDecl );
                 }
         }
@@ -634 +626 @@
 
         void ForallPointerDecay::previsit( ObjectDecl *object ) {
-                // ensure that operator names only apply to functions or function pointers
-                if ( CodeGen::isOperator( object->name ) && ! dynamic_cast< FunctionType * >( object->type->stripDeclarator() ) ) {
-                        SemanticError( object->location, toCString( "operator ", object->name.c_str(), " is not a function or function pointer." )  );
-                }
+                forallFixer( object->type->forall, object );
+                if ( PointerType *pointer = dynamic_cast< PointerType * >( object->type ) ) {
+                        forallFixer( pointer->base->forall, object );
+                } // if
                 object->fixUniqueId();
         }
 
         void ForallPointerDecay::previsit( FunctionDecl *func ) {
+                forallFixer( func->type->forall, func );
                 func->fixUniqueId();
-        }
-
-        void ForallPointerDecay::previsit( FunctionType * ftype ) {
-                forallFixer( ftype->forall, ftype );
         }