Changes in src/SymTab/Validate.cc [60c3b06c:522363e]

File:

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

src/SymTab/Validate.cc

@@ -56 +56 @@
 #include "FixFunction.h"               // for FixFunction
 #include "Indexer.h"                   // for Indexer
-#include "InitTweak/GenInit.h"         // for fixReturnStatements
 #include "InitTweak/InitTweak.h"       // for isCtorDtorAssign
 #include "Parser/LinkageSpec.h"        // for C
@@ -151 +150 @@
         /// Replaces array and function types in forall lists by appropriate pointer type and assigns each Object and Function declaration a unique ID.
         struct ForallPointerDecay final {
-                void previsit( ObjectDecl * object );
-                void previsit( FunctionDecl * func );
+                void previsit( ObjectDecl *object );
+                void previsit( FunctionDecl *func );
         };
 
@@ -580 +579 @@
 
         /// Fix up assertions - flattens assertion lists, removing all trait instances
-        void forallFixer( std::list< TypeDecl * > & forall, BaseSyntaxNode * node ) {
-                for ( TypeDecl * type : forall ) {
+        void forallFixer( Type * func ) {
+                for ( TypeDecl * type : func->get_forall() ) {
                         std::list< DeclarationWithType * > asserts;
                         asserts.splice( asserts.end(), type->assertions );
@@ -600 +599 @@
                                 assertion = assertion->acceptMutator( fixer );
                                 if ( fixer.get_isVoid() ) {
-                                        throw SemanticError( "invalid type void in assertion of function ", node );
+                                        throw SemanticError( "invalid type void in assertion of function ", func );
                                 } // if
                         } // for
@@ -608 +607 @@
 
         void ForallPointerDecay::previsit( ObjectDecl *object ) {
-                forallFixer( object->type->forall, object );
-                if ( PointerType *pointer = dynamic_cast< PointerType * >( object->type ) ) {
-                        forallFixer( pointer->base->forall, object );
+                forallFixer( object->get_type() );
+                if ( PointerType *pointer = dynamic_cast< PointerType * >( object->get_type() ) ) {
+                        forallFixer( pointer->get_base() );
                 } // if
                 object->fixUniqueId();
@@ -616 +615 @@
 
         void ForallPointerDecay::previsit( FunctionDecl *func ) {
-                forallFixer( func->type->forall, func );
+                forallFixer( func->get_type() );
                 func->fixUniqueId();
         }