Changeset 1931bb01 for src/main.cc

Timestamp:

Jul 12, 2022, 3:21:18 PM (22 months ago)

Author:

Andrew Beach <ajbeach@…>

Branches:

ADT, ast-experimental, master, pthread-emulation, qualifiedEnum

Children:

b9f8274

Parents:

9c6443e

Message:

Converted 'Validate A' to the new AST. There some utility changes as well.

File:

• src/main.cc (modified) (5 diffs)

src/main.cc

@@ -10 +10 @@
 // Created On       : Fri May 15 23:12:02 2015
 // Last Modified By : Andrew Beach
-// Last Modified On : Tue Jun  7 13:29:00 2022
-// Update Count     : 674
+// Last Modified On : Tue Jul 12 12:02:00 2022
+// Update Count     : 675
 //
 
@@ -78 +78 @@
 #include "Validate/CompoundLiteral.hpp"     // for handleCompoundLiterals
 #include "Validate/EliminateTypedef.hpp"    // for eliminateTypedef
+#include "Validate/EnumAndPointerDecay.hpp" // for decayEnumsAndPointers
 #include "Validate/FindSpecialDecls.h"      // for findGlobalDecls
 #include "Validate/FixQualifiedTypes.hpp"   // for fixQualifiedTypes
+#include "Validate/FixReturnTypes.hpp"      // for fixReturnTypes
 #include "Validate/ForallPointerDecay.hpp"  // for decayForallPointers
 #include "Validate/GenericParameter.hpp"    // for fillGenericParameters, tr...
 #include "Validate/HoistStruct.hpp"         // for hoistStruct
+#include "Validate/HoistTypeDecls.hpp"      // for hoistTypeDecls
 #include "Validate/InitializerLength.hpp"   // for setLengthFromInitializer
 #include "Validate/LabelAddressFixer.hpp"   // for fixLabelAddresses
 #include "Validate/LinkReferenceToTypes.hpp" // for linkReferenceToTypes
+#include "Validate/ReplaceTypedef.hpp"      // for replaceTypedef
 #include "Validate/ReturnCheck.hpp"         // for checkReturnStatements
+#include "Validate/VerifyCtorDtorAssign.hpp" // for verifyCtorDtorAssign
 #include "Virtual/ExpandCasts.h"            // for expandCasts
 
@@ -331 +336 @@
                 } // if
 
-                // add the assignment statement after the initialization of a type parameter
-                PASS( "Validate-A", SymTab::validate_A( translationUnit ) );
-
                 CodeTools::fillLocations( translationUnit );
 
@@ -346 +348 @@
 
                         forceFillCodeLocations( transUnit );
+
+                        // Must happen before auto-gen, or anything that examines ops.
+                        PASS( "Verify Ctor, Dtor & Assign", Validate::verifyCtorDtorAssign( transUnit ) );
+
+                        PASS( "Hoist Type Decls", Validate::hoistTypeDecls( transUnit ) );
+                        // Hoist Type Decls pulls some declarations out of contexts where
+                        // locations are not tracked. Perhaps they should be, but for now
+                        // the full fill solves it.
+                        forceFillCodeLocations( transUnit );
+
+                        PASS( "Replace Typedefs", Validate::replaceTypedef( transUnit ) );
+
+                        // Must happen before auto-gen.
+                        PASS( "Fix Return Types", Validate::fixReturnTypes( transUnit ) );
+
+                        // Must happen before Link Reference to Types, it needs correct
+                        // types for mangling.
+                        PASS( "Enum and Pointer Decay", Validate::decayEnumsAndPointers( transUnit ) );
 
                         // Must happen before auto-gen, because it uses the sized flag.
@@ -453 +473 @@
                         translationUnit = convert( move( transUnit ) );
                 } else {
+                        // add the assignment statement after the initialization of a type parameter
+                        PASS( "Validate-A", SymTab::validate_A( translationUnit ) );
                         PASS( "Validate-B", SymTab::validate_B( translationUnit ) );
                         PASS( "Validate-C", SymTab::validate_C( translationUnit ) );