Changes in src/SymTab/Validate.cc [361bf01:09867ec]

File:

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

src/SymTab/Validate.cc

@@ -271 +271 @@
         };
 
-        struct ArrayLength : public WithIndexer {
+        struct InitializerLength {
                 /// for array types without an explicit length, compute the length and store it so that it
                 /// is known to the rest of the phases. For example,
@@ -282 +282 @@
 
                 void previsit( ObjectDecl * objDecl );
+        };
+
+        struct ArrayLength : public WithIndexer {
+                static void computeLength( std::list< Declaration * > & translationUnit );
+
                 void previsit( ArrayType * arrayType );
         };
@@ -382 +387 @@
                                         FixObjectType::fix, translationUnit);
                         }
-                        Stats::Time::TimeCall("Array Length",
-                                ArrayLength::computeLength, translationUnit);
+                        Stats::Time::TimeCall("Initializer Length",
+                                InitializerLength::computeLength, translationUnit);
+                        if (!useNewAST) {
+                                Stats::Time::TimeCall("Array Length",
+                                        ArrayLength::computeLength, translationUnit);
+                        }
                         Stats::Time::TimeCall("Find Special Declarations",
                                 Validate::findSpecialDecls, translationUnit);
@@ -1332 +1341 @@
         }
 
+        void InitializerLength::computeLength( std::list< Declaration * > & translationUnit ) {
+                PassVisitor<InitializerLength> len;
+                acceptAll( translationUnit, len );
+        }
+
         void ArrayLength::computeLength( std::list< Declaration * > & translationUnit ) {
                 PassVisitor<ArrayLength> len;
@@ -1337 +1351 @@
         }
 
-        void ArrayLength::previsit( ObjectDecl * objDecl ) {
+        void InitializerLength::previsit( ObjectDecl * objDecl ) {
                 if ( ArrayType * at = dynamic_cast< ArrayType * >( objDecl->type ) ) {
                         if ( at->dimension ) return;
@@ -1347 +1361 @@
 
         void ArrayLength::previsit( ArrayType * type ) {
-                if (!useNewAST) {
-                        if ( type->dimension ) {
-                                // need to resolve array dimensions early so that constructor code can correctly determine
-                                // if a type is a VLA (and hence whether its elements need to be constructed)
-                                ResolvExpr::findSingleExpression( type->dimension, Validate::SizeType->clone(), indexer );
-
-                                // must re-evaluate whether a type is a VLA, now that more information is available
-                                // (e.g. the dimension may have been an enumerator, which was unknown prior to this step)
-                                type->isVarLen = ! InitTweak::isConstExpr( type->dimension );
-                        }
+                if ( type->dimension ) {
+                        // need to resolve array dimensions early so that constructor code can correctly determine
+                        // if a type is a VLA (and hence whether its elements need to be constructed)
+                        ResolvExpr::findSingleExpression( type->dimension, Validate::SizeType->clone(), indexer );
+
+                        // must re-evaluate whether a type is a VLA, now that more information is available
+                        // (e.g. the dimension may have been an enumerator, which was unknown prior to this step)
+                        type->isVarLen = ! InitTweak::isConstExpr( type->dimension );
                 }
         }
@@ -1462 +1474 @@
                 }
         }
+
+        /*
 
         /// Associates forward declarations of aggregates with their definitions
@@ -1844 +1858 @@
                 }
         };
+        */
 } // anonymous namespace
 
+/*
 const ast::Type * validateType(
                 const CodeLocation & loc, const ast::Type * type, const ast::SymbolTable & symtab ) {
@@ -1854 +1870 @@
         return type->accept( lrt )->accept( fpd );
 }
+*/
 
 } // namespace SymTab